Concept

Boolean expression

Related lectures (30)

Covers conditional and Boolean expressions, rewrite rules, and value definitions.

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

Finite Systems Expressed with Formulas

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

Boolean Type: Common Errors

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

Theory of Computation: Problems Definition and Counting (Denumerability)

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

Graphical Models: Representing Probabilistic Distributions

Covers graphical models for probabilistic distributions using graphs, nodes, and edges.

Numbers and Booleans

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

Boolean Hidden Matching Problem

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

Python Basics: Functions and Lists

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

Conditional Statements: C++ Basics

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

Quantum Circuits: Classic Circuits

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

Variables and Operators

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

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.

Python Programming Basics

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

Lambda Calculus: Church Numerals

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

Conditions and Loops: Basics of Programming

Covers the basics of programming, including types, variables, methods, functions, conditions, loops, and boolean logic.

Objects Everywhere

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

Projection of Lines in Descriptive Geometry

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

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.