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

Ύλη:

1. Ασκήσεις σε προτασιακό λογισμό (διαφάνειες 42-44 Προτασιακού Λογισμού)
2. ΚΑτηγορηματικός Λογισμός - Εισαγωγή
3. Ποσοδείκτες

Rosen: σελ. 36-42

Υλικό:

Διαφάνειες (σελ. 41-48 - οι σελίδες 48-... είναι εκτός ύλης)

Διαφάνειες (σελ. 1-10)

Ασκήσεις σε Προτασιακό Λογισμό

Η ύλη όσον αφορά τον κατηγορηματικό λογισμό περιέχεται και στην εξής διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21: 1