ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων
|
|
- Παλλάς Δραγούμης
- 6 χρόνια πριν
- Προβολές:
Transcript
1 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα] Έστω Τ: Ο Γιάννης είναι τρελός, Μ: ο Γιάννης ξέρει λίγα μαθηματικά, Φ: ο Γιάννης είναι πυρηνικός φυσικός. Μεταφράστε τις παρακάτω προτάσεις από τα ελληνικά σε προτάσεις του προτασιακού λογισμού 1. Ο Γιάννης είναι πυρηνικός φυσικός, αλλά δεν ξέρει μαθηματικά 2. Ο Γιάννης είναι τρελός, παρόλο που ξέρει λίγα μαθηματικά 3. Αν και ο Γιάννης είναι πυρηνικός φυσικός, είναι τρελός και δεν ξέρει καθόλου μαθηματικά 4. Ο Γιάννης είναι τρελός, ενώ συγχρόνως είναι ένας πυρηνικός φυσικός που ξέρει λίγα μαθηματικά 5. Ο Γιάννης δεν είναι ένας πυρηνικός φυσικός που να ξέρει λίγα μαθηματικά 6. Ο Γιάννης είναι τρελός παρά το ότι ξέρει λίγα μαθηματικά 7. Ο Γιάννης ξέρει λίγα μαθηματικά εκτός κι αν είναι τρελός 1. Φ Μ 2. Τ Μ 3. Φ Τ Μ 4. Τ Φ Μ 5. (Φ Μ) 6. Τ Μ 7. Τ Μ Άσκηση 1.2 [1 μονάδα] Έστω p: Μου αρέσει ο κινηματογράφος και : πηγαίνω τουλάχιστον 2 φορές τη βδομάδα να δω μια Γράψτε σε όσο γίνεται πιο απλά και κατανοητά ελληνικά τις προτάσεις: a. p b. p c. ( p) d. p e. ( p f. p (
2 a. Δεν μου αρέσει ο κινηματογράφος αλλά πηγαίνω τουλάχιστον 2 φορές τη βδομάδα να δω μια b. Δεν μου αρέσει κινηματογράφος είτε πηγαίνω 2 φορές τη βδομάδα να δω μια (ισοδύναμα: αν μου αρέσει ο κινηματογράφος τότε πηγαίνω τουλάχιστον 2 φορές τη βδομάδα να δω μια ) c. Μου αρέσει ο κινηματογράφος d. Δεν μου αρέσει ο κινηματογράφος είτε δεν πηγαίνω τουλάχιστον 2 φορές τη βδομάδα να δω μια e. Δεν ισχύει ότι είτε μου αρέσει ο κινηματογράφος είτε πηγαίνω τουλάχιστον φορές τη βδομάδα να δω μια f. Δεν μου αρέσει ο κινηματογράφος και δεν πηγαίνω τουλάχιστον 2 φορές τη βδομάδα να δω μια Παρατήρηση: Τα e και f είναι ισοδύναμα Άσκηση 1.3 [1 μονάδα] Ποιες από τις παρακάτω προτάσεις είναι ισοδύναμες μεταξύ τους a. p b. ( p c. ( p ( p ( p d. ( p ( p ( p p (a) p p p p (b) (c) (d) T T T F T F F T T T T F T F F F T T T T F T F T F F F F F T F F T F F T F T T T Ισοδύναμες είναι οι (a) και (b) και (c) μεταξύ τους. H (d) δεν είναι ισοδύναμη με καμία. Άσκηση 1.4 [1.5 μονάδα] Γράψτε την αντίθετη, την αντίστροφη και την αντιστροφοαντίθετη πρόταση για κάθε μια από τις παρακάτω προτάσεις. 1. Αν γελάσεις, γελάει κι ο κόσμος μαζί σου. 2. Σκέφτομαι άρα υπάρχω 3. Αν δεν μου δώσεις λίγη σημασία θα πεθάνω 1. Αντίστροφη: Αν ο κόσμος γελάει μαζί σου, γελάς Αντιθετική: Αν δεν γελάς δε γελάει ο κόσμος μαζί σου
3 Αντιστροφοαντίθετη: Αν δεν γελάει ο κόσμος μαζί σου, δεν γελάς 2. Αντίστροφη: Υπάρχω άρα σκέφτομαι Αντιθετική: Δεν σκέφτομαι άρα δεν υπάρχω Αντιστροφοαντίθετη: Δεν υπάρχω άρα δεν σκέφτομαι 3. Αντίστροφη: Αν πεθάνω δεν θα μου δώσεις λίγη σημασία Αντιθετική: Αν μου δώσεις λίγη σημασία δεν θα πεθάνω Αντιστροφοαντίθετη: Αν δεν πεθάνω θα μου δώσεις λίγη σημασία Άσκηση 1.5 [1.5 μονάδες] Θεωρείστε τις προτάσεις: p: Το λάδι είναι ελαφρύτερο από το νερό : Ο γάιδαρος πετάει r: Το 17 είναι πρώτος αριθμός α. Γράψτε στα ελληνικά τις προτάσεις β. Αν οι p και r είναι αληθείς ενώ η είναι ψευδής δώστε τις τιμές αλήθειας των παραπάνω 10 προτάσεων a β 1 Το λάδι δεν είναι ελαφρύτερο από το νερό False 2 Το 17 δεν είναι πρώτος αριθμός False 3 Είτε ο γάιδαρος πετάει είτε το 17 είναι πρώτος αριθμός True 4 Το λάδι είναι ελαφρύτερο από το νερό και ο γάιδαρος πετάει False 5 Είτε το 17 δεν είναι πρώτος αριθμός είτε το λάδι είναι ελαφρύτερο από το νερό ή True Αν το 17 είναι πρώτος αριθμός τότε το λάδι είναι ελαφρύτερο από το νερό 6 Αν το λάδι είναι αλαφρύτερο από το νερό τότε ο γάιδαρος δεν πετάει True 7 Ο γάιδαρος πετάει και το λάδι είτε είναι ελαφρύτερο από το νερό είτε δεν είναι False 8 Αν ο γάιδαρος πετάει τότε το λάδι είναι ελαφρύτερο από το νερό True 9 Αν το λάδι είναι ελαφρύτερο από το νερό τότε ο γάιδαρος πετάει False 10 Ο γάιδαρος πετάει αν και μόνο αν το λάδι είναι ελαφρύτερο από το νερό False
4 Άσκηση 1.6 [1 μονάδα] Αποδείξτε το νόμο του συλλογισμού : Αν p και r, τότε pr Αρκεί να αποδείξω ότι η πρόταση ((p ( r)) (pr) είναι ταυτολογία p r p r (p (r) pr ((p (r)) (pr) T T T T T T T T T T F T F F F T T F T F T F T T F T T T T T T T T F F F T F F T F T F T F F T T F F T T T T T T F F F T T T T T Άσκηση 1.7 [1.5 μονάδες] Αποδείξτε με χρήση του προτασιακού λογισμού ότι στο παιχνίδι: Κορώνα χάνεις, Γράμματα κερδίζω κερδίζω πάντοτε. Αν συμβολίσουμε Κ: Εγώ φέρνω κορώνα Γ: Εγώ φέρνω γράμματα W: Εγώ κερδίζω L: Εσύ χάνεις Από την εκφώνηση ισχύουν οι κανόνες: Κ L (1) ΓW (2) Επίσης, γνωρίζουμε ότι W L(κερδίζω αν και μόνο αν χάσεις ) Αρκεί να δείξουμε ότι ( Γ W ) ( K L) W Πράγματι, ( Γ W ) ( K L) ( Γ W ) ( K L) ( Γ W ) ( K W ) ( Γ K ) W ( Γ K ) W F W T W W.
5 Επίσης, θα μπορούσαμε να δείξουμε (πχ, με πίνακα αληθείας) ότι η πρόταση (( Γ W ) ( K L)) W είναι ταυτολογία. Άσκηση 1.8 [1.5 μονάδα] «Ο κατηγορούμενος έκανε πάνω από 20 ληστείες», κατέθεσε ο 1 ος μάρτυρας. «Όχι έκανε λιγότερες από 20», είπε ο 2 ος μάρτυρας «Έκανε πάντως τουλάχιστον μία», είπε ο 3 ος μάρτυρας. Αν γνωρίζουμε ότι μια μόνο κατάθεση είναι αληθής, και ότι το δικαστήριο πήρε τη δίκαιη απόφαση, τι αποφάσισε το δικαστήριο, να αθωώσει ή να καταδικάσει τον κατηγορούμενο; Υπάρχουν δύο περιπτώσεις, ο κατηγορούμενος να μην έκανε καμία ληστεία, οπότε πρέπει να αθωωθεί, ή να έκανε τουλάχιστον μία ληστεία, οπότε πρέπει να καταδικαστεί. 1. Αν δεν έκανε καμία ληστεία, παρατηρούμε ότι μία μόνο μαρτυρία (μάρτυρας 2) είναι σωστή. 2. Έκανε από 1 έως 19 ληστείες, είναι αληθείς οι μαρτυρίες 2 και 3, πράγμα αδύνατο. 3. Αν έκανε 20 ληστείες ακριβώς, παρατηρούμε ότι μία μόνο μαρτυρία (μάρτυρας 3) είναι σωστή. 4. Αν έκανε πάνω από 20 ληστείες είναι αληθείς οι μαρτυρίες 1 και 3, πράγμα αδύνατο. Επομένως, μπορεί να έχει κάνει είτε καμία ληστεία (περίπτωση 1) οπότε θα έπρεπε να αθωωθεί είτε ακριβώς 20 ληστείες (περίπτωση 3), οπότε θα έπρεπε να καταδικαστεί. Επομένως, λογικά το δικαστήριο δεν μπόρεσε να βγάλει απόφαση!
ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2019 1 η Σειρά Ασκήσεων (Προτασιακός Λογισμός) Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου Σημείωση: Όλες οι απαντήσεις πρέπει να είναι τεκμηριωμένες
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΦροντιστήριο #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 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y
Διαβάστε περισσότεραΦροντιστήριο #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
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ
ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 1 η Σειρά Ασκήσεων Λύσεις Άσκηση 1.1 [1 μονάδα] Αποδείξτε ότι η πρόταση ((p q) p) q είναι ταυτολογία (α) χρησιμοποιώντας πίνακες αλήθειας (β) χωρίς πίνακες
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σκοπεύετε να διοργανώσετε ένα πάρτι για τους συμφοιτητές σας κάτω από τους πιο κάτω περιορισμούς. Π1. Η Μαίρη δεν μπορεί να έρθει. Π2. Ο Ηλίας και η Αντιγόνη είτε θα
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13
Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):
Διαβάστε περισσότεραΦροντιστήριο #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 )
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότεραΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α 1. (2.5 μονάδες) Ο κ. Ζούπας παρέλαβε μία μυστηριώδη τσάντα από το ταχυδρομείο. Όταν
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραx < y ή x = y ή y < x.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΛογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΑσκήσεις μελέτης της 8 ης διάλεξης
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/18/2016
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 O πιο κάτω συλλογισμός (αποτελεί μικρή παραλλαγή συλλογισμού που) αποδίδεται στον Samuel Clarke και προέρχεται από την εργασία του Demonstration of the Being and Attributes
Διαβάστε περισσότερα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 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων
Διαβάστε περισσότερα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.
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 3 η Σειρά Ασκήσεων - Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω Α={1,2,3,{1,3},4,{5,6}}. Ποιες από τις παρακάτω προτάσεις είναι σωστές και ποιες λάθος; i. {5,6} Α vi.
Διαβάστε περισσότερα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 αν και μόνο
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2016
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 7 η Σειρά Ασκήσεων - λύσεις Άσκηση 7.1 [1 μονάδα] Ένα ζευγάρι έχει δύο παιδιά. Θεωρούμε ότι είναι το ίδιο πιθανό να γεννηθεί αγόρι ή κορίτσι. a. Ποια είναι
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2018 Κρεατσούλας
Διαβάστε περισσότεραΥποθετικές προτάσεις και λογική αλήθεια
Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 10/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen Τι
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Προτασιακός Λογισµός (συνέχεια...) Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραLearning Greek podcasts from the Hellenic American Union. Ο Ξενοφών σας μαθαίνει Ελληνικά. Arguing over grades/profession Καβγάς για βαθμούς/επάγγελμα
Learning Greek podcasts from the Hellenic American Union Ο Ξενοφών σας μαθαίνει Ελληνικά Arguing over grades/profession Καβγάς για βαθμούς/επάγγελμα Eleni argues with her kids over their grades at school
Διαβάστε περισσότεραΕπαναληπτικές Ασκήσεις στα Σύνολα
Επαναληπτικές Ασκήσεις στα Σύνολα ) Εξετάστε αν η παρακάτω πρόταση είναι αληθής για οποιαδήποτε σύνολα Α,Β,C. Δικαιολογήστε την απάντηση σας Αν A B και B C, τότε Α C έστω Β {α,β,γ}, αφού Α B τότε ένα παράδειγμα
Διαβάστε περισσότεραΌταν κάποιος ξεκινήσει τον πλειστηριασμό με μια αγορά σκοπός του είναι να περιγράψει όσο καλύτερα μπορεί το χέρι του στον συμπαίκτη του.
Πλειστηριασμός Όταν κάποιος ξεκινήσει τον πλειστηριασμό με μια αγορά σκοπός του είναι να περιγράψει όσο καλύτερα μπορεί το χέρι του στον συμπαίκτη του. Πλειστηριασμός Ο συμπαίκτης του ανοίξαντα αναλαμβάνει
Διαβάστε περισσότεραΓ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ. Ημερομηνία: Σάββατο 11 Νοεμβρίου 2017 Διάρκεια Εξέτασης: 3 ώρες ΕΚΦΩΝΗΣΕΙΣ
ΤΑΞΗ: ΜΑΘΗΜΑ: Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Ημερομηνία: Σάββατο Νοεμβρίου 7 Διάρκεια Εξέτασης: ώρες ΕΚΦΩΝΗΣΕΙΣ ΘΕΜΑ Α Α Να διατυπώσετε το θεώρημα του Bolzano και να δώσετε τη γεωμετρική
Διαβάστε περισσότεραΛύσεις 1 ης Σειράς Ασκήσεων
Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 Έστω οι ατομικές προτάσεις A 1 = H Αντιγόνη κέρδισε τον αγώνα, A 3 = H Αντιγόνη πήρε την τρίτη θέση, Β 2 = Ο Βίκτορας πήρε την δεύτερη θέση, Γ 3 = Ο Γιάννης πήρε την
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες.
ΑΣΚΗΣΕΙΣ 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. α) A B/A Α Β ΑΛΒ Α α α α α α ψ ψ α ψ α ψ ψ ψ ψ ψ ψ Όπως βλέπουμε, αν η πρόταση A B είναι αληθής, τότε σε
Διαβάστε περισσότεραΕισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ
Εισαγωγή στην επιστήμη των υπολογιστών Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ 1 Πράξεις με μπιτ 2 Αριθμητικές Πράξεις σε Ακέραιους Πρόσθεση, Αφαίρεση, Πολλαπλασιασμός, Διαίρεση Ο πολλαπλασιασμός
Διαβάστε περισσότερα«Ο Αϊούλαχλης και ο αετός»
ΠΑΡΑΜΥΘΙ #25 «Ο Αϊούλαχλης και ο αετός» (Φλώρινα - Μακεδονία Καύκασος) Διαγωνισμός παραδοσιακού παραμυθιού ebooks4greeks.gr ΠΑΡΑΜΥΘΙ #25 Ψηφίστε το παραμύθι που σας άρεσε περισσότερο εδώ μέχρι 30/09/2011
Διαβάστε περισσότεραΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ
ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ Ε.1 I. 1. α 2 = 9 α = 3 ψ p: α 2 = 9, q: α = 3 Σύνολο αλήθειας της p: Α = {-3,3}, Σύνολο αλήθειας της q: B = {3} A B 2. α 2 = α α = 1 ψ p: α 2 = α, q: α = 1 Σύνολο
Διαβάστε περισσότεραΙΕ ΔΗΜΟΤΙΚΟ ΛΕΜΕΣΟΥ (Κ.Α.) ΣΧΟΛΙΚΗ ΧΡΟΝΙΑ:
ΙΕ ΔΗΜΟΤΙΚΟ ΛΕΜΕΣΟΥ (Κ.Α.) ΣΧΟΛΙΚΗ ΧΡΟΝΙΑ: 2007-2008 Τάξη: Γ 3 Όνομα: Η μύτη μου είναι μεγάλη. Όχι μόνο μεγάλη, είναι και στραβή. Τα παιδιά στο νηπιαγωγείο με λένε Μυτόγκα. Μα η δασκάλα τα μαλώνει: Δεν
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 3/3/2016 Κατερίνα Δημητράκη
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 p q r p (q r) (p q) p q r ( r p q) T T T T F T T T T F F F F T T F T T T T T T F F T T T T F T T T F T T F T F T F T T F F T T F T F F F F T F T T Ο πιο πάνω πίνακας παρουσιάζει
Διαβάστε περισσότεραΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013
ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά
Διαβάστε περισσότεραΠροτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)
Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΗ Μόνα, η μικρή χελώνα, μετακόμισε σε ένα καινούριο σπίτι κοντά στη λίμνη του μεγάλου δάσους.
Η Μόνα, η μικρή χελώνα, μετακόμισε σε ένα καινούριο σπίτι κοντά στη λίμνη του μεγάλου δάσους. Κάθεται στο παράθυρο του δωματίου της και σκέφτεται, στεναχωρημένη τους παλιούς της φίλους και συμμαθητές.
Διαβάστε περισσότεραSylla Papayannopoulou όποιος καεί στο βούτυρο, φυσά και το γιαούρτι. Ο Καλλίνικος είναι φατσοφίλος και σύντροφος (που έχει δεχθεί
1 of 6 14/3/2016 10:29 πμ Γιώργος Καλαντζόπουλος 12 ώρες Ποιος θα μας σώσει από τους τραμπούκους της ΛΑΕ; (ΙΙ) 1 like Maria Ala Σχόλια Sylla Papayannopoulou όποιος καεί στο βούτυρο, φυσά και το γιαούρτι.
Διαβάστε περισσότερακι η τιμωρία των κατηγορουμένων. Βέβαια, αν δεν έχεις πάρει καθόλου βάρος, αυτό θα σημαίνει ότι ο κατηγορούμενος
14 Φτάνοντας λοιπόν ο Νικήτας σε μια από τις γειτονικές χώρες, εντυπωσιάστηκε από τον πλούτο και την ομορφιά της. Πολλά ποτάμια τη διέσχιζαν και πυκνά δάση κάλυπταν τα βουνά της, ενώ τα χωράφια ήταν εύφορα
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
Φροντιστήριο 2 Λύσεις Άσκηση 1 1. p ( p r) προϋπόθεση 2. r προϋπόθεση 3. q προσωρινή υπόθεση 4. p προσωρινή υπόθεση 5. p r ΜP 6. p προσωρινή υπόθεση r προσωρινή υπόθεση 7. i 4, 6 8. r e 9. r e 5, 8, 6
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ. Ημερομηνία: Πέμπτη 2 Μαΐου 2019 Διάρκεια Εξέτασης: 3 ώρες ΕΚΦΩΝΗΣΕΙΣ
ΤΑΞΗ: ΜΑΘΗΜΑ: Γ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Ημερομηνία: Πέμπτη Μαΐου 09 Διάρκεια Εξέτασης: 3 ώρες ΘΕΜΑ Α ΕΚΦΩΝΗΣΕΙΣ Α. Έστω f μια συνεχής συνάρτηση σ ένα διάστημα [., ] Αν G είναι μια παράγουσα
Διαβάστε περισσότερα«ΠΩΣ ΦΑΝΤΑΖΟΜΑΙ ΤΗ ΖΩΗ ΜΟΥ ΧΩΡΙΣ ΑΡΙΘΜΟΥΣ;» Α1 Γυμνασίου Προσοτσάνης 2011-2012
«ΠΩΣ ΦΑΝΤΑΖΟΜΑΙ ΤΗ ΖΩΗ ΜΟΥ ΧΩΡΙΣ ΑΡΙΘΜΟΥΣ;» Α1 Γυμνασίου Προσοτσάνης 2011-2012 1 ΠΩΣ ΦΑΝΤΑΖΟΜΑΙ ΤΗ ΖΩΗ ΜΟΥ ΧΩΡΙΣ ΑΡΙΘΜΟΥΣ; Γράφει ο Ηλίας Δερμετζής «Τη ζωή μου χωρίς αριθμούς δεν μπορώ να τη φανταστώ,
Διαβάστε περισσότεραΑπάντηση 7. Ναι αυτό δήλωσα ιονύση και αυτό το οποίο λες και συ, νοµίζω είναι το σωστό
Απάντηση 7 1) Γράφεις Διονύση: «...Με ξαφνιάζεις Θρασύβουλε. πρόσεξε τι δήλωσες παραπάνω ότι συµφωνείς: «βλέπω µόνο ένα παράθυρο και θέλω να ξέρω αν οι φάσεις των δύο σηµείων Β και Γ, θα ικανοποιούν την
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ
ΧΛΤΖΙΝ ΠΥΛΟΣ ΒΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ 1. ύο προτάσεις που έχουν την ίδια σηµασία λέγονται ταυτόσηµες. 2. Μια αποφαντική πρόταση χαρακτηρίζεται αληθής όταν περιγράφει µια πραγµατική κατάσταση του κόσµου µας.
Διαβάστε περισσότεραΥποδ: Χρησιμοποιήστε τον ορισμό της λογικής συνεπαγωγής (λογικής κάλυψης).
Κανόνας Ανάλυσης 1 Μυθικός Αθάνατος 3 Μυθικός Θηλαστικό ------------------------------ 7 Αθάνατος Θηλαστικό 4 Αθάνατος έχεικέρας -------------------------------- 8 Θηλαστικό έχεικέρας 5 Θηλαστικό έχεικέρας
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΕκπαιδευτικός Οµιλος ΒΙΤΑΛΗ
Λογική και Προτασιακός Λογισµός ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 16 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύντοµη εισαγωγή στην Λογική
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραΠρόταση. Αληθείς Προτάσεις
Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο
Διαβάστε περισσότερα2η ΕΞΕΤΑΣΤΙΚΗ ΠΕΡΙΟΔΟΣ
ΑΠΟ 3//7 ΕΩΣ 5//8 η ΕΞΕΤΑΣΤΙΚΗ ΠΕΡΙΟΔΟΣ ΤΑΞΗ: ΜΑΘΗΜΑ: Γ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Ημερομηνία: Παρασκευή 5 Ιανουαρίου 8 Διάρκεια Εξέτασης: 3 ώρες ΘΕΜΑΤΑ ΘΕΜΑ Α Α. Αν μία συνάρτηση f είναι
Διαβάστε περισσότεραΜαμά, γιατί ο Φώτης δε θέλει να του πιάσω το χέρι; Θα σου εξηγήσω, Φωτεινή. Πότε; Αργότερα, όταν μείνουμε μόνες μας. Να πάμε με τον Φώτη στο δωμάτιό
- Μαμά, γιατί ο Φώτης δε θέλει να του πιάσω το χέρι; Θα σου εξηγήσω, Φωτεινή. Πότε; Αργότερα, όταν μείνουμε μόνες μας. Να πάμε με τον Φώτη στο δωμάτιό μου να παίξουμε; Αν θέλει, ναι. Προσπάθησε να μην
Διαβάστε περισσότεραΠρόλογος. Καλή τύχη! Carl-Johan Forssén Ehrlin
Πρόλογος Νιώθουμε πολύ άσχημα όταν βλέπουμε ένα παιδί να κλαίει ή να πονάει χωρίς να μπορούμε να κάνουμε κάτι, ιδιαίτερα αν είμαστε γονείς. Ανάλογα με τις περιστάσεις τα παιδιά είναι άλλοτε χαρούμενα,
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/02/2017 Προτασιακός Λογισµός Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University
Διαβάστε περισσότεραΠαράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΠριν απο λιγα χρονια ημουνα ακριβως σαν εσενα.
Πριν απο λιγα χρονια ημουνα ακριβως σαν εσενα. Ηξερα οτι υπαρχουν επαγγελματιες παιχτες που κερδιζουν πολλα χρηματα απο το στοιχημα και εψαχνα να βρω τη "μυστικη formula" 'Ετσι κ εσυ. Πηρες μια απο τις
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότεραΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής
ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ Βασικά Στοιχεία Λογικής 2 Η Πριγκίπισσα και το Κάστρο Αν ρώταγα ένα μέλος της φυλής που δεν ανήκεις για το ποιον δρόμο πρέπει να πάρω για το κάστρο τι θα μου έλεγε; Μία πριγκίπισσα
Διαβάστε περισσότεραΤο συγκρότημα. Η αφίσα του συγκροτήματος και το πρόγραμμα του Μουσικού Βραδυνού, στις
Το συγκρότημα Τον Μάρτιο του 1970, πήρα το πτυχίο της Κτηνιατρικής Σχολής (ορκίστηκα στις 28 Μαρτίου). Ταυτόχρονα, έληξε η αναβολή που είχα στον Στρατό και έπρεπε να παρουσιαστώ στην Κόρινθο, στις 20 Απριλίου
Διαβάστε περισσότεραΚεφάλαιο 4. Λογική Σχεδίαση
Κεφάλαιο 4 Λογική Σχεδίαση 4.1 Εισαγωγή Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΑποστολή. Κρυμμένος Θησαυρός. Λίνα Σωτηροπούλου. Εικόνες: Ράνια Βαρβάκη
διαβάζω ιστορίες Αποστολή Κρυμμένος Θησαυρός Λίνα Σωτηροπούλου Εικόνες: Ράνια Βαρβάκη 11 ΚΕΦΑΛΑΙΟ 2 Το δώρο της γιαγιάς Μόλις χτύπησε το ξυπνητήρι, με έπιασε πανικός. Δεν μπορούσα να καταλάβω για ποιον
Διαβάστε περισσότεραΟΜΟΣΠΟΝΔΙΑ ΕΚΠΑΙΔΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑΔΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2018 A ΦΑΣΗ
ΤΑΞΗ: Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΣ: ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ / ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ Ημερομηνία: Σάββατο 13 Ιανουαρίου 18 Διάρκεια Εξέτασης: 3 ώρες ΘΕΜΑ Α ΑΠΑΝΤΗΣΕΙΣ Α1. Απόδειξη
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία
Διαβάστε περισσότεραΘΕΜΑΤΑ ΥΠΟΤΡΟΦΙΩΝ ΣΤ ΤΑΞΗΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΓΛΩΣΣΑ
Ονοματεπώνυμο: ΔΗΜΟΤΙΚΟ ΣΧΟΛΕΙΟ Α. ΚΕΙΜΕΝΟ: ΘΕΜΑΤΑ ΥΠΟΤΡΟΦΙΩΝ ΣΤ ΤΑΞΗΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΓΛΩΣΣΑ Άννα Φρανκ [Από το ημερολόγιο της Άννας Φρανκ] Αγαπητή Κίτυ, Η μητέρα είναι τρομερά εκνευρισμένη, πράγμα
Διαβάστε περισσότερα