απο δώ κι απο κεί
υπολογισιμότητα, σημασιολογία, λογική, πληροφορική
MathJax
Εμφάνιση αναρτήσεων με ετικέτα
εργαστήριο
.
Εμφάνιση όλων των αναρτήσεων
Εμφάνιση αναρτήσεων με ετικέτα
εργαστήριο
.
Εμφάνιση όλων των αναρτήσεων
Παρασκευή 7 Αυγούστου 2015
Συναρτησιακά υποψιασμένα με τις προσεγγίσεις
Καταρχήν, θυμήσου
αυτό το ωραίο πόστ
του Μπάουερ. \(\newcommand{\ite}{\mathrm{if}}\newcommand{\Con}{\mathrm{Con}}\newcommand{\Tok}{\mathrm{Tok}}\)
... ⇲
Παλαιότερες αναρτήσεις
Αρχική σελίδα
Εγγραφή σε:
Αναρτήσεις (Atom)