Loops: Control Statements and Functions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (38)

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Python Programming: Control Structures and Functions

Covers advanced topics in Python programming, focusing on control structures and functions.

Converting Imperative Programs to Formulas

Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.

Combinatorial Search and For-Expressions

Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.

Translation of for

Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.

Conditions and Loops: Basics of Programming

Covers the basics of programming, including types, variables, methods, functions, conditions, loops, and boolean logic.

Namespaces and Main Arguments

Covers namespaces and main arguments in C++, demonstrating their usage and importance.

Hoare Logic: Strongest Postcondition and Weakest Precondition

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

R Programming: Conditions, Loops, Functions & Graphics

Covers conditions, loops, functions, and graphics in R programming with practical examples.

Python Basics: Functions and Types

Covers Python basics, including data types, loops, functions, classes, and GUI creation.

Converting Imperative Programs to Formulas

Explores converting imperative programs to formulas for verification, covering assignments, if-else statements, and command semicolons.

Understanding Microcontrollers: Functions

Introduces the fundamentals of functions in microcontroller programming, emphasizing naming rules and step-by-step development.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Python Basics: Functions and Lists

Introduces Python basics, functions, lists, and lambda functions for concise coding.

Python Functions: Basics and Arguments

Covers the basics of writing functions in Python and working with function arguments.

Introduction to Programming with Python

Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.

Encoding Recursion as Self-Application

Explores lambda calculus, higher-order functions, and recursive function encoding.

Python Programming: List Comprehensions and Higher Order Functions Log in to Mediaspace to watch this video

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Page 1 of 2