Concept
Boolean differential calculus
Related lectures (32)
Objects Everywhere
Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.
Lambda Calculus: Operational Semantics and Evaluation Strategies
Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Functional random generators
Explores functional random generators for various domains and their application in systematic random testing.
Boolean Algebra: Python Programming
Introduces Boolean algebra concepts and their application in Python programming.
Prime Numbers: Finding and Testing
Covers the definition of a function to determine if a given number is prime.
Digital Circuits: Basics
Covers digital signal processing, binary and Boolean logic, and practical examples of digital circuits.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Irreversible and Reversible Circuit Theorems
Covers the proofs of Irreversible and Reversible circuit theorems, focusing on gates and the issue of irreversibility and reversibility.
Dispenser Example of Finite System
Explores a snack dispenser system with multiple levels and slots, analyzing its transition system and stable coin storage capacity.