PDA

Επιστροφή στο Forum : ΔΠΜΣ Λογική και Θεωρία Αλγορίθμων και Υπολογισμού



  1. Ανακοινώσεις που αφορούν το μεταπτυχιακό - Όχι ερωτήσεις
  2. Γενικές απορίες και σχόλια σχετικά με το μεταπτυχιακό
  3. Αλγόριθμοι και Πολυπλοκότητα Ι
  4. Αλγόριθμοι και Πολυπλοκότητα ΙΙ
  5. Θεωρία παιγνίων
  6. Συστήματα Τύπων των Γλωσσών Προγραμματισμού
  7. Υπολογισιμότητα
  8. Θεωρία Αποδείξεων
  9. Σημασιολογία των Γλωσσών Προγραμματισμού
  10. Μαθηματικά και κρυπτογραφία
  11. Θεωρία Συνόλων
  12. Μαθηματική Λογική
  13. Δομική Πολυπλοκότητα
  14. Aλγόριθμοι Δικτύων: Κατανεμημένοι, Πιθανοτικοί, Προσεγγιστικοί
  15. Εισαγωγή στο λ-λογισμό