dc.contributor.author | Ποτσάκης, Σταύρος Ταξιάρχης | el |
dc.contributor.author | Potsakis, Stavros Taxiarchis | en |
dc.date.accessioned | 2019-12-03T09:24:13Z | |
dc.date.available | 2019-12-03T09:24:13Z | |
dc.identifier.uri | https://dspace.lib.ntua.gr/xmlui/handle/123456789/49523 | |
dc.identifier.uri | http://dx.doi.org/10.26240/heal.ntua.17221 | |
dc.rights | Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/gr/ | * |
dc.subject | Πληρότητα | el |
dc.subject | Löwenheim | en |
dc.subject | Δυσδιάκριτα | el |
dc.subject | Μοντέλα | el |
dc.subject | Skolem | en |
dc.title | Θεώρημα πληρότητας, καθοδικό θεώρημα Löwenheim-Skolem και δυσδιάκριτα | el |
heal.type | bachelorThesis | |
heal.classification | Θεωρία μοντέλων | el |
heal.language | el | |
heal.access | free | |
heal.recordProvider | ntua | el |
heal.publicationDate | 2019-09-27 | |
heal.abstract | Ο σκοπός αυτής της διπλωματικής εργασίας είναι να παρουσιάσουμε κάποια θέματα από τη Θεωρία Μοντέλων.Στο 1ο κεφάλαιο δίνουμε κάποια προαπαιτούμενα από τη Λογική για την πρωτοβάθμια γλώσσα,τα μοντέλα και το αποδεικτικό σύστημα Hilbert.Στο 2ο κεφάλαιο θα διατυπώσουμε και αποδείξουμε το Θεώρημα Πληρότητας και θα δώσουμε το Θεώρημα Συμπάγειας και το Ασθενές Θεώρημα Löwenheim-Skolem ως απόρροιες του Θεωρήματος Πληρότητας.Στο 3ο κεφάλαιο θα διατυπώσουμε και θα αποδείξουμε το Καθοδικό Θεώρημα Löwenheim-Skolem.Στο 4ο κεφάλαιο θα ορίσουμε τις Skolem συναρτήσεις,τα δυσδιάκριτα και θα παρουσιάσουμε πορίσματα για την κατασκευή μοντέλων παραγόμενα από στοιχεία δυσδιάκριτα. | el |
heal.advisorName | Αρβανιτάκης, Αλέξανδρος | |
heal.committeeMemberName | Αρβανιτάκης, Αλέξανδρος | |
heal.committeeMemberName | Στεφανέας, Πέτρος | |
heal.committeeMemberName | Χαραλαμπόπουλος, Αντώνιος | |
heal.academicPublisher | Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών | el |
heal.academicPublisherID | ntua | |
heal.numberOfPages | 51 σ. | |
heal.fullTextAvailability | false |
Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο: