ΠΛΗ20 Μάθημα 3.4 – Άλλες Ερμηνείες Κατηγορηματικής Λογικής


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

Στο μάθημα αυτό εξασκούμαστε σε ερμηνέιες ΚΛ που είναι εμπνευσμένες από τον πραγματικό κόσμο. Το μάθημα αυτό είναι πολύ χρήσιμο για την τριβή με τα συντακτικά στοιχεία της Κατηγορηματικής Λογικής. 

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

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

1) Ερμηνείες εμπνευσμένες από τον πραγματικό κόσμο
1.1) Σύμπαν με μία κατηγορία δεδομένων
1.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις

Παρουσίαση τουΜαθήματος:


ΒΙΝΤΕΟ ΜΑΘΗΜΑΤΟΣ και ΣΧΟΛΙΑΣΜΟΣ

ΣΥΜΒΟΥΛΕΣ

 catwoman.200  batman.200
ΚατηγορίαΧΔΣχόλιο
Θεωρία Μελέτη των νόμων κατηγορηματικής λογικής και μεθοδολογία εύρεσης της κανονικής ποσοδεικτικής μορφής ενός τύπου
Ερωτήσεις 144Προσοχή σε κάποια λεπτά σημεία των ορισμών.
Εφαρμογή 132Απλές ασκήσεις στην εύρεση της κανονικής ποσοδεικτικής μορφής
Εφαρμογή 234Εφαρμογή με τον νόμο Κατανομής Ποσοδείκτη
Εφαρμογή 334Αναλυτική άσκηση εφαρμογής νόμων
Εφαρμογή 433Αναλυτική άσκηση εφαρμογής νόμων
Εφαρμογή 544Πολύ χρήσιμη άσκηση με λεπτομέρειες εφαρμογής της μεθοδολογίας

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

Αρκετά συναφή ερωτήματα θα βρεθούν στα ερωτήματα κατανόησης 2011-2015

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

Οι εφαρμογές είναι θέματα εργασιών του ΕΑΠ

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