Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά
Η κατασκευαστική άποψη για τα μαθηματικά. Η ερμηνεία BHK των λογικών τελεστών. Συστήματα φυσικής απαγωγής και τύπου Hilbert για την ιντουισιονιστική προτασιακή και πρωτοβάθμια κατηγορηματική λογική. Σημασιολογία Kripke. Πρωτογενής αναδρομική αριθμητική PRA, αριθμητική Heyting HA. Αριθμητική πραγματοποίηση. Εισαγωγή στην κατασκευαστική ανάλυση.
Given in semesters
| semester | teaching | students |
|---|---|---|
| 2012-2013, εαρινό εξάμηνο | Γαρυφαλλιά Βαφειάδου | 9 |
Comments