Παραπομπές

Ιστολόγια

• Αντρέι Μπάουερ (αγγλ.): κατασκευαστικά μαθηματικά, υπολογισιμότητα, σημασιολογία, θεωρία τύπων
• Ρόμπερτ Χάρπερ (αγγλ.): θεωρία προγραμματισμού, σημασιολογία, θεωρία τύπων
• Πάουλο Ολίβα (αγγλ.): θεωρία αποδείξεων
• Σκότ Άρονσον (αγγλ.): κβαντική πολυπλοκότητα, κοινωνικοπολιτικός ακτιβισμός
• Πίτερ Σμίθ (αγγλ.): μαθηματική λογική υποψιασμένη απο φιλοσοφία
• Δημήτρης Χριστοφίδης (ελλ.): διακριτά μαθηματικά, συνδυαστική
• Τίμοθι Γκάουερς (αγγλ.): ανάλυση, συνδυαστική, μαθηματικός ακτιβισμός, διδακτική πανεπιστημιακού επιπέδου, ανταποκρίσεις, τα πάντα
• Τέρι Τάο (αγγλ.): ανάλυση, θεωρία αριθμών, τα πάντα
• Μπέν Όρλιν (αγγλ.): διδακτική σχολικού επιπέδου

Φόρουμ

• Μάθ όβερφλοου (αγγλ.): ερωταπαντήσεις ερευνητικού επιπέδου στα μαθηματικά
• Στάκ εξτσέιντζ στη θεωρητική πληροφορική (αγγλ.): ερωταπαντήσεις ερευνητικού επιπέδου στην πληροφορική
• Στάκ εξτσέιντζ στα μαθηματικά (αγγλ.): ερωταπαντήσεις γενικού επιπέδου στα μαθηματικά
• Στάκ εξτσέιντζ στην πληροφορική (αγγλ.): ερωταπαντήσεις γενικού επιπέδου στην πληροφορική
• Μαθεμάτικα τζι άρ (ελλ.): συζητήσεις επιπέδου προγράμματος σπουδών στα μαθηματικά, με έμφαση στην επίλυση ασκήσεων

Ελληνική βιβλιογραφία

• Διονύσιος Α. Αναπολιτάνος (επιμ.), «Στιγμές και διάρκειες», Νεφέλη, 2009
• Γ. Κολέτσος, «Λογική και πληροφορική ή αποδείξεις και προγράμματα», στο «Στιγμές και διάρκειες», Νεφέλη, 2009
• Μπρανισλάβ Μπόριτσιτς, «Λογική και απόδειξη», Ζήτη, 1995
• Ζίλ Ντοβέκ, «Οι μεταμορφώσεις του λογισμού», μτφ. Τ. Μιχαηλίδης, Εκκρεμές, 2012
• Θανάσης Τζουβάρας, «Στοιχεία μαθηματικής λογικής», Ζήτη, 1998
• Χρυσάφης Χαρτώνας, «Θεμελίωση και σημασιολογία γλωσσών προγραμματισμού», Ζήτη, 2000
• Χρυσάφης Χαρτώνας, «Βασική λογική», Ζήτη, 2000
• Χρυσάφης Χαρτώνας, «Βασική θεωρία υπολογισιμότητας», Ζήτη, 2001