CS202A - Mathematics For Computer Science -II
Prerequisites:
3-0-0-5
Course Contents
- Propositional logic syntax and semantics.
- Tautologies, axiom system and deduction.
- Proof of soundness and completeness.
- First order logic syntax and semantics.
- Structures, models, satisfaction and validity.
- Axiomati-zation, soundness and completeness.
- Optional: some advanced topics.
Topics
Current Course Information
Instructor(s):
Number of sections:
Tutors for each section:
Schedule for Lectures:
Schedule for Tutorial:
Schedule for Labs: