Lambda Calculus: Church Numerals

Related lectures (31)

Page 3 of 4

Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.

Introduces Python basics like types, functions, conditions, loops, and lists, with examples of string manipulation and list operations.

Introduces fundamental programming concepts in Python, focusing on control structures like conditions and loops.

Introduces functions and control structures in Python, emphasizing their importance for code organization and reusability.

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

Introduces Python programming basics, covering loops, functions, lists, and conditions for code execution.

Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Covers high-order functions, parser, and type checker concepts.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.