Anteprima

(L1) -  Costas Dimitracopoulos

Descrizione del Corso

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.

Creation Date

domenica 18 febbraio 2024