Παρουσίαση/Προβολή

(L1) -  Costas Dimitracopoulos

Περιγραφή Μαθήματος

Propositional logic (connectives and truth tables, complete sets of connectives, propositional calculus). First-order logic (first-order languages and structures, satisfiability and truth, first-order theories and properties, soundness and completeness theorems, compactness theorem and applications). Basic notions of model theory and examples of structures.

Ημερομηνία δημιουργίας

Κυριακή 18 Φεβρουαρίου 2024