mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2012-2013 » spring semester » Λ14. Introduction to λ-calculus (2012-2013, spring semester) Anonymously browsing from 54.156.67.164 at 16:00:18, 23-09-2017. login

Introduction to λ-calculus: 2012-2013, spring semester

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. Introduction to λ-calculus.

Taught by: Georgios Koletsos & Yiorgos Stavrinos
Start date: March 5, 2013
End date:
Website: http://www.math.ntua.gr/logic/proof-theory/lcalc.htm

Teaching hours

  • every Tuesday, 15:15-17:00, 101, ece, NTUA (new buildings) (Koletsos)
  • every Thursday, 15:15-17:00, 101, ece, NTUA (new buildings) (Koletsos)

Enrolled students

Exams

Diary

Tuesday, 05 Mar 2013 Koletsos

Thursday, 07 Mar 2013 Koletsos

Tuesday, 12 Mar 2013 Koletsos

Thursday, 14 Mar 2013 Koletsos

Tuesday, 19 Mar 2013 Koletsos

Thursday, 21 Mar 2013 Koletsos

Tuesday, 26 Mar 2013 Koletsos

Thursday, 28 Mar 2013 Koletsos

Tuesday, 02 Apr 2013 Koletsos

Thursday, 04 Apr 2013 Koletsos

Tuesday, 09 Apr 2013 Koletsos

Thursday, 11 Apr 2013 Koletsos

Tuesday, 16 Apr 2013 Koletsos

Thursday, 18 Apr 2013 Koletsos

Tuesday, 23 Apr 2013 Koletsos

Thursday, 25 Apr 2013 Koletsos

Tuesday, 14 May 2013 Koletsos

Thursday, 16 May 2013 Koletsos

Tuesday, 21 May 2013 Koletsos

Thursday, 23 May 2013 Koletsos

Tuesday, 28 May 2013 Koletsos

Thursday, 30 May 2013 Koletsos

Tuesday, 04 Jun 2013 Koletsos

Thursday, 06 Jun 2013 Koletsos

Tuesday, 11 Jun 2013 Koletsos

Thursday, 13 Jun 2013 Koletsos

Tuesday, 18 Jun 2013 Koletsos

Thursday, 20 Jun 2013 Koletsos

Tuesday, 25 Jun 2013 Koletsos

Thursday, 27 Jun 2013 Koletsos

Comments

You must be logged in to comment.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.