EE-Learning
Formal Theories
Catogry:
Computing
Subject:
Computer Science
Course:
Logic For Computer Science
Lecture List
References
Verification of WHILE Programs
Verification of Imperative Programs
Towards Logic Programming
First -Order Theories
Completeness of the Hilbert System
Completeness of Tableaux Method
Resolution and Tableaux
Resolution : Soundness and Completeness
More on Resolution in FOL
Resolution in FOL
Unification
Substitutions and Instantiations
Skalemization
Normal Forms
Existential Quantification
Predicate Logic: Proof Theory (Contd..)
First – Order Theories
Structures and Substructures
Models
Subsitutions
The Semantic of Predicate Logic
Introduction to Predicate Logic
The Hilbert System :Completeness
The Hilbert System : Soundness
Derived Rules
Proof Theory : Hilbert-style
Formal Theories
Maximally Consistent Sets
The Completeness Theorem
Consistency and Completeness
Analytic Tableaux
Propositional Unsatisfiability
Tautology Checking
Identities and Normal forms
Logical and Algebraic Concepts
Semantics of Propositional Logic
Propositional Logic Syntax
Introduction