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

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

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

Εγγεγραμμένοι φοιτητές: 0
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚΟΡΜΟΣΥποχρεωτικό Κατ' ΕπιλογήνΧειμερινή-5,5

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

Εγγεγραμμένοι φοιτητές: 0
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚορμόςΥποχρεωτικό Κατ' Επιλογήν745,5
Πληροφορίες Τάξης
ΤίτλοςΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι
Ακαδημαϊκό Έτος2013 – 2014
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Class ID
40049388
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Περιεχόμενο Μαθήματος
Προτασιακός Λογισμός: Γλώσσα του Προτασιακού Λογισμού. Τιμές αλήθειας, εκτιμήσεως, λογικά συμπεράσματα. Επάρκεια συνδέσμων. Αξιωματικοποίηση του Προτασιακού Λογισμού, πληρότητα. Ανεξαρτησία των αξιωμάτων. Κατηγορηματικός Λογισμός: Πρωτοβάθμιες γλώσσες. Δομές, μοντέλα, αλήθεια. Αξιωματικοποίηση του πρωτοβάθμιου Κατηγορηματικού Λογισμού, πληρότητα.
Τελευταία Επικαιροποίηση
19-09-2013