Διακριτά Μαθηματικά (CEID_NNY101 (NY109))

Ενότητες

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