mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

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

{ prev, contents, next }

Navigator

Fortune cookie

“The membership relation for sets can often be replaced by the composition operation for functions. This leads to an alternative foundation for Mathematics upon categories specifically, on the category of all functions. Now much of Mathematics is dynamic, in that it deals with morphisms of an object into another object of the same kind. Such morphisms (like functions) form categories, and so the approach via categories fits well with the objective of organizing and understanding Mathematics. That, in truth, should be the goal of a proper philosophy of Mathematics.”

Saunders Mac Lane.

Courses for 2012-2013, spring semester

fall semester spring semester

required

Λ1. Mathematical logic (Kirousis)

elective required

Μ6. Set theory (Tsarpalias)

elective (logic)

Λ14. Introduction to λ-calculus (Koletsos, Stavrinos)
Λ13Ο. Approximation algorithms and mechanisms design (Fotakis, Zachos)

Special Topics in Logic

Λ13Ξ. Intuitionistic logic and constructive mathematics (Vafeiadou)

special topics in computer science

Λ07Ν. Parameterized complexity and algorithms ()
Π02Δ. Computational geometry (Emiris)
Π03Β. Semantics of programming languages (Rondogiannis)
Π03Δ. Algorithms in molecular biology (Chrysina, Emiris)
Π03Ε. Network algorithms and complexity (Pagourtzis)
Π05Β. Computation models and complexity (Zachos)

half-course

Λ13Ν. Matroid theory (Pitsoulis)

reading course

ΜΝ13. First-order Modal Logic (Koutras)
ΜΞ12. Model Theory (Dimitracopoulos)

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.