mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Courses » 2014-2015 » 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 2014-2015, 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 (computer science logic)

Π14Α. Theory of linear programming (Kolliopoulos)

special topics in computer science

Π02Γ. Cryptography and complexity (Pagourtzis)
Π02Ε. Computational algebra (Emiris, Konaxis)
Π03Γ. Type systems for programming languages (Papaspyrou)
Π98Π. Cryptography (Kiayias)

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.