Lectures related to Sequential Systems: Microcontrollers

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

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

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Covers the concept of logical equivalence in proofs and inference rules.

Provides an overview of flip-flops, registers, and counters in digital systems.