Ενοποίηση σχετικιστικών και φυσικών αποδείξεων για την εύρεση νέων κάτω φραγμάτων
Στην παρούσα Διπλωματική Εργασία μελετάμε τη σύνδεση των ανομοιόμορφων μοντέλων υπολογισμού με τις παραδοσιακές υπολογιστικές δυνατότητες των μηχανών Turing. Συγκεκριμένα τα πρώτα είναι στενά συνδεδεμένα με τις οικογένειες λογικών κυκλωμάτων και αποδεικνύεται ότι, ακριβώς χάρη στην ανομοιομορφία του...
| Κύριοι συγγραφείς: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | bachelorThesis |
| Γλώσσα: | Greek |
| Έκδοση: |
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Λογικής και Επιστήμης Υπολογισμών
2017
|
| Θέματα: | |
| Διαθέσιμο Online: | http://dspace.lib.ntua.gr/handle/123456789/45121 |