CSE521 | |
4 | |
3-1-0 | |
CSE322 | |
UG,PG | |
This courses introduces formal logics and their applications in computer science. The logics considered in detail are Propositional Logic and First Order Logic for which the concepts of syntax, semantics, satisfiability, validity, and logical deductions are clarified. Proof systems and logic algorithms are studied. Applications within Computer Science are illustrated. | |
| |
Monsoon |
Astrid kiehn |
Astrid kiehn |
Astrid kiehn |