mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2013-2014 » χειμερινό εξάμηνο » Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων (2013-2014, χειμερινό εξάμηνο)

Εφηρμοσμένη Θεωρία Αποδείξεων: 2013-2014, χειμερινό εξάμηνο

For information about this course in general (not just for this specific semester), visit its page: Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων.

Το μάθημα αυτό αποτελεί μια εισαγωγή στις βασικές έννοιες και μεθόδους της ερμηνευτικής θεωρίας αποδείξεων και στην χρήση τους στην απόπλεξη αποδείξεων (unwinding of proofs), ήτοι στην εξαγωγή κατασκευαστικής πληροφορίας από (ενδεχομένως μη κατασκευαστικές) μαθηματικές αποδείξεις. Η απόπλεξη αποδείξεων, η οποία έχει την αφετηρία της στη δουλειά τού G. Kreisel κατά τη δεκαετία τού '50, έχει εφαρμογές τόσο στα μαθηματικά, όπως ο υπολογισμός άνω φραγμάτων και η εκτίμηση της λογικής πολυπλοκότητας αποδείξεων, όσο και στην θεωρία τού υπολογισμού, όπως η σύνθεση αριθμητικών αλγορίθμων και ο προγραμματισμός με αποδείξεις.

Taught by: Γεώργιος Κολέτσος & Nikolaos Rigas
Start date: 14 Ιανουαρίου 2014
End date:

Teaching hours

  • every Τρίτη, 16:00-18:00, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.)
  • every Παρασκευή, 12:30-14:30, 101, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.)

Enrolled students

Diary

Τρίτη, 14 Ιαν 2014 -

Τρίτη, 21 Ιαν 2014 -

Τρίτη, 28 Ιαν 2014 -

Τρίτη, 04 Φεβ 2014 -

Παρασκευή, 07 Φεβ 2014 -

Τρίτη, 11 Φεβ 2014 -

Παρασκευή, 14 Φεβ 2014 -

Τρίτη, 18 Φεβ 2014 -

Παρασκευή, 21 Φεβ 2014 -

Τρίτη, 25 Φεβ 2014 -

Παρασκευή, 28 Φεβ 2014 -

Τρίτη, 04 Μάρ 2014 -

Παρασκευή, 07 Μάρ 2014 -

Τρίτη, 11 Μάρ 2014 -

Παρασκευή, 14 Μάρ 2014 -

Τρίτη, 18 Μάρ 2014 -

Παρασκευή, 21 Μάρ 2014 -

Παρασκευή, 28 Μάρ 2014 -

Τρίτη, 01 Απρ 2014 -

Παρασκευή, 04 Απρ 2014 -

Τρίτη, 08 Απρ 2014 -

Παρασκευή, 11 Απρ 2014 -

Τρίτη, 15 Απρ 2014 -

Comments

You must be logged in to comment.

Reporter

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