Σελίδα της ομάδας Μαθηματικής Λογικής
(ΕΜΠ)
Μαθήματα
Μαθηματική Λογική
(προπτυχιακό)
Θεωρία Συνόλων
(προπτυχιακό)
Εφαρμογές τής Λογικής στην Πληροφορική
(προπτυχιακό)
λ-λογισμός
(μεταπτυχιακό)
Συναρτησιακή Ερμηνεία της Αριθμητικής
(μεταπτυχιακό)
Θεωρία Αποδείξεων
(μεταπτυχιακό)
Αποδείξεις και Προγράμματα
(μεταπτυχιακό)
Θεωρία Kατηγοριών
(μεταπτυχιακό)
Συνέδρια
Federated Conference on Rewriting, Deduction, and Programming
(
RDP 2009
)
4th International Workshop on Analytic Proof Systems
(
APS-4
)
3rd Workshop on Logical and Semantic Frameworks, with Applications (
LSFA'08
)
Logic Colloquium 2008 (
LC08
)
Computability in Europe 2008, Logic and Theory of Algorithms (
CiE 2008
)
Types for Proofs and Programs (
TYPES 2008
)
4th Workshop on Intersection Types and Related Systems (
ITRS '08
)
87th Peripatetic Seminar on Sheaves and Logic (
PSSL 87
)
Proof Theory meets Type Theory (
Russell'08
)
Reflections on Type Theory, Lambda Calculus and the Mind (
Henk Barendregt 60
)
6ο Πανελλήνιο Συμπόσιο Λογικής (
PLS6
)
Αλλες ιστοσελίδες
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
, ΕΜΠ
Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών
, ΕΜΠ
Λογική και Θεωρία Αλγορίθμων (ΜΠΛΑ)
Εργαστήριο Λογικής και Επιστήμης Υπολογισμών
, ΕΜΠ
Algorithms and Logic Laboratory
, NTUA
Δ.Π.Μ.Σ.: Εφαρμοσμένες Μαθηματικές Επιστήμες
, ΕΜΠ
Logic and Foundations of Mathematics & Computer Science
Mathematical Logic around the world
Association for Symbolic Logic
Διάφορα
Ελληνική Ορολογία
LaTeX για λογικούς
e-mail:
koletsos
AT
math
DOT
ntua
DOT
gr
,
g
DOT
stavrinos
AT
math
DOT
ntua
DOT
gr
page in english
