DSpace

Πληροφορίες Τίτλου
Τίτλος: Υπολογισιμότητα, αναδρομικές συναρτήσεις
Συγγραφείς:Κολέτσος, Γεώργιος
Κριτικός Αναγνώστης: Δημητρακόπουλος, Κωνσταντίνος
Σχολές/Τμήματα: ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
Θέμα: 
Λέξεις-κλειδιά: 
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Περιγραφή
Περίληψη: 
Η έννοια της υπολογίσιμης συνάρτησης. Μοντέλα υπολογισμού. Μηχανές Turing και Turing υπολογίσιμες συναρτήσεις. Αναδρομικές συναρτήσεις. Πρωτογενείς αναδρομικές συναρτήσεις. Ο τελεστής ελαχιστοποίησης του Kleene και οι γενικές ολικές και μερικές αναδρομικές συναρτήσεις.
Σχήματα δημιουργίας και χειρισμού των αναδρομικών συναρτήσεων. Η β-συνάρτηση του Gödel και οι αριθμοί ακολουθίας. Κωδικοποίηση και αντίστοιχες συναρτήσεις. Απόδειξη ότι η πρωτογενής αναδρομή ορίζεται με βάση τα σχήματα της γενικής αναδρομής.
Ισοδυναμία των αναδρομικών συναρτήσεων και των Turing ορίσιμων. Ανάλυση της έννοιας του υπολογίσιμου και το αίτημα του Church.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Κεφάλαιο Συγγράμματος
URI: http://hdl.handle.net/11419/2303
Βιβλιογραφική Αναφορά:Κολέτσος, Γ. 2015. Υπολογισιμότητα, αναδρομικές συναρτήσεις. [Κεφάλαιο Συγγράμματος]. Στο Κολέτσος, Γ. 2015. Μαθηματική λογική. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. κεφ 6. Διαθέσιμο στο: http://hdl.handle.net/11419/2303
Γλώσσα: Ελληνικά
Αποτελεί μέρος του: Μαθηματική λογική
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα
Σχετικά Μαθήματα: 
1. ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΓΙΑ ΥΠΟΛΟΓΙΣΤΕΣ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
2. ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
3. Μαθηματική Λογική [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
4. Μαθηματική Λογική ΙΙ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
Γλωσσική Επιμέλεια: Τουλάτου, Δήμητρα
Τεχνική Επεξεργασία: Σταυρινός, Γιώργος
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

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

Μορφότυπο Μέγεθος Περιγραφή
Adobe PDF305,68 kB-KατεβάστεΔείτε

Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα

Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA