Lectures related to Boolean Hidden Matching Problem

Numbers and Booleans

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

Boolean Type: Common Errors

Addresses common errors with the boolean type in Java and how to avoid them.

Finite Systems Expressed with Formulas

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Theory of Computation: Problems Definition and Counting (Denumerability)

Explores the theory of computation, emphasizing problems definition, counting, and the limits of algorithmic computation.

Boolean Algebra: Python Programming

Introduces Boolean algebra concepts and their application in Python programming.

Finite Systems Expressed with Formulas

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

Lambda Calculus: Church Numerals

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

Quantum Circuits: Classic Circuits

Explores classic circuits in quantum computing, including Boolean functions and reversible gates.

Objects Everywhere

Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.

Conditional Statements: C++ Basics

Introduces the basics of conditional statements in C++, including boolean operators and logical evaluation.

Control Flow in Python: Conditional Statements and Loops

Covers control flow in Python, focusing on conditional statements and loops.

Boolean Types and Control Structures

Explores boolean types, logical operators, and control structures in Python, emphasizing the evaluation of expressions and the use of relational operators.

Projection of Lines in Descriptive Geometry

Explains methods for accurately projecting lines in 3D space using GeoGebra.

Prime Numbers: Finding and Testing

Covers the definition of a function to determine if a given number is prime.

Functional random generators

Explores functional random generators for various domains and their application in systematic random testing.

Compiling Control Structures

Covers the compilation of control structures in programming languages.

Variables and Operators

Introduces variables in ImageJ macro language, including types and operators.

Conditionals: Basics and Examples

Covers the basics of conditionals and their implementation in programming.

Binary Covariate Impact: 2x2 Contingency Tables

Explores the impact of a binary covariate on binary responses using 2x2 tables.

Simple Code Generation for if

Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.