“The standard "foundation" for mathematics starts with sets and their elements. It is possible to start differently, by axiomatising not elements of sets but functions between sets. This can be done by using the language of categories and universal constructions.”
Saunders Mac Lane.
Location finder
Department of Informatics, University of Athens
Unfortunately there is no specific information regarding this location.
A2
Unfortunately there is no specific information regarding this location.
Το Τμήμα Πληροφορικής και Τηλεπικοινωνιών του Πανεπιστημίου Αθηνών δέχεται αιτήσεις υποψηφίων σπουδαστών για το Μεταπτυχιακό Δίπλωμα Ειδίκευσης (ΜΔΕ) «Αλγόριθμοι, Λογική ...