Lecture
Loops: Control Statements and Functions
Related lectures (48)
Recursive Functions: Methodology of Development + Debugging
Covers the methodology of development, recursion, and debugging in C++.
Python Programming: Control Structures and Functions
Covers advanced topics in Python programming, focusing on control structures and functions.
Introduction to Programming: Basics and Control Structures
Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.
Programming Paradigms: Functional, OOP, Polymorphism
Explores programming paradigms like procedural, functional, and OOP, with examples in Python.
Combinatorial Search and For-Expressions
Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.
Converting Imperative Programs to Formulas
Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.
Introduction to C Programming
Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.
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.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.