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

Ιστολόγιο

06 Διάλεξη (26/10/2023): Κατηγορηματικός Λογισμός - Μέθοδοι Απόδειξης

Πέμπτη, 26 Οκτωβρίου 2023 - 2:10 μ.μ.
- από τον χρήστη Τσίχλας Κωνσταντινος

Ύλη:

  1. Κανόνες Εξαγωγής Συμπερασμάτων για Ποσοτικοποιημένες Προτάσεις
  2. Άμεση Απόδειξη
  3. Έμμεση Απόδειξη
  4. Απόδειξη με Αντίφαση

Rosen σελ. 70-72, 75-85

Υλικό:

Διαφάνειες σελ. 30-36

Διαφάνειες σελ. 1-9

Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.

Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.

 3   0
Σχόλια (0)