Lectures related to Logic: Proof Techniques

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Covers the concept of formal proof systems, their structure, and soundness.

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

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Covers translating natural language to propositional logic and proving tautologies.

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

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

Covers the basics of propositional logic, its history, language, and computing applications.

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Explores the significance of logic in mathematics and science through properties and propositions.

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

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

Explores rules of inference, quantified statements, and proof methods in logic and mathematics.

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

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

Covers interesting facts about propositional logic and Sudoku solving strategies.

Covers quantifiers with finite domains, uniqueness, composite statements, variable binding, translating to logic, and validity.