ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι

Πληροφορίες Μαθήματος
ΤίτλοςΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι / Mathematical Logic I
Κωδικός0133
ΣχολήΘετικών Επιστημών
ΤμήμαΜαθηματικών
Κύκλος / Επίπεδο1ος / Προπτυχιακό, 2ος / Μεταπτυχιακό
Περίοδος ΔιδασκαλίαςΧειμερινή
ΚοινόΝαι
ΚατάστασηΕνεργό
Course ID40000302

Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)

Εγγεγραμμένοι φοιτητές: 8
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚορμόςΥποχρεωτικό Κατ' ΕπιλογήνΧειμερινή-5,5
Πληροφορίες Τάξης
ΤίτλοςΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι
Ακαδημαϊκό Έτος2016 – 2017
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Ώρες Συνολικά39
Class ID
600038170

Πρόγραμμα Τάξης

ΚτίριοΦυσικομαθηματική (Δ)
ΌροφοςΌροφος 3
ΑίθουσαΑΙΘΟΥΣΑ Μ0 (199)
ΗμερολόγιοΠέμπτη 16:00 έως 18:00
ΚτίριοΦυσικομαθηματική (Δ)
ΌροφοςΌροφος 3
ΑίθουσαΑΙΘΟΥΣΑ Μ0 (199)
ΗμερολόγιοΠέμπτη 19:00 έως 20:00
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Περιεχόμενο Μαθήματος
Προτασιακός Λογισμός: Γλώσσα του Προτασιακού Λογισμού. Τιμές αλήθειας, εκτιμήσεως, λογικά συμπεράσματα. Επάρκεια συνδέσμων. Αξιωματικοποίηση του Προτασιακού Λογισμού, πληρότητα. Ανεξαρτησία των αξιωμάτων. Κατηγορηματικός Λογισμός: Πρωτοβάθμιες γλώσσες. Δομές, μοντέλα, αλήθεια. Αξιωματικοποίηση του πρωτοβάθμιου Κατηγορηματικού Λογισμού, πληρότητα.
Τελευταία Επικαιροποίηση
19-09-2013