This is a static snapshot of the website of MPLA, taken on 2025-02-27.

You are here: Courses » 1999-2000 » fall semester

Navigator

Fortune cookie

“God may not play dice with the universe, but something strange is going on with the prime numbers.”

Paul Erdős.

Courses for 1999-2000, fall semester

fall semester spring semester

required

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

Special Topics in Logic

Λ99Α. Finite model theory (Weinstein)
Λ99Β. Automata and applications (Soskov)
Λ99Γ. Modal logic (Koutras)

special topics in mathematics

Μ99Δ. Descriptive set theory (Moschovakis)

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.