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

Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
καμία σύνοψη επεξεργασίας
 
== Οι Επαγγελματικές Οργανώσεις ==
Η κύρια επαγγελματική οργάνωση για τη θεωρία της αναδρομής είναι [[η Ένωση της Συμβολικής Λογικής]] , η οποία οργανώνει διάφορα ερευνητικά συνέδρια κάθε χρόνο. Η διεπιστημονική ερευνητική οργάνωση Υπολογισιμότητα στην Ευρώπη (CiE) διοργανώνει επίσης μια σειρά ετήσιων συνεδρίων. Το συνέδριο CiE 2012 ήταν η διάσκεψη εκατονταετίας Turing , που πραγματοποιήθηκε στο Cambridge, στο πλαίσιο του έτους Alan Turing.
 
 
Ανώνυμος χρήστης

Μενού πλοήγησης