Εφηρμοσμένη Θεωρία Αποδείξεων: 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, ΣΗΜΜΥ, ΕΜΠ (νέα κτ.)
Comments