mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Courses » 2012-2013 » fall semester

{ prev, contents, next }

Navigator

Fortune cookie

“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”

Gottlob Frege.

Courses for 2012-2013, fall semester

fall semester spring semester

required

Λ2. Computability (Arvanitakis)
Λ3. Algorithms and complexity I (Fotakis, Zachos)
Λ4. Algorithms and complexity II (Pagourtzis, Zachos)

elective (logic)

Λ15. Proof theory (Koletsos, Stavrinos)

Special Topics in Logic

Λ99Γ. Modal logic (Koutras)

special topics in computer science

Π00Γ. Combinatorial optimization (Zissimopoulos)
Π02Γ. Cryptography and complexity (Pagourtzis, Zachos)
Π02Ε. Computational algebra (Raptis)
Π03Γ. Type systems for programming languages (Papaspyrou)
Π10Α. Knowledge technologies (Koubarakis)
Π98Π. Cryptography (Kiayias)

special topics in mathematics

Λ05Δ. Graph Theory ()

half-course

Λ12Β. Advanced topics in graph theory (Thilikos)

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.