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

Ποτσάκης, Σταύρος Ταξιάρχης; Potsakis, Stavros Taxiarchis

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