Computer logic (M6) 2+2

The semantical and the syntactical treatment of the propositional calculus and the predicate calculus (zero-order and first-order logic). Concept of consequence, decision problem, automatic theorem proving and resolution principle. Soundness and completeness.


1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.