Διακριτά Μαθηματικά (CEID_NNY101 (NY109))
Ενότητες
Προτασιακός/Κατηγορηματικός Λογισμός
- Λογικές Προτάσεις - Τελεστές - Πϊνακες Αληθείας
- Μετάφραση από/προς Φυσική Γλώσσα
- Ποσοτικοποιητές
- Κανόνες Εξαγωγής Συμπερασμάτων