Πίνακας περιεχομένων
6 συγγένειες: CPU, Καθολική Μηχανή Τούρινγκ, Αλόνζο Τσερτς, Γλώσσα προγραμματισμού, Άλαν Τούρινγκ, Λογάριθμος.
- Μοντέλα υπολογισμού
- Τυπικές γλώσσες
- Τυπικές μέθοδοι
- Θεωρητική πληροφορική
- Θεωρία υπολογισιμότητας
- Άλαν Τούρινγκ
CPU
#ανακατευθυνση Κεντρική Μονάδα Επεξεργασίας.
Δείτε Μηχανή Τούρινγκ και CPU
Καθολική Μηχανή Τούρινγκ
Στην επιστήμη των υπολογιστών, μια καθολική μηχανή Τούρινγκ είναι η μηχανή Τούρινγκ πουμπορεί να προσομοιώσει μια αυθαίρετη μηχανή Τούρινγκ σε αυθαίρετη εισαγωγή.
Δείτε Μηχανή Τούρινγκ και Καθολική Μηχανή Τούρινγκ
Αλόνζο Τσερτς
Ο Αλόνζο Τσερτς (αγγλικά: Alonzo Church) ήταν Αμερικάνος επιστήμονας υπολογιστών, μαθηματικός, φιλόσοφος και καθηγητής, ο οποίος συνείσφερε σημαντικά στην επιστήμη των μαθηματικών, καθώς υπήρξε ένας από τους θεμελιωτές της θεωρητικής επιστήμης υπολογιστών.
Δείτε Μηχανή Τούρινγκ και Αλόνζο Τσερτς
Γλώσσα προγραμματισμού
Γλώσσα προγραμματισμού λέγεται μια τεχνητή γλώσσα πουμπορεί να χρησιμοποιηθεί για τον έλεγχο μιας μηχανής, συνήθως ενός υπολογιστή.
Δείτε Μηχανή Τούρινγκ και Γλώσσα προγραμματισμού
Άλαν Τούρινγκ
Ο Άλαν Μάθισον Τούρινγκ ή Τιούρινγκ(Alan Matheson Turing, 23 Ιουνίου1912 – 7 Ιουνίου1954) ήταν Άγγλος μαθηματικός, καθηγητής της λογικής, κρυπτογράφος και θεωρητικός βιολόγος.
Δείτε Μηχανή Τούρινγκ και Άλαν Τούρινγκ
Λογάριθμος
23.
Δείτε Μηχανή Τούρινγκ και Λογάριθμος
Δείτε επίσης
Μοντέλα υπολογισμού
- Αυτόματο
- Δηλωτική σημασιολογία
- Κβαντική πληροφορική
- Λογισμός λάμδα
- Μηχανή Τούρινγκ
- Μοντέλο δέντρου απόφασης
- Μοντέλο υπολογισμού
- Ροή δεδομένων
Τυπικές γλώσσες
- Αλφάβητο (μαθηματικά)
- Αντιματροειδές
- Αστέρι Κλέινι
- Γλώσσα σήμανσης
- Γραμματική Μόνταγκιου
- Ιεραρχία Τσόμσκι
- Κανονική γλώσσα
- Κανονική έκφραση
- Μηχανή Τούρινγκ
- Μορφή Μπάκους-Νάουρ
- Συμβολοσειρά
- Τυπική γλώσσα
- Τυπική γραμματική
- Τυπικό σύστημα
- Diff
Τυπικές μέθοδοι
- Λογισμός λάμδα
- Μηχανή Τούρινγκ
- Τυπική επαλήθευση
- Τυπική σημασιολογία των γλωσσών προγραμματισμού
- Θεωρία συνόλων
Θεωρητική πληροφορική
- Αλγόριθμος
- Κβαντική πληροφορική
- Λογισμός λάμδα
- Λογισμός π
- Μηχανική μάθηση στην φυσική
- Μηχανή Τούρινγκ
- Σπιντρονική
- Τυπική επαλήθευση
- Τυπική γλώσσα
- Θεωρητική Πληροφορική
- Υπολογισμός
- Υπολογιστικό πρόβλημα
- INRIA
Θεωρία υπολογισιμότητας
- Αναδρομικό σύνολο
- Αποτελεσματική μέθοδος
- Λογισμός λάμδα
- Μηχανή Τούρινγκ
- Μοντέλο υπολογισμού
- Μ-αναδρομική συνάρτηση
- Πρόβλημα απόφασης
- Πρόβλημα τερματισμού
- Θεωρία υπολογισιμότητας
- Υπολογισμός
- Υπολογίσιμη συνάρτηση
Άλαν Τούρινγκ
- Βραβείο Τούρινγκ
- Μηχανή Τούρινγκ
- Άλαν Τούρινγκ