mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Courses » 2002-2003 » fall semester

{ prev, contents, next }

Navigator

Fortune cookie

“As I say, there was this movement to try to bring philosophers and mathematicians together into an organization where they would talk to each other. An organization wasn't effective unless you had a journal. That's about all I know.”

Stephen Cole Kleene.

Courses for 2002-2003, fall semester

fall semester spring semester

required

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

elective (computer science logic)

Π18. Logic programming (Foustoucos)

Special Topics in Logic

Λ02Α. Arithmetic complexity (Moschovakis)
Λ02Ν. Logic in databases (Tannen)
Λ98Ν. Metamathematics of set theory (Arvanitakis)

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.