This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Courses » 2012-2013 » εαρινό εξάμηνο » Λ14. Εισαγωγή στο λ-λογισμό (2012-2013, εαρινό εξάμηνο)

Εισαγωγή στο λ-λογισμό: 2012-2013, εαρινό εξάμηνο

This is a course that has been given 12 times. For information about this course in general (not just for this specific semester), visit its page: Λ14. Εισαγωγή στο λ-λογισμό.

Taught by: Γεώργιος Κολέτσος & Γιώργος Σταυρινός
Start date: 05 Μαρτίου 2013
End date:
Website: http://www.math.ntua.gr/logic/proof-theory/lcalc.htm

Teaching hours

  • every Τρίτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.) (Κολέτσος)
  • every Πέμπτη, 15:15-17:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.) (Κολέτσος)

Enrolled students

Exams

Diary

Τρίτη, 05 Μάρ 2013 Κολέτσος

Πέμπτη, 07 Μάρ 2013 Κολέτσος

Τρίτη, 12 Μάρ 2013 Κολέτσος

Πέμπτη, 14 Μάρ 2013 Κολέτσος

Τρίτη, 19 Μάρ 2013 Κολέτσος

Πέμπτη, 21 Μάρ 2013 Κολέτσος

Τρίτη, 26 Μάρ 2013 Κολέτσος

Πέμπτη, 28 Μάρ 2013 Κολέτσος

Τρίτη, 02 Απρ 2013 Κολέτσος

Πέμπτη, 04 Απρ 2013 Κολέτσος

Τρίτη, 09 Απρ 2013 Κολέτσος

Πέμπτη, 11 Απρ 2013 Κολέτσος

Τρίτη, 16 Απρ 2013 Κολέτσος

Πέμπτη, 18 Απρ 2013 Κολέτσος

Τρίτη, 23 Απρ 2013 Κολέτσος

Πέμπτη, 25 Απρ 2013 Κολέτσος

Τρίτη, 14 Μάι 2013 Κολέτσος

Πέμπτη, 16 Μάι 2013 Κολέτσος

Τρίτη, 21 Μάι 2013 Κολέτσος

Πέμπτη, 23 Μάι 2013 Κολέτσος

Τρίτη, 28 Μάι 2013 Κολέτσος

Πέμπτη, 30 Μάι 2013 Κολέτσος

Τρίτη, 04 Ιούν 2013 Κολέτσος

Πέμπτη, 06 Ιούν 2013 Κολέτσος

Τρίτη, 11 Ιούν 2013 Κολέτσος

Πέμπτη, 13 Ιούν 2013 Κολέτσος

Τρίτη, 18 Ιούν 2013 Κολέτσος

Πέμπτη, 20 Ιούν 2013 Κολέτσος

Τρίτη, 25 Ιούν 2013 Κολέτσος

Πέμπτη, 27 Ιούν 2013 Κολέτσος

Comments

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.