Διακριτά Μαθηματικά (CEID_22Y101)
06 Διάλεξη (21/10/2024): Κατηγορηματικός Λογισμός - Μέθοδοι Απόδειξης
Πέμπτη, 26 Οκτωβρίου 2023 - 2:10 μ.μ.
- από τον χρήστη Τσίχλας ΚωνσταντινοςΎλη:
- Κανόνες Εξαγωγής Συμπερασμάτων για Ποσοτικοποιημένες Προτάσεις
- Άμεση Απόδειξη
- Έμμεση Απόδειξη
- Απόδειξη με Αντίφαση
Hunter (2η Έκδοση): σελ. 81-89
Υλικό:
Ασκήσεις σε Κατηγορηματικό Λογισμό
Διαφάνειες σελ. 31-39
Διαφάνειες σελ. 1-10
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.
Σχόλια (0)