Στον Άβακα θα βρεις εκφωνήσεις διαγωνισμάτων στη Μαθηματική Λογική της ΣΕΜΦΕ του ΕΜΠ
Μαθηματική Ανάλυση ΙΙΙ | Διαγώνισμα 24-2-2020
Σύντομη περιγραφή του μαθήματος
Μαθηματική Λογική | ΣΕΜΦΕ ΕΜΠ
Προτασιακός Λογισμός: Γλώσσα, Μοναδικά αναγνωσιμότητα, Λογικοί σύνδεσμοι, απονομές αλήθειας, σημασιολογικές έννοιες, επάρκεια συνδέσμων, διαζευκτική και συζευκτική κανονική μορφή, θεώρημα συμπάγειας προτασιακού λογισμού, Εφαρμογές. Πρωτοβάθμιος κατηγορηματικός λογισμός: Γλώσσα, μεταβλητές, έννοιες ελεύθερης και δεσμευμένης μεταβλητής, αντικατάσταση, αναλογία με τον προγραμματισμό, η έννοια της δομής, ερμηνεία της γλώσσας, ορισμός της αλήθειας κατά Tarski. Αξιωματικοποίηση της πρωτοβάθμιας Λογικής: H έννοια του αξιωματικού συστήματος, αναλογίες με αλγοριθμικές έννοιες, η έννοια της συνέπειας, τα θεωρήματα της ορθότητας και τα θεωρήματα της πληρότητας του Gφdel, και την ανταποκρισιμότητα των Gφdel-Church. Αποδεικτική θεωρία προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακού και κατηγορηματικού λογισμού: Το σύστημα Gentzen, προτασιακό resolution, απαλοιφή των τιμών, τα συστήματα tableau, η πληρότητα μέσω των συστημάτων tableau.
Στον Άβακα θα βρεις εξειδικευμένους καθηγητές που κάνουν φροντιστήριο και ιδιαίτερα μαθήματα στη Μαθηματική Λογική της ΣΕΜΦΕ του Εθνικού Μετσόβιου Πολυτεχνείου.
