Διαφορά μεταξύ των αναθεωρήσεων του «Θεωρία υπολογισιμότητας»

μ
πρότυπο: έλλειψη παραπομπών
μ (πρότυπο: έλλειψη παραπομπών)
{{Χωρίς παραπομπές|12|12|2016}}
Η '''Θεωρία της Υπολογισιμότητας''' ή '''Θεωρία της Αναδρομής''', είναι ένας κλάδος της [[μαθηματική λογική|μαθηματικής λογικής]], της [[πληροφορική]]ς και της [[Θεωρία υπολογισμού|θεωρίας υπολογισμού]] που προήλθε από την έρευνα των υπολογίσιμων συναρτήσεων και του βαθμού Turing (=βαθμος μη επιλυσιμότητας) στα μέσα της δεκαετίας του 1930.
 
75.745

επεξεργασίες