Lectures related to Propositional attitude

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Covers interesting facts about propositional logic and Sudoku solving strategies.

Introduces Euclidean Elements, discussing logical structure, types of propositions, definitions, common notions, and postulates.

Covers the generalisation to generalised integrals and convergence criteria.

Explores resilience in energy systems, addressing challenges and solutions for ensuring a sustainable energy supply.