Μηχανές Turing 2 Αλγόριθμοι υπολογιστών 1 Αναδρομικές συναρτήσεις 1 Ανεπιλυσιμότητα (Μαθηματική λογική) 1 Αξιωματική μέθοδος (Μαθηματικά) 1 Βάσεις γνώσεων 1 Βιογραφία 1 更多 ... Επιστήμη 1 Ζωγράφοι 1 Ηλεκτρονικοί υπολογιστές 1 Θεωρήματα μη-πληρότητας 1 Θεωρία μηχανών 1 Θεώρημα Godel 1 Κρυπτογραφία 1 Λογική, Συμβολική και μαθηματική 1 Μαθηματικοί 1 Παγκόσμιος πόλεμος, 1939-1945 1 Σλοβακική λογοτεχνία 1 Σύνολα, Θεωρία των 1 Τεχνητή νοημοσύνη 1 Υπολογιστική Πολυπλοκότητα 1 Φιλοσοφία 1 少 ...