HEAL DSpace

Θεώρημα πληρότητας, καθοδικό θεώρημα Löwenheim-Skolem και δυσδιάκριτα

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο:

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής

Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα Εκτός από όπου ορίζεται κάτι διαφορετικό, αυτή η άδεια περιγράφεται ως Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα