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

(ML1) -  George Koletsos

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

Proof systems: natural deduction systems, Hilbert systems, Gentzen sequent systems. The notion of cut. Cut elimination theorem and applications. Normalization and numerical bounds in cut elimination. Structure of proofs without cut. Curry-Howard isomorphism. Strong normalization.

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

Πέμπτη 22 Φεβρουαρίου 2024