Welcome to Computation and Reasoning Laboratory's Study Group Page!
Το Study Group του Εργαστηρίου Λογικής και Επιστήμης Υπολογισμών
ξεκίνησε!
Συνάντηση στο Νέο CoReLab (Παλαιά Κτίρια Ηλεκτρολόγων, Αίθουσα 1.1.3)
Δουλεύουμε σε 2 subgroups:
Logic
(Στοιχειώδεις έννοιες, SO Logic, Non-standard analysis, Modal Logic etc*..)
Βιβλιογραφία:
- [L1] H. B. Enderton, A Mathematical Introduction to Logic, 2nd Edition, Harcourt Academic Press
- [L2] A. Tarski, Undecidable Theories, North Holland publishing Company, Amsterdam
- [L3] B.F. Chellas, Modal Logic, Cambridge University Press, 1980
- [L4] Blackburn, Rijke, Venema, Modal Logic, Cambridge University Press, 2001
- [L5] Chagrov, Zakharyaschev, Modal Logic, Oxford University Press, 1997
Graph Theory & The Probabilistic Method
(Case Studies of Probabilistic Method applications in Graph Theory, Combinatorics, Number/Set Theory, Expander Graphs, etc*...)
Βιβλιογραφία:
- [G1] R. Diestel, Graph Theory, Springer, 4th Electronic Edition, 2010
- [G2] N. Alon & J.H. Spencer, The Probabilistic Method, John Wiley & Sons, Inc., 2008
- [G3] S. Hoory, N. Linial, and A. Wigderson, Expander Graphs and their application, Bulletin of the American Mathematical Society, 43 (2006) 439--561 (pdf)
*Η θεματολογία εξαρτάται κυρίως από τους συμμετέχοντες.
Τελευταία Ανανέωση: 11/2/2012