ΠΛΗ20 Μάθημα 3.3 – Η Γλώσσα της Θεωρίας Συνόλων


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

Στο μάθημα αυτό:

  • Βλέπουμε μία ακόμη ερμηνεία, που ορίζεται σε σύνολα: το σύμπαν είναι το δυναμοσύνολο ενός συνόλου και τα κατηγορήματα είναι οι σχέσεις υποσυνόλου και γνησίου υποσυνόλου.
  • Εξασκούμαστε περαιτέρω στην μετάφραση από φυσική γλώσσα σε κατηγορηματική λογική και αντίστροφα αυτήν την φορά σε μια νέα ερμηνεία. 

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

Με μια ματιά το μάθημα:

  • ΚΑΡΤΑ: Η Γλώσσα της Θεωρίας Συνόλων


Σχολιασμός (βίντεο)

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

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

1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις

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


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

ΣΥΜΒΟΥΛΕΣ

 catwoman.200  batman.200
ΚατηγορίαΧΔΣχόλιο
Θεωρία 1 από 2Βασικοί Ορισμοί της Γλώσσας Θεωρίας Συνόλων
Θεωρία 2 από 2Εξάσκηση στην μετάφραση από φυσική γλώσσα σε κατηγορηματική λογική και το αντίστροφο.
Ερωτήσεις 123Σημαντικές ασκήσεις γιατί εξοικειώνουν με το γεγονός ότι πρώτα πρέπει να μεταφράσουμε την πρόταση από κατηγορηματική λογική σε φυσική γλώσσα και έπειτα να αποφασίσουμε αν είναι Α/Ψ
Ερωτήσεις 223Ομοίως με προηγούμενο ερώτημα αλλα βάζοντας και στοιχεία συντομογραφιών και κατανόησης των θεωρητικών στοιχείων της κατηγορηματικής λογικής.
Εφαρμογή 134Και μία άσκηση η οποία συνδυάζει όλα τα προηγούμενα στοιχεία για να συνταχθούν προτάσεις ΚΛ που νοηματοδοτούν σημαντικούς ορισμούς (ένωση, τομή κ.λπ).

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

Δεν κρίνεται σκόπιμη περαιτέρω εξάσκηση στο συγκεκριμένο μάθημα. 

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

Η εφαρμογή 1 του συγκεκριμένου μαθήματος είναι θέμα εργασίας του ΕΑΠ.

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