mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

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

{ prev, contents, next }

Navigator

Fortune cookie

“As for methods I have sought to give them all the rigour that one requires in geometry, so as never to have recourse to the reasons drawn from the generality of algebra.”

Augustin-Louis Cauchy.

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.