ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου
|
|
- Κύμα Ζαχαρίου
- 5 χρόνια πριν
- Προβολές:
Transcript
1 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων (Προτασιακός Λογισμός) Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου Σημείωση: Όλες οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα] Αποδείξτε ότι η πρόταση (p q) (q p) είναι ταυτολογία (α) χρησιμοποιώντας πίνακες αλήθειας (β) χωρίς πίνακες αλήθειας (α) p q p q p q q p (p q) (q p) T T F F T T T T F F T F T T F T T F T F T F F T T T T T (β) (p q) (q p) (ορισμός του αν...τότε) ( p q) ( q p) (προσεταιριστική ιδιότητα) ( p q q p) (αντιμεταθετική ιδιότητα) ( p p) ( q q) (ταυτολογία) T T T Άσκηση 1.2 [2 μονάδες] Χρησιμοποιείστε τους νόμους ισοδυναμίας να απλοποιήσετε τις παρακάτω παραστάσεις αναφέροντας ποιούς νόμους χρησιμοποιείτε σε κάθε βήμα: a. (p q) (r p) ( q r p) b. (p q) (p q) ( p q) c. (p q) q d. (p q r) (p q r) e. (p q) ( p q) q a. (p q) (r p) ( q r p) (επιμεριστική ιδιότητα) (p (q r)) ( q r p) (De Morgan) (p (q r)) ( (q r) p) (αντιμεταθετική και επιμεριστική ιδιότητα)
2 p [(q r) (q r)] (αντίφαση) p F (ουδέτερο στοιχείο) p b. (p q) (p q) ( p q) (επιμεριστική ιδιότητα) p (q q) ( p q) (ταυτολογία) ( p T) ( p q) (ουδέτερο στοιχείο) p ( p q) (επιμεριστική ιδιότητα) ( p p) (p q) (ταυτολογία) Τ (p q) (ουδέτερο στοιχείο) p q c. (p q) q (επιμεριστική ιδιότητα) (p q) ( q q) (ταυτολογία) (p q) T (ουδέτερο στοιχείο) p q d. (p q r) (p q r) (επιμεριστική ιδιότητα) [(p q) (r r)] (ταυτολογία) [(p q) T ] (ουδέτερο στοιχείο) p q e. (p q) ( p q) q (επιμεριστική ιδιότητα) [(p p) q] q (ταυτολογία) ( T q) q (ουδέτερο στοιχείο) q q F (αντίφαση) Άσκηση 1.3 [1.5 μονάδα] Γράψτε σε φυσική γλώσσα την αντίστροφη, την αντιθετική και την αντιστροφοαντίθετη των παρακάτω προτάσεων: 1. Όποτε είμαι σε διακοπές κολυμπώ κάθε μέρα 2. Αν αργήσει το λεωφορείο θα χάσω το μάθημα 3. Αν δεν σπάσεις αυγά δεν κάνεις ομελέτα 4. Αν ένας ακέραιος τελειώνει σε 0 τότε διαιρείται ακριβώς με το 5 Υπόδειξη: Βοηθά πολύ να μετατρέψετε πρώτα τις φράσεις σε προτασιακό λογισμό με τη βοήθεια απλών ατομικών προτάσεων (π.χ. p: Είμαι σε διακοπές ) 1. Αν κολυμπώ κάθε μέρα είμαι σε διακοπές Αν δεν είμαι σε διακοπές δεν κολυμπώ κάθε μέρα
3 Αν δεν κολυμπώ κάθε μέρα δεν είμαι σε διακοπές 2. Αν χάσω το μάθημα θα αργήσει το λεωφορείο ( όποτε χάνω το μάθημα αργεί το λεωφορείο) Αν δεν αργήσει το λεωφορείο δεν θα χάσω το μάθημα Αν δεν χάσω το μάθημα δεν θα αργήσει το λεωφορείο 3. Αν δεν κάνεις ομελέτα δεν σπας αυγά Αν σπάσεις αυγά κάνεις ομελέτα Αν κάνεις ομελέτα τότε σπας αυγά ( όποτε κάνεις ομελέτα σπας αυγά) 4. Αν ένας ακέραιος διαιρείται ακριβώς με το 5 τελειώνει σε 0 Αν ένας ακέραιος δεν τελειώνει σε 0 δεν διαιρείται με το 5 Αν ένας ακέραιος δεν διαιρείται με το 5 δεν τελειώνει σε 0 Άσκηση 1.4 [2 μονάδες] Έστω p: Μου αρέσει το διάβασμα και q: Διαβάζω πολλά βιβλία Α. Με τη βοήθεια των ατομικών προτάσεων p και q μεταφέρετε τις παρακάτω εκφράσεις της ελληνικής γλώσσας σε προτασιακό λογισμό: Β. Στη συνέχεια γράψτε τις αρνήσεις αυτών των προτάσεων στην απλούστερη δυνατή μορφή εφαρμόζοντας τους νόμους ισοδυναμίας και μεταφέρετε τις στα ελληνικά με όσο πιο φυσικό τρόπο μπορείτε a. Ούτε μου αρέσει το διάβασμα ούτε διαβάζω πολλά βιβλία b. Μου αρέσει το διάβασμα κι αυτό αρκεί για να διαβάζω πολλά βιβλία c. Διαβάζω πολλά βιβλία μόνο αν μου αρέσει το διάβασμα d. Δεν μου αρέσει το διάβασμα αλλά διαβάζω πολλά βιβλία e. Αν και δεν διαβάζω πολλά βιβλία μου αρέσει το διάβασμα Α. B. a. p q b. p q c. q p d. p q e. q p
4 a. ( p q) (p q) Είτε μου αρέσει το διάβασμα είτε διαβάζω πολλά βιβλία b. (p q) ( p q) p q Μου αρέσει το διάβασμα αλλά δεν διαβάζω πολλά βιβλία c. (q p) ( q p) q p Διαβάζω πολλά βιβλία αλλά δεν μου αρέσει το διάβασμα d. ( p q) (p q) q p Διαβάζω πολλά βιβλία άρα μου αρέσει το διάβασμα e. ( q p) q p p q Μου αρέσει το διάβασμα άρα διαβάζω πολλά βιβλία Παρατήρηση: Δείτε ότι τα ζεύγη των προτάσεων (b, e) και (c,d) αποτελούν η μια την άρνηση της άλλης. Οι τρόποι να τις μεταφέρουμε σε καθημερινή γλώσσα είναι πολλοί Άσκηση 1.5 [1.5 μονάδα] Ο Μάνος παίζει σε ένα τηλεπαιχνίδι και έχει μπροστά του δύο κουτιά για να επιλέξει, το Α και το Β. Τα κουτιά έχουν επιγραφές πάνω τους και ο Μάνος γνωρίζει ότι είτε και οι δύο επιγραφές είναι σωστές, είτε και οι δύο λανθασμένες. Το κουτί Α γράφει Τουλάχιστον ένα κουτί θα σου διπλασιάσει τα χρήματά σου. Το κουτί Β γράφει Το κουτί Α θα σε κάνει να τα χάσεις όλα. Μπορεί να είναι σίγουρος ποιο κουτί πρεπει να διαλέξει για να κερδίσει το παιχνίδι; Έστω οι ατομικές προτάσεις: a: Με το κουτί Α κερδίζει και b: Με το κουτί Β κερδίζει Η επιγραφή στο κουτί Α λέει ότι: a b ενώ η επιγραφή στο κουτί Β λέει ότι: a Δημιουργούμε τον πίνακα αλήθειας a b a b a F F F T F T T T T F T F T T T F Το γεγονός ότι ξέρουμε ότι είτε και οι δύο επιγραφές είναι αληθείς είτε και οι δύο ψευδείς, σημαίνει ότι οι επιγραφές έχουν την ίδια τιμή αληθείας: (a b) a Η μόνη περίπτωση στην οποία η παραπάνω πρόταση είναι αληθής είναι όταν b=t και a=f. Επομένως η σωστή επιλογή είναι το κουτί Β.
5 Άσκηση 1.6 [2 μονάδες] Σε ένα νησί ζουν δύο φυλές. Η άνθρωποι της φυλής Φ1 λένε πάντα αλήθεια και αυτοί της φυλής Φ2 λένε πάντα ψέματα. Το νησί καμιά φορά επισκέπτονται και τουρίστες (Τ) που άλλοτε λένε αλήθεια και άλλοτε ψέματα α. Συναντάμε δύο ιθαγενείς, τον Αντώνη και το Βασίλη. Ο Αντώνης λέει: ανήκουμε και οι δύο στη φυλή Φ2. Σε ποια φυλή ανήκουν; (Υπόδειξη: Εφόσον είναι ιθαγενείς, δεν είναι τουρίστες) β. Συναντάμε το Γιάννη και το Γιώργο και τους ρωτάμε σε ποια φυλή ανήκουν Ο Γιάννης λέει ότι ανήκει στη Φ1 και ο Γιώργος λέει ότι ανήκει στη Φ2. Σε ποια φυλή ανήκουν πραγματικά? α. Δεν μπορεί να ισχύει το επιχείρημα του Αντώνη (γιατί;). Άρα λέει ψέματα, συνεπώς ανήκει στην Φ2. Η πρότασή του λοιπόν είναι ψευδής άρα ο Βασίλης ανήκει στη Φ1 Β. Δεν μπορούμε να απαντήσουμε για το Γιάννη. Όλοι πάνω στο νησί θα μπορούσαν να πούν ότι ανήκουν στη Φ1 Ο Γιώργος δεν μπορεί να ανήκει στη Φ2. Δεν θα μπορούσε να λέει την αλήθεια. Δεν μπορεί να ανήκει ούτε στη Φ1: Δεν θα έλεγε ψέματα. Άρα ο Γιώργος είναι τουρίστας (Τ)
ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]
Διαβάστε περισσότεραΦροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 19/2/2016. Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις.
Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 19/2/2016 Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. (a) ( p ( p )) ( r) (b) ( p ( r)) (( p ) r) (c) ( p r) ( r) Λύση Άσκησης
Διαβάστε περισσότεραΦροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 13/2/2018. Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις.
Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 13/2/2018 Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. ( p ( p )) ( r) ( p ( r)) (( p ) r) ( p r) ( r) (a) p r p p ( p )
Διαβάστε περισσότεραΦροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 14/2/2017. q r ( q r) p q ( p q)
Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 14/2/2017 Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. ( p ( p )) ( r) ( p ( r)) (( p ) r) ( p r) ( r) (a) p r p p ( p )
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/18/2016
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΦροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 15/2/2019. Άσκηση Φ1.1 (*) Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις.
Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 15/2/2019 Άσκηση Φ1.1 (*) Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. ( p ( p q)) ( q r) ( p ( q r)) (( p q) r) ( p r) ( q r) (a) p
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 10/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen Τι
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Προτασιακός Λογισµός (συνέχεια...) Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 1 η Σειρά Ασκήσεων Λύσεις Άσκηση 1.1 [1 μονάδα] Αποδείξτε ότι η πρόταση ((p q) p) q είναι ταυτολογία (α) χρησιμοποιώντας πίνακες αλήθειας (β) χωρίς πίνακες
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις (Μαθηματική)
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Μαθηματικές Προτάσεις Στοιχεία Προτασιακής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ
ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):
Διαβάστε περισσότεραΠροτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)
Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότεραx < y ή x = y ή y < x.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen Προηγούμενη
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 08-Feb-18
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΛογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή
Διαβάστε περισσότεραΕπαναληπτικές Ασκήσεις στα Σύνολα
Επαναληπτικές Ασκήσεις στα Σύνολα ) Εξετάστε αν η παρακάτω πρόταση είναι αληθής για οποιαδήποτε σύνολα Α,Β,C. Δικαιολογήστε την απάντηση σας Αν A B και B C, τότε Α C έστω Β {α,β,γ}, αφού Α B τότε ένα παράδειγμα
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2018 Κρεατσούλας
Διαβάστε περισσότεραΠρόταση. Αληθείς Προτάσεις
Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο
Διαβάστε περισσότεραΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α 1. (2.5 μονάδες) Ο κ. Ζούπας παρέλαβε μία μυστηριώδη τσάντα από το ταχυδρομείο. Όταν
Διαβάστε περισσότεραAsk seic Majhmatik c Logik c 2
Ask seic Majhmatik c Logik c 2 1. Να δειχτεί με πίνακες αλήθειας ότι οι παρακάτω προτάσεις είναι λογικά ισοδύναμες. (αʹ) (A B) και A B. (βʹ) A (B C) και (A B) (A C). (γʹ) A B και B A. (δʹ) A B και B A.
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες.
ΑΣΚΗΣΕΙΣ 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. α) A B/A Α Β ΑΛΒ Α α α α α α ψ ψ α ψ α ψ ψ ψ ψ ψ ψ Όπως βλέπουμε, αν η πρόταση A B είναι αληθής, τότε σε
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότεραα Α και α Β, β Α και β Β, γ Α και γ Β, δ Α και δ Β, ε Α και ε Β, ζ Β και ζ Β, η Α και η Β, θ Α και θ Β.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΑΚΑΔΗΜΑΪΚΟ ΕΤΟΣ 2017-2018 Χειμερινό Εξάμηνο Ρόδος, Νοέμβριος 2017 ΕΡΓΑΣΤΗΡΙΟ ΜΑΘΗΜΑΤΙΚΩΝ, ΔΙΔΑΚΤΙΚΗΣ και ΠΟΛΥΜΕΣΩΝ Μάθημα: ΥΓ00003 "ΕΙΣΑΓΩΓΗ
Διαβάστε περισσότερα1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
MYY204 Διακριτά Μαθηματικά Μθ άii Προτασιακή Λογική ιδακτικές Σημειώσεις EPP : Παράγραφοι 1.1 1.2 Rosen: Παράγραφοι 1.1 1.3 1 η +2 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2016
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 7 η Σειρά Ασκήσεων - λύσεις Άσκηση 7.1 [1 μονάδα] Ένα ζευγάρι έχει δύο παιδιά. Θεωρούμε ότι είναι το ίδιο πιθανό να γεννηθεί αγόρι ή κορίτσι. a. Ποια είναι
Διαβάστε περισσότεραm + s + q r + n + q p + s + n, P Q R P Q P R Q R F G
Λύσεις Θεμάτων Θεμελίων των Μαθηματικών 1. Εστω A, B, C τυχόντα σύνολα. Να δειχθεί ότι A (B C) (A B) (A C). Απόδειξη. Εστω x τυχαίο στοιχείο του A (B C). Εξ ορισμού, το x ανήκει σε ακριβώς ένα από τα A,
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σκοπεύετε να διοργανώσετε ένα πάρτι για τους συμφοιτητές σας κάτω από τους πιο κάτω περιορισμούς. Π1. Η Μαίρη δεν μπορεί να έρθει. Π2. Ο Ηλίας και η Αντιγόνη είτε θα
Διαβάστε περισσότεραΛύσεις 1 ης Σειράς Ασκήσεων
Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 Έστω οι ατομικές προτάσεις A 1 = H Αντιγόνη κέρδισε τον αγώνα, A 3 = H Αντιγόνη πήρε την τρίτη θέση, Β 2 = Ο Βίκτορας πήρε την δεύτερη θέση, Γ 3 = Ο Γιάννης πήρε την
Διαβάστε περισσότεραΕΡΓΑΣΊΑ ΠΡΟΌΔΟΥ #1 ΕΡΓΑΣΤΗΡΙΟ ΜΑΘΗΜΑΤΙΚΩΝ, ΔΙΔΑΚΤΙΚΗΣ. και ΠΟΛΥΜΕΣΩΝ. "ΕΙΣΑΓΩΓΗ στις ΒΑΣΕΙΣ και στις ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ των ΜΑΘΗΜΑΤΙΚΩΝ Ι"
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΑΚΑΔΗΜΑΪΚΟ ΕΤΟΣ 2014-2015 Χειμερινό Εξάμηνο Ρόδος, Σεπτέμβριος 2014 ΕΡΓΑΣΤΗΡΙΟ ΜΑΘΗΜΑΤΙΚΩΝ, ΔΙΔΑΚΤΙΚΗΣ και ΠΟΛΥΜΕΣΩΝ Μάθημ α: ΥΓ0000 3 "ΕΙΣΑΓΩΓΗ
Διαβάστε περισσότεραp p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q
Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων
Διαβάστε περισσότεραΠροτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος
Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ Κ. Δεμέστιχας Εργαστήριο Πληροφορικής Γεωπονικό Πανεπιστήμιο Αθηνών Επικοινωνία μέσω e-mail: cdemest@aua.gr, cdemest@cn.ntua.gr 1 4. ΑΛΓΕΒΡΑ BOOLE ΛΟΓΙΚΗ ΣΧΕΔΙΑΣΗ ΜΕΡΟΣ Α 2 Άλγεβρα
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 3/3/2016 Κατερίνα Δημητράκη
Διαβάστε περισσότεραβ) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1
Κεφάλαιο 2: Στοιχεία Λογικής - Μέθοδοι Απόδειξης 1. Να αποδειχθεί ότι οι λογικοί τύποι: (p ( (( p) q))) (p q) και p είναι λογικά ισοδύναμοι. Θέλουμε να αποδείξουμε ότι: (p ( (( p) q))) (p q) p, ή με άλλα
Διαβάστε περισσότεραΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής
ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ Βασικά Στοιχεία Λογικής 2 Η Πριγκίπισσα και το Κάστρο Αν ρώταγα ένα μέλος της φυλής που δεν ανήκεις για το ποιον δρόμο πρέπει να πάρω για το κάστρο τι θα μου έλεγε; Μία πριγκίπισσα
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2017 Οργάνωση Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες Συνεπαγωγή Αποδείξεις
Διαβάστε περισσότερα, για κάθε n N. και P είναι αριθμήσιμα.
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2018 Οργάνωση και περιεχόμενα Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 9: Εσωτερική πράξη και κλάσεις ισοδυναμίας - Δομές Ισομορφισμοί Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΑ.2.1 Η ΕΝΝΟΙΑ ΤΟΥ ΚΛΑΣΜΑΤΟΣ
ΚΕΦΑΛΑΙΟ Ο ΚΛΑΣΜΑΤΑ Α.. Η ΕΝΝΟΙΑ ΤΟΥ ΚΛΑΣΜΑΤΟΣ ΜΕΘΟΔΟΛΟΓΙΑ ΣΥΓΚΡΙΣΗ ΚΛΑΣΜΑΤΟΣ ΜΕ ΤΟ Αν ο αριθμητής ενός κλάσματος είναι μεγαλύτερος από τον παρανομαστή, τότε το κλάσμα είναι μεγαλύτερο από το. Αν ο αριθμητής
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότερατα βιβλία των επιτυχιών
Τα βιβλία των Εκδόσεων Πουκαμισάς συμπυκνώνουν την πολύχρονη διδακτική εμπειρία των συγγραφέων μας και αποτελούν το βασικό εκπαιδευτικό υλικό που χρησιμοποιούν οι μαθητές των φροντιστηρίων μας. Μέσα από
Διαβάστε περισσότεραιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου
ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου Εαρινό Εξάµηνο 2009 Κάτια Παπακωνσταντινοπούλου 1. Εστω A ένα µη κενό σύνολο. Να δείξετε ότι η αλγεβρική δοµή (P(A), ) είναι αβελιανή οµάδα. 2. Εστω ένα ξενοδοχείο
Διαβάστε περισσότεραΜαθηματική Λογική και Απόδειξη
Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΕκπαιδευτικός Οµιλος ΒΙΤΑΛΗ
Λογική και Προτασιακός Λογισµός ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 16 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύντοµη εισαγωγή στην Λογική
Διαβάστε περισσότεραΠΑΡΑΔΟΣΙΑΚΑ ΟΜΑΔΙΚΑ ΠΑΙΧΝΙΔΙΑ
ΠΑΡΑΔΟΣΙΑΚΑ ΟΜΑΔΙΚΑ ΠΑΙΧΝΙΔΙΑ 11ο ΔΗΜΟΤΙΚΟ ΣΧΟΛΕΙΟ ΑΡΓΥΡΟΥΠΟΛΗΣ Α ΤΑΞΗ 2014-2015 Το κυνήγι του χαμένου θησαυρού Τα παιδιά χωρίζονται σε 3 ή 4 ομάδες. Ο αρχηγός κρύβει κάποιον θησαυρό. Όλες οι ομάδες διαβάζουν
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες
Διαβάστε περισσότεραΓραμμικά Χρονικά Αμετάβλητα Συστήματα. Ψ.Ε.Σ.Ε. Σ. Θεοδωρίδης 1
Γραμμικά Χρονικά Αμετάβλητα Συστήματα x T [ ] y x y Ψ.Ε.Σ.Ε. Σ. Θεοδωρίδης Γραμμικά Χρονικά Αμετάβλητα Συστήματα x T [ ] y x y Συνέλιξη y x, όπου y x η κρουστική απόκριση Ψ.Ε.Σ.Ε. Σ. Θεοδωρίδης 2 Ιδιότητες
Διαβάστε περισσότεραΥποθετικές προτάσεις και λογική αλήθεια
Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας
Διαβάστε περισσότεραΣύνολα. Ορισμός Συνόλου. Υποσύνολα και Κενό Σύνολο. Στοιχεία ενός συνόλου:
Ορισμός Συνόλου Σύνολα Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Σύνολο είναι μια συλλογή διακεκριμένων
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 8: Σχέσεις - Πράξεις Δομές Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/9/2017
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότερα11. Ποιες είναι οι άμεσες συνέπειες της διαίρεσης;
10. Τι ονομάζουμε Ευκλείδεια διαίρεση και τέλεια διαίρεση; Όταν δοθούν δύο φυσικοί αριθμοί Δ και δ, τότε υπάρχουν δύο άλλοι φυσικοί αριθμοί π και υ, έτσι ώστε να ισχύει: Δ = δ π + υ. Ο αριθμός Δ λέγεται
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότερα(ii) X P(X). (iii) X X. (iii) = (i):
Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Δείξτε ότι ισχύουν τα ακόλουθα: (i) ω / ω (με άλλα λόγια, το ω δεν είναι φυσικός αριθμός). (ii) Για κάθε n ω, ισχύει ω / n. (iii) Για κάθε n ω, το n
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΕΝΟΤΗΤΑ 9 ΠΡΟΣΘΕΣΗ ΜΕΧΡΙ ΤΟ 100 ΜΟΤΙΒΑ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΥ 3 ΚΑΙ 4
ΠΡΟΣΘΕΣΗ ΜΕΧΡΙ ΤΟ 100 ΜΟΤΙΒΑ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΥ 3 ΚΑΙ 4 ΔΕΙΚΤΕΣ ΕΠΙΤΥΧΙΑΣ ΑΡΙΘΜΟΙ Διερεύνηση αριθμών Αρ1.7 Αναπαριστούν εναδικά κλάσματα ( 1, 1, 1, 1, 1 ) ενός συνόλου ή μιας επιφάνειας, 2 3 4 6 8 χρησιμοποιώντας
Διαβάστε περισσότεραΨηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ
Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ 2015-2016 Άλγεβρα Boole (Boolean Algebra) Βασικοί ορισμοί Η άλγεβρα Boole μπορεί να οριστεί
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΠληρότητα της μεθόδου επίλυσης
Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο, θα πρέπει να περιέχει τουλάχιστον
Διαβάστε περισσότεραΕπαναληπτικό διαγώνισμα στην Α.Ε.Π.Π - 18 / Απριλίου / 2010 ΘΕΜΑ 1
Επαναληπτικό διαγώνισμα στην Α.Ε.Π.Π - 18 / Απριλίου / 2010 ΘΕΜΑ 1 Α. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς από τις παρακάτω προτάσεις 1-5 και δίπλα τη λέξη Σωστό, αν είναι σωστή, ή τη λέξη Λάθος,
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 3 η Σειρά Ασκήσεων - Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω Α={1,2,3,{1,3},4,{5,6}}. Ποιες από τις παρακάτω προτάσεις είναι σωστές και ποιες λάθος; i. {5,6} Α vi.
Διαβάστε περισσότεραΕΠΙΠΕΔΟ 3 4 Γ ΚΑΙ Δ ΔΗΜΟΤΙΚΟΥ
ΕΠΙΠΕΔΟ 3 4 Γ ΚΑΙ Δ ΔΗΜΟΤΙΚΟΥ Η παιδεία, καθάπερ ευδαίμων χώρα, πάντα τ αγαθά φέρει. μτφρ: η μόρφωση, όπως ακριβώς μια εύφορη γη, φέρνει όλα τα καλά Σωκράτης (469-399 π.χ., Φιλόσοφος) 1 ΑΣΚΗΣΗ 1 η : 7
Διαβάστε περισσότεραa. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 4 η Σειρά Ασκήσεων - Λύσεις Άσκηση 4.1 [1 μονάδα] Βρείτε όλα τα διατεταγμένα ζεύγη στη σχέση R από το Α={0,1,2,3} στο Β={0,1,2,3,4} όπου (a,b) R αν και μόνο
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΕπιμέλεια: Σπυρίδων Τζινιέρης-ΘΕΩΡΙΑ ΚΛΑΣΜΑΤΩΝ ΓΙΑ ΤΗΝ Α ΓΥΜΝΑΣΙΟΥ ΘΕΩΡΙΑ ΚΛΑΣΜΑΤΩΝ Α ΓΥΜΝΑΣΙΟΥ
Τι είναι κλάσμα; Κλάσμα είναι ένα μέρος μιας ποσότητας. ΘΕΩΡΙΑ ΚΛΑΣΜΑΤΩΝ Α ΓΥΜΝΑΣΙΟΥ Κλάσμα είναι ένας λόγος δύο αριθμών(fraction is a ratio of two whole numbers) Πως εκφράζετε συμβολικά ένα κλάσμα; Εκφράζετε
Διαβάστε περισσότεραΟι Φυσικοί Αριθμοί. Παρατήρηση: Δεν στρογγυλοποιούνται αριθμοί τηλεφώνων, Α.Φ.Μ., κωδικοί αριθμοί κλπ. Πρόσθεση Φυσικών αριθμών
Οι Φυσικοί Αριθμοί Γνωρίζουμε ότι οι αριθμοί είναι ποσοτικές έννοιες και για να τους γράψουμε χρησιμοποιούμε τα αριθμητικά σύμβολα. Οι αριθμοί μετρούν συγκεκριμένα πράγματα και φανερώνουν το πλήθος της
Διαβάστε περισσότερα2η ΕΞΕΤΑΣΤΙΚΗ ΠΕΡΙΟΔΟΣ
ΑΠΟ 3//7 ΕΩΣ 5//8 η ΕΞΕΤΑΣΤΙΚΗ ΠΕΡΙΟΔΟΣ ΤΑΞΗ: ΜΑΘΗΜΑ: Γ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Ημερομηνία: Παρασκευή 5 Ιανουαρίου 8 Διάρκεια Εξέτασης: 3 ώρες ΘΕΜΑΤΑ ΘΕΜΑ Α Α. Αν μία συνάρτηση f είναι
Διαβάστε περισσότεραΛογική Σχεδίαση Ψηφιακών Συστημάτων
Πανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής Λογική Σχεδίαση Ψηφιακών Συστημάτων Σταμούλης Γεώργιος georges@uth.gr Δαδαλιάρης Αντώνιος dadaliaris@uth.gr Δυαδική Λογική Η δυαδική λογική ασχολείται με μεταβλητές
Διαβάστε περισσότερα