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

Ιστολόγιο

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

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

Ύλη:

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

Hunter (2η Έκδοση): σελ. 81-89

Υλικό:

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

Διαφάνειες σελ. 31-39

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

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

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

Σχόλια (0)