Lectures related to Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of tuples, lists, sets, linear types, conversions, dictionaries, and defaultdicts.

Covers propositions, logical connectives, truth tables, and propositional logic language.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Explores solutions of differential equations and properties of functions.