“And what I learned in Church's course. He trained us intensively in his new system, which he was just developing. Two papers were presented. I think the second paper wasn't published until well after the course was finished.”
Stephen Cole Kleene.
ΠΒ09. Classes theory and model theory in informatics
Το Τμήμα Πληροφορικής και Τηλεπικοινωνιών του Πανεπιστημίου Αθηνών δέχεται αιτήσεις υποψηφίων σπουδαστών για το Μεταπτυχιακό Δίπλωμα Ειδίκευσης (ΜΔΕ) «Αλγόριθμοι, Λογική ...
Comments