Φοιτητές Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών ΕΜΠ :: Οδηγός Σπουδών

Προσφερόμενο Μάθημα: Μαθηματική Λογική
Τίτλος:	Μαθηματική Λογική
Κωδικός:	9083
Περιγραφή:	Προτασιακός Λογισμός: Γλώσσα, Μοναδικά αναγνωσιμότητα, Λογικοί σύνδεσμοι, απονομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συζευκτική κανονική μορφή, θεώρημα συμπάγειας προτασιακού λογισμού, Εφαρμογές. Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η έννοια της δομής, ερμηνεία της γλώσσας, ορισμός της αλήθειας κατά Tarski. Αξιωματικοποίηση της πρωτοβάθμιας Λογικής: H έννοια του αξιωματικού συστήματος, αναλογίες με αλγοριθμικές έννοιες, η έννοια της συνέπειας, τα θεωρήματα της ορθότητας και τα θεωρήματα της πληρότητας του Gφdel, και την ανταποκρισιμότητα των Gφdel-Church. Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακό resolution, απαλοιφή των τιμών, τα συστήματα tableau, η πληρότητα μέσω των συστημάτων tableau.
Εξάμηνο:	Όγδοο
Κατεύθυνση:	Μαθηματικό Εφαρμογών
Τύπος:	Κατ' επιλογήν υποχρεωτικό
Ώρες Διδασκαλίας:	4
Διαθέσιμο υλικό:	Θέματα Εξετάσεων 2002 Επαναληπτική 2005 Επαναληπτική 2005 Κανονική 2006 Επαναληπτική 2006 Κανονική 2006 Κανονική (Λύσεις) 2007 Επαναληπτική 2007 Κανονική 2008 Κανονική 2009 Κανονική 2010 Κανονική 2011 Επαναληπτική 2011 Κανονική 2014 Κανονική Σημειώσεις Σημειώσεις Μαθ. Λογικής Ιστοσελίδες Ιστοσελίδα μαθήματος (Γ. Κολέτσος) Ασκήσεις [2012] 1ο φυλλάδιο ασκήσεων [2012] 2ο φυλλάδιο ασκήσεων Συζητήσεις στο forum Topic μαθήματος στο forum
Στατιστικά:	Δηλώθηκε από 94 χρήστες Ποσοστό επιτυχίας: 72.3
Διδάσκοντες:	[Εαρινή 2018-19] Κολέτσος Γεώργιος (Α-Ω) Ποτίκας Πέτρος (Α-Ω) [Εαρινή 2016-17] Στεφανέας Πέτρος (Α-Ω) [Εαρινή 2014-15] Κολέτσος Γεώργιος [Εαρινή 2013-14] Κολέτσος Γεώργιος [Εαρινή 2012-13] Κολέτσος Γεώργιος (Α-Ω) [Εαρινή 2011-12] Κολέτσος Γεώργιος [Εαρινή 2010-11] Κολέτσος Γεώργιος [Εαρινή 2009-10] Κολέτσος Γεώργιος [Εαρινή 2008-09] Κολέτσος Γεώργιος [Εαρινή 2007-08] Κολέτσος Γεώργιος [Εαρινή 2006-07] Κολέτσος Γεώργιος [Εαρινή 2005-06] Κολέτσος Γεώργιος [Εαρινή 2004-05] Κολέτσος Γεώργιος
Δημιουργία: Πέμπτη 4 Μαΐου 2006, 21:06 από Neo