Lectures related to Boolean differential calculus

Theory of Computation: Problems Definition and Counting (Denumerability)

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

Finite Systems Expressed with Formulas

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

Variables and Operators

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

Finite Systems Expressed with Formulas

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

Conditionals: Basics and Examples

Covers the basics of conditionals and their implementation in programming.

Privacy Preserving Crypto I: Secure Multi-Party Computation

Explores Secure Multi-Party Computation, cryptographic techniques, threat models, additive secret shares, and real-world applications of privacy-preserving protocols.

Boolean Type: Common Errors

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

Deutsch and Josza Problem

Covers the Deutsch and Josza problem in quantum computation, focusing on boolean functions and oracles.

Conditional Statements: C++ Basics

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

Layout Technique for Double Gate Silicon Nano-Air Fit

Explores a novel layout methodology for enhancing device functionality through dynamic control and presents efficient CF tiles architecture for amybola logic circuits.

Boolean Algebra: Python Programming

Introduces Boolean algebra concepts and their application in Python programming.

Numbers and Booleans

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

Quantum Circuits: Classic Circuits

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

George Boole: Logic and Computers

Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.

Boolean Hidden Matching Problem

Explores the Boolean Hidden Matching Problem, focusing on distinguishing messages with negligible probability.

Vector-Vector Integration: Methods and Tools

Explores methods and tools for integrating vector layers in QGIS, including SQL queries and boolean operators.

Projection of Lines in Descriptive Geometry

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

Theory of Computation: Undecidable Problems

Explores the existence of functions that cannot be computed, illustrated by famous paradoxes and the concept of undecidable problems.

Logic Design: Basic Rules and Shannon's Expansion

Covers basic rules of logic design and Shannon's expansion in Boolean functions.

Python Programming Basics

Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.