Θεωρία Υπολογισμού [open] (321-6701)
Units
Αναγωγή και πληρότητα
Παρουσίαση και χρήση της τεχνικής της Αναγωγής και εφαρμογή της σε αποδείξεις πληρότητας.
| ||
| Μη αποφασίσιμες γλώσσες | ||
ΔΙΑΛΕΞΕΙΣ (VIDEO) | ||
| Ενότητα 8 - Αναγωγή και Πληρότητα (Μέρος α') Αναγωγή και Πληρότητα (Μέρος α') |
||
| Ενότητα 8 - Αναγωγή και Πληρότητα (Μέρος β') Αναγωγή και Πληρότητα (Μέρος β') |
||
| Ενότητα 8 - Αναγωγή και Πληρότητα (Μέρος γ') Αναγωγή και Πληρότητα (Μέρος γ') |
||
ΑΣΚΗΣΕΙΣ ΑΥΤΟΑΞΙΟΛΟΓΗΣΗΣ | ||
| Άσκηση αυτοαξιολόγησης - Ενότητα 8η (Αναγωγή και πληρότητα) | ||
