ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι
| Τίτλος | ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι / Mathematical Logic I |
| Κωδικός | 0133 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό |
| Περίοδος Διδασκαλίας | Χειμερινή |
| Κοινό | Ναι |
| Κατάσταση | Ενεργό |
| Course ID | 40000302 |
Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)
Εγγεγραμμένοι φοιτητές: 38
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| Κορμός | Υποχρεωτικό Κατ' Επιλογήν | Χειμερινή | - | 5,5 |
| Τίτλος | ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι |
| Ακαδημαϊκό Έτος | 2018 – 2019 |
| Περίοδος Τάξης | Χειμερινή |
| Διδάσκοντες μέλη ΔΕΠ |
|
| Ώρες Εβδομαδιαία | 3 |
| Class ID | 600121387
|
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600121387
Περιεχόμενο Μαθήματος
Προτασιακός Λογισμός: Γλώσσα του Προτασιακού Λογισμού. Τιμές αλήθειας, εκτιμήσεως, λογικά συμπεράσματα. Επάρκεια συνδέσμων. Αξιωματικοποίηση του Προτασιακού Λογισμού, πληρότητα. Ανεξαρτησία των αξιωμάτων.
Κατηγορηματικός Λογισμός: Πρωτοβάθμιες γλώσσες. Δομές, μοντέλα, αλήθεια. Αξιωματικοποίηση του
πρωτοβάθμιου Κατηγορηματικού Λογισμού, πληρότητα.
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Μαθηματικής Λογικής, Α. Τζουβάρας, Ζήτη, 1998.
- Μαθηματική Εισαγωγή στην Λογική, H. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013
Τελευταία Επικαιροποίηση
18-09-2018
