mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Courses » 1997-1998 » fall semester

{ prev, contents, next }

Navigator

Fortune cookie

“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.

Courses for 1997-1998, fall semester

fall semester spring semester

required

Λ1. Mathematical logic (Dimitracopoulos)
Λ2. Computability (Moschovakis, Mytilinaios)
Λ3. Algorithms and complexity I (Zachos)

elective (mathematical logic)

M11. Recursion theory (Moschovakis)

elective (logic)

Λ14. Introduction to λ-calculus (Koletsos)

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.