Ανακοινώσεις

To Logic Study Group θα γίνεται κάθε Τετάρτη 1:00-3:00.

Το Probabilistic Method/Graphs Study Group θα γίνεται κάθε Τετάρτη 3:00-5:00.


















Links

CoReLab

N.T.U.A.

Logic Around
the World







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*..)

Βιβλιογραφία:




Graph Theory & The Probabilistic Method

(Case Studies of Probabilistic Method applications in Graph Theory, Combinatorics, Number/Set Theory, Expander Graphs, etc*...)

Βιβλιογραφία:



*Η θεματολογία εξαρτάται κυρίως από τους συμμετέχοντες.

Τελευταία Ανανέωση: 11/2/2012