Welcome to Computation and Reasoning Laboratory's Study Group
Page!
Logic Group
Συνάντηση
κάθε Τετάρτη 1:00-3:00 στο Νέο CoReLab
(Παλιά Κτίρια Ηλεκτρολόγων, Αίθουσα 1.1.3)
Πρόγραμμα Ομιλιών
(Ημερολόγιο)
Από το βιβλίο του Chellas, "Modal Logic"
[L3]:
| Chapter | Title | Speaker | Date(s) |
|---|---|---|---|
| 1 | Introduction | Πέτρος Ποτίκας | 15/2/12 |
| 2 | Logical Preliminaries | Πέτρος Ποτίκας | (3 & 10)/5/12 |
| 3 | Standard Models | Ναταλία Κοτσάνη | (10 & 17)/5/12 |
| 4 | Normal Systems | ΤΒΑ | ΤΒΑ |
| 5 | Determination & Decidability for normal systems |
ΤΒΑ | ΤΒΑ |
25/1/2012
- Αριστοτέλης
Παναγιωτόπουλος: H Λογική
της
Γεωμετρίας, "A. Tarski: What is Elementary Geometry"
(Notes, Tarski's
paper)
11/1/2012
- Στάθης Ζάχος: Hierarchies of Complexity Classes
21/12/2011
- Αντώνης Αχιλλέως (C.U.N.Y.): Introduction to Justification Logic
- Αριστοτέλης Παναγιωτόπουλος: Gödel's Incompleteness Theorem
Ενδιαφέροντα θέματα για μελλοντική ενασχόληση του group:
- Modal Logic (επικρατέστερο)
- Undecidable theories (Tarski)
- Tarski vs Gödel
- Craig interpolation
- Davis-Putnam procedure: Elimination of Quantifiers
- Prenex Normal Form
Από το βιβλίο του Enderton
[L1]:
| Chapter | Title | Speaker | Date(s) |
|---|---|---|---|
| 1 | Sentetial Logic | Χάρης
Αγγελιδάκης | |
| 2 | First-Order Logic | Λυδία Ζακυνθινού | |
| 3 | Undecidability | Πέτρος
Ποτίκας | |
| 4 | Second-Order Logic | Άννα Κουτλή |
