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

Ενότητες

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