Church Numerals and Conditionals

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Conditionals: Basics and Examples

Covers the basics of conditionals and their implementation in programming.

Python Basics: Functions and Lists

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

Common Errors in Type Bool

Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.

Functional Programming Basics in Scala

Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.

STL Essentials

Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.

Python Programming: Loops and Functions

Introduces loops, functions, and debugging in Python programming, covering basic concepts and practical examples.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Lambda Functions: Syntax and Examples

Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.

Python Programming: Lists and Functions Overview

Introduces Python programming concepts, focusing on lists, functions, and their applications in problem-solving.

Introduction to Variables in Creative Programming

Introduces variables in creative programming for coding video games on Scratch.

Encode Your Avatar in a List

Covers the process of encoding an avatar in a list using blocks.

Page 2 of 2