Lectures related to Three-valued logic

Integers Representation: Sign vs. Two's Complement

Explores integer representation methods, comparing sign-and-magnitude with two's complement, and introduces fixed-point and floating-point representations.

Protein Circuit Design: Signal Transmission and Dynamic Control

Explores protein-mediated signal transmission, dynamic control, logic operations, and cell-based therapeutics.

Logical Operators in C++

Covers logical operators, conditions, and syntax in C++ with practical examples and exercises.

Predicate Logic: Quantifiers and Normal Forms

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Quantum Mechanics: State Systems

Covers the fundamentals of quantum mechanics, focusing on state systems and observable measurements.