Syllabus  |   Lectures  |   Downloads  |   FAQ  |   Ask a question  |  
Course Co-ordinated by IIT Madras
Coordinators
 

 

Download Syllabus in PDF format



Untitled Document

Unit No

Topics

Lectures

1

Propositional Logic

7

 

Syntax, Unique parsing, Semantics, Equivalences, Consequences, Calculations, Informal proofs.

 

2

Normal Forms and Resolution

7

 

Clauses, CNF and DNF representations, Adequacy of calculations,   SAT, Resolution refutation, Adequacy of resolution.

 

3

Proof Systems

8

 

Axiomatic system PC, Adequacy of PC, Analytic tableau PT,            Adequacy of PT, Compactness of PL.  

 

4

First Order Logic

8

 

Syntax of FL, Scope and binding, Substitutions, Semantics of FL,       Quantifier laws, Equivalences, Consequences.

 

5

Normal Forms in FL

8

 

Calculations, Informal proofs, Prenex forms, Skolem forms,               Herbrand's theorem, Skolem-Lowenheim theorem, Resoltion in FL

 

6

Proof Systems for FL

6

 

Axiomatic system FC, Analytic tableau FT, Adequacy of FC and FT, Compactness in FL.

 

7

Axiomatic Theories

2

 

Undecidabilty of FL, Godel's incompleteness theorems.

 

Total

46


  1. 1. Logics for computer sciience, A singh, PHI, 2004.

  2. 2. Fundamentals of Logic, A singh, and C.Goswami, ICPR New dELHI, 1998.


  1. The resource list at Texas A & M University.

  2. Dr. Martindale's Reference Desk is an extremely comprehensive (probably complete) list of online software (including logic-related programs).

  3. "What are the best philosophy resources?" at encyclopaedia.com.

  4. Spanish Pagina sobre filosofia by Francisco Conde.

  5. Episteme Links, another compilation of philosophy-related resources.

  6. The Logic & Set Theory chapter of the Math Archives at the University of Tennessee, Knoxville.

  7. A list of very thoroughly selected logical resources (University of Dusseldorf).

  8. Martin Flashman's Logic and Set Theory Web Surfing Page.

  9. Mathematical Logic around the world.

  10. Logical resources from Finland.

  11. Mariusz Grygianiec's und Piotr Lajeczko's Philosophia Analytica in Polonia, a collection of information on Polish logic and analytical philosophy.

  12. Peter Suber 's Logic topics.


  1. J R Shoenfield, Mathematical Logic, Addison Wesley, Reading, Massachusets, 1967.

  2. R.Smullyan, First order logic, springer verglag, New York 1968.



Important: Please enable javascript in your browser and download Adobe Flash player to view this site
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: nptel@iitm.ac.in