Μαθηματική Λογική

Κωδ.: 
ΕΛ
Εξάμηνο: 
7
Τύπος μαθήματος νέο ΠΠΣ : 
Ελεύθερα Μαθήματα (ΕΛ)
Κατεύθυνση: 
Ελεύθερα Μαθήματα

ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ

15101178 MΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ (5ο εξάμηνο) 7 ECTS

Το αναγραφόμενο εξάμηνο δεν αφορά το Τμήμα Πληροφορικής και Τηλεπικοινωνιών αλλά το Τμήμα προέλευσης

Διδάσκων: Μιχαήλ Δρακόπουλος, επίκ.  καθηγητής, (mdraco@math.uoa.gr)

Προτασιακός Λογισμός-Πρωτοβάθμιες Γλώσσες, Θεωρήματα Πληρότητας και Συμπάγειας των Πρωτοβάθμιων Γλωσσών, Θεωρήματα Lowenheim-Skolem. Στοιχεία Θεωρίας Μοντέλων.

Επιλογές Συγγραμμάτων:

  1. Βιβλίο [12405096]: ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ, ΤΟΥΡΛΑΚΗΣ ΓΕΩΡΓΙΟΣ Λεπτομέρειες
  2. Βιβλίο [32998373]: ΜΙΑ ΜΑΘΗΜΑΤΙΚΗ ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΚΗ, ENDERTON HERBERT Λεπτομέρειες