Logic and Proof, Lecture 2: Propositional Logic. Live version

Logic and Proof, Lecture 12: Tableau Calculi. Live versionПодробнее

Logic and Proof, Lecture 11: Modal Logic. Live versionПодробнее

Logic and Proof, Lecture 10: Binary Decision Diagrams. Live versionПодробнее

Logic and Proof, Lecture 9: Decision Procedures. Live versionПодробнее

Logic and Proof, Lecture 8: Resolution and Prolog. Live versionПодробнее

Logic and Proof, Lecture 7: Skolemisation. Live versionПодробнее

Logic and Proof, Lecture 5: First-Order Reasoning. Live version*Подробнее

Logic and Proof, Lecture 4: First Order Logic. Live version*Подробнее

Logic and Proof, Lecture 3: Propositional Proof Systems. Live version*Подробнее

Logic and Proof, Lecture 1: Introduction to Logic. Live version*Подробнее

Propositional Logic | Conjunction, Disjunction & Negation | Discrete Mathematics | By Gp sirПодробнее

COMP1805 Live Lecture 2 (May 11th)Подробнее

Refutation Trees 2Подробнее

Lecture 2 - Propositional Logic (Contd.)Подробнее