ΠΛΗ20 Μάθημα 2.3 – Νόμοι Προτασιακής Λογικής

ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ:

1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις

ΣΥΜΒΟΥΛΕΣ


	Κατηγορία	Χ	Δ	Σχόλιο
Θεωρία 1 από 2				Νόμοι Προτασιακής Λογικής και εφαρμογή σε άσκηση μετατροπής συνδέσμων σε προτασιακό τύπο
Θεωρία 2 από 2				Επαγωγή στην Πολυπλοκότητα των Τύπων και βασικά παραδείγματα. Πλήρες Σύνολο Συνδέσμων.
Κατανόηση 1		2	2	Μετατροπή τύπου σε ταυτολογικά ισοδύναμο τύπο που χρησιμοποιεί δεδομένους συνδέσμους.
Κατανόηση 2		2	2	Μετατροπή τύπου σε ταυτολογικά ισοδύναμο τύπο που χρησιμοποιεί δεδομένους συνδέσμους.
Ερωτήσεις 1		3	1	Κατανόηση για το πότε ένα σύνολο συνδέσμων είναι πλήρες.
Εφαρμογή 1		4	5	Πολύ σημαντική άσκηση στην επαγωγή στην πολυπλοκότητα των τύπων που ενσωματώνει τον ορισμό συναρτήσεων και απόδειξη πρότασης επί αυτής.
Εφαρμογή 2		4	3	Επαγωγή στους φυσικούς όταν η πρόταση γίνεται επί μίας παραμέτρου που είναι φυσικός αριθμός (Γενικευμένος Κανόνας De Morgan)
Εφαρμογή 3		4	2	Απόδειξη πληρότητας συνόλου συνδέσμων
Εφαρμογή 4		4	2	Απόδειξη πληρότητας συνόλου συνδέσμων

Στόχοι του Μαθήματος

Σύντομη Παρουσίαση

Αναλυτική Παρουσίαση

Περαιτέρω Εξάσκηση

Πηγές και Διαδίκτυο

Εκτυπώσιμη μορφή αρχείων PDF

Είσοδος Χρήστη:

Δημιουργία Κωδικού:

Ξέχασες τον κωδικό;