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

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

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

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

Πληροφορίες Τάξης
ΤίτλοςΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι
Ακαδημαϊκό Έτος2017 – 2018
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Class ID
600099095

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

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