LOGIC for COMPUTER SCIENCE PPT slides
Professor: Anita Wasilewska
Course Texbook
AN INTRODUCTION TO CLASSICAL and NON-CLASSICAL LOGICSAnita Wasilewska
Full Book Text and Lecture Slides are in Downloads
Course Reading Book
Introduction to Mathematical Logic, Fourth EditionElliot Mendelson
Course Content
The course will follow the book very closely and in particular we will cover some, or all of the following chapters and subjects.Chapter 1: Introduction: Mathematical Paradoxes and Computer Science Puzzles
Chapter 2: Introduction to Classical Propositional Logic
Chapter 3: Propositional Languages
Chapter 4: Classical Propositional Semantics
Chapter 5: Some Extentional Three and Many Valued Logics Semantics
Chapter 6: Classical tautologies, Logical Equivalences and Equivalences of Languages
Chapter 7: General Proof Systems
Chapter 8: Hilbert Proof Systems; Deduction Theorem
Chapter 9: Two Proofs of Propositional Classical Logic Completeness Theorem
Chapter 10: Introduction to Intuitionistic Logic; Conections between Classical and Intuitionistic Logics.
Chapter 11: Classical Automated Proof systems: RS and original Gentzen
Chapter 12: Gentzen Proof System for Intuitionistic Logic.
Chapter 13: Classical Predicate Logic: Hilbert Formalization
Chapter 14: Classical Predicate Logic: Automated Proof System QRS
Chapter 15: Hilbert and Gentzen Proof Systems for Intuitionistic Predicate Logic
Chapter 16: Introduction to Modal Logics, Modal S4 and S5 and their connections with Intuitionistic logic.
Book Slides
Chapter 1: Introduction: Mathematical Paradoxes and Computer Science Puzzles SlidesChapter 2: Introduction to Classical Propositional Logic Slides
Chapter 3: Propositional Languages Slides
Chapter 4: Classical Propositional Semantics Slides
Chapter 5: Some Extentional Three and Many Valued Logics emantics Slides
Chapter 6, part 1: Propositional Tautologies Examples Slides
Chapter 6, part 2: Definability of Connectives, Languages Equivalence Slides
Chapter 5, 6 Examples Slides
Chapter 7: General Proof Systems Slides
Chapter 8: Hilbert Proof Systems; Deduction Theorem Slides
Chapter 8: Formal Proofs in H2 Examples Slides
Chapter 8: Proof of Deduction Theorem Slides
Chapter 9, System S and Completeness Theorem Slides
Chapter 9, Proof 1 of Completeness Theorem and Examples Slides
Chapter 9, Part 2: Proof 2 of Completeness Theorem Slides
Chapter 10, Introduction to Intuitionistic Logic, Part 1 Slides
Chapter 10, Introduction to Intuitionistic Logic, Part 2 Slides
Chapter 11, Part 1: RS System Definition and Overview
Chapter 11, Part 2: RS System: Decomposition Trees
Chapter 11, Part 3: RS System: Proof of Completeness Theorem
Chapter 11, Part 4: Gentzen Proof System for Classical Logic Slides
Chapter 12, Gentzen Proof System for Intuitionistic Logic, Part 1 Slides
Chapter 12, Gentzen Proof System for Intuitionistic Logic, Part 2 Slides
Chapter 12, Gentzen Proof System for Intuitionistic Logic, Part 3 Slides
GL, GI: FEW PROBLEMS
Chapter 13, Predicate Languages, Slides
Chapter 13, System QRS, Slides
Book Chapters
Chapter 1: IntroductionChapter 2: Indroduction to Classical Propositional Logic
Chapter 3: Propositional Languages
Chapter 4: Classical Propositional Semantics
Chapter 5 Some Extensional Multivalued Semantics
Chapter 6 Classical Tautologies and Logical Equivalences
Chapter 7 General Proof Systems
Chapter 8 Hilbert Proof Systems, Deduction Theorem
Chapter 9 Propositional Logic Completeness Theorem - NEW
Chapter 10 Introduction to Intuitionistic Logic
Chapter 11 Gentzen Style Proof Systems for Classical Logic
Chapter 12 Gentzen Proof System for Intuitionistic Logic
Chapter 13, Predicate languages
Chapter 13, Part 1: System QRS Definition and Examples
Chapter 13, Part 2: System QRS Completeness
Chapter 14, Part 1: Hilbert System for Predicate Logic
Chapter 14, Part 2: Hilbert System for Predicate Logic
