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