ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013
|
|
- Ζώσιμη Βαρουξής
- 6 χρόνια πριν
- Προβολές:
Transcript
1 ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά τον y". Αποδώστε το νόημα των παρακάτω προτάσεων με προτάσεις του κατηγορηματικού λογισμού. 1. Όλοι αγαπούν τον Νίκο. x P(x,Νίκος) 2. Όλοι αγαπούν κάποιον. x y P(x,y) 3. Υπάρχει κάποιος τον οποίο όλοι αγαπούν. y x P(x,y) 4. Κανείς δεν αγαπά τους πάντες. x y P(x,y) 5. Υπάρχει κάποιος τον οποίο ο Νίκος δεν τον αγαπά. x P(Νίκος,x) 6. Υπάρχει κάποιος τον οποίον κανείς δεν αγαπά. y x P(x,y) 7. Υπάρχει ακριβώς ένα άτομο το οποίο όλοι αγαπούν. 1 ος τρόπος x y P(x,y) Λ χ z ( (P(x,y) Λ P(x,z) ) y=z) 2 ος τρόπος x y (P(x,y) Λ z (P(x,y) Λ y z)) 8. Ο Νίκος αγαπά ακριβώς δύο άτομα. x y (( P(Νίκος,x) Λ P(Νίκος,y) Λ x y) Λ z (P(Νίκος,z) (z=x v z=y)))) 9. Όλοι αγαπούν τον εαυτό τους. x P(x,x) 10. Υπάρχει κάποιος που αγαπά μόνο τον εαυτό του. x (P(x,x) Λ y (P(x,y)Λy x))
2 Άσκηση 2.2 [1.5 μονάδες] Έστω x,y μεταβλητές στο σύνολο των ανθρώπων και προτασιακή μορφή Ρ(x,y) με το νόημα "ο x αγαπά τον y ". Για καθεμία από τις παρακάτω προτάσεις, (α) διατυπώστε την σε φυσική γλώσσα (β) διατυπώστε την άρνησή της ως πρόταση του κατηγορηματικού λογισμού (γ) διατυπώστε το αποτέλεσμα του (β) σε φυσική γλώσσα. 1. x y P( χ, y) Υπάρχει κάποιος άνθρωπος που τους αγαπά όλους 2. x y P( χ, y) Όλοι αγαπιούνται από όλους 3. x y P( χ, y)) Υπάρχει κάποιος άνθρωπος που αγαπάει κάποιον άνθρωπο 4. x y P( χ, y) Όλοι αγαπάνε κάποιον άνθρωπο 5. x y (P( χ, y) P(y,x)) Για όλους τους ανθρώπους, η αγάπη είναι αμοιβαία Άσκηση 2.3 [1 μονάδα] Διατυπώστε σε κατηγορηματικό λογισμό το θεώρημα σύμφωνα με το οποίο «Αν ένας πρώτος αριθμός p διαιρεί το γινόμενο αβ δύο ακέραιων α και β, τότε διαιρεί έναν, τουλάχιστον, από τους ακεραίους αυτούς». Μην ξεχάσετε να ορίσετε με σαφήνεια το νόημα των κατηγορημάτων που θα χρησιμοποιήσετε καθώς και τα πεδία ορισμού των μεταβλητών σας. Κατηγορήματα Π(x): O x είναι πρώτος αριθμός Δ(x,y): O x διαιρεί τον y A(x): O x είναι ακέραιος Π.Ο. x R, y Z Υπόθεση Συμπέρασμα x α β ((( Π(x) Λ Α(α) Λ Α(β) Λ (χ,α*β)) ( (χ,α) v (χ,β)))
3 Άσκηση 2.4 [2 μονάδες] Έστω οι προϋποθέσεις p q, r p και r. Προκύπτει από αυτές ότι q; Προσπαθήστε να απαντήσετε στο ερώτημα με δύο τρόπους (α) κάνοντας χρήση πίνακα αληθείας (β) χρησιμοποιώντας κανόνες εξαγωγής συμπερασμάτων. α)πίνακες αληθείας Προϋπόθεση p q : p q p q F F T F T T T F F T T T Προϋπόθεση r p : r p p r p F F T T F T F T T F T F T T F T Προϋπόθεση r: r T F Από τους παραπάνω πίνακες αληθείας βλέπουμε ότι όταν συναληθεύουν και οι 2 προϋποθέσεις η τιμή του q (άρα και του q) είναι ακαθόριστη (T ή F). Άρα δεν προκύπτει η ισχύς του q. β) Κανόνες εξαγωγής συμπερασμάτων Γνωρίζουμε ότι ισχύει (p q) Λ (r p) Λ r r Λ (p q) Λ (r p) r Λ ( pvq) Λ ( r v p) r Λ ( r v p) Λ ( pvq) επιμ. Ιδ. (r Λ r) v (r Λ p) Λ ( pvq) F v (r Λ p) Λ ( pvq) (r Λ p) Λ ( pvq) A Λ B, όπου Α=(r Λ p),β=( pvq). Για να ισχύει η τελευταία πρέπει να συναληθεύουν η Α και η Β Α=(r Λ p), αληθεύει όταν συναληθεύει η r (ισχύει από υπόθεση) και η p Β=( p v q), αληθεύει όταν αληθεύει η p ή η q. Λόγω του λογικού ή συμπεραίνουμε ότι δεν είναι απαραίτητο να αληθεύει η q και κατά συνέπεια και η q. Άρα δεν προκύπτει η q.
4 Άσκηση 2.5 [1.5 μονάδες] Αξιολογείστε την ορθότητα του παρακάτω συλλογισμού: "Ο Νίκος είναι είτε μπασκετμπωλίστας είτε ποδοσφαιριστής, αλλά όχι και τα δύο. Αν είναι μπασκετμπωλίστας, τότε είναι ψηλός. Ο Νίκος δεν είναι ψηλός. Επομένως, ο Νίκος είναι ποδοσφαιριστής". Έστω Β(x): O x είναι μπασκετμπωλίστας, F(x): Ο y είναι ποδοσφαιριστής. Ψ(x): O x είναι ψηλός. Τότε οι παραπάνω συλλογισμοί εκφράζονται σε κατηγορηματικό λογισμό 1. (Β(Νίκος) v F(Νίκος)) Λ ( Β(Νίκος) Λ F(Νίκος)) 2. x B(x) Ψ(x) 3. Ψ(Νίκος) Και εξετάζουμε αν προκύπτει η 4. F(Νίκος) H 2 εφόσον ισχύει για όλα τα x θα ισχύει και για x= Νίκος. Άρα B(Νίκος) Ψ(Νίκος) B(Νίκος) v Ψ(Νίκος). Επομένως έχουμε τα παρακάτω βήματα 2 Λ 3 ( B(Νίκος) v Ψ(Νίκος)) Λ ( Ψ(Νίκος)) Επιμ. Ιδ. ( Ψ(Νίκος) Λ Ψ(Νίκος)) v ( Ψ(Νίκος) Λ B(Νίκος)) F v ( Ψ(Νίκος) Λ B(Νίκος)) ( Ψ(Νίκος) Λ B(Νίκος)). Άρα θα πρέπει ο Νίκος και να μην είναι ψηλός και να μην είναι μπασκετμπωλίστας. Από την 1 έχουμε (Β(Νίκος) v F(Νίκος)) Λ ( Β(Νίκος) Λ F(Νίκος)) F v F(Νίκος) Λ ( Β(Νίκος) v F(Νίκος)) F(Νίκος) Λ ( Β(Νίκος) v F(Νίκος)) F(Νίκος) Λ (T v F(Νίκος)) F(Νίκος) από όπου προκύπτει σύμφωνα με τις προϋποθέσεις ότι ο Νίκος είναι ποδοσφαιριστής. Άσκηση 2.6 [1 μονάδες] Έστω οι παρακάτω προτασιακές μορφές P( χ, y): "O x διαιρεί τον y χωρίς υπόλοιπο", R(x) : "O x είναι πρώτος", S(x) : "Ο x είναι περιττός". Θεωρώντας ότι οι μεταβλητές χ, y παίρνουν τιμές στο σύνολο των ακεραίων αριθμών, δώστε την τιμή αληθείας των παρακάτω προτάσεων, δικαιολογώντας την απάντησή σας: 1. x y P( χ, y) : Όλοι οι αριθμοί διαιρούν χωρίς υπόλοιπο τουλάχιστον ένα ακέραιο Τ γιατί υπάρχει πάντα κάποιος αριθμός με αυτή την ιδιότητα. 2. x y P( χ, y) : Υπάρχει κάποιος ακέραιος αριθμός που διαιρεί χωρίς υπόλοιπο όλους τους υπόλοιπους ακεραίους Τ είναι ο 1
5 3. x y (P( χ, y) v P( y,x)) : Για οποιοδήποτε ακέραιο ισχύει ότι θα διαιρεί ή θα διαιρείται από κάποιο ακέραιο) ή αυτοί οι ακέραιοι διαιρούν χωρίς υπόλοιπο τους προαναφερθέντες ακεραίους False πχ 2 και 3 ούτε ο 2 διαιρεί ακέραια τον 3 ούτε ο 3 τον y x (S (y) Λ P( χ, y) : Υπάρχει κάποιος περιττός ο οποίος διαιρείται από όλους τους ακεραίους χωρίς υπόλοιπο False 5. x y [(R(x) Λ S(y)) P( χ, y)] : Για οποιουσδήποτε ακεραίους x και y, αν ο x είναι περιττός και ο y πρώτος, τότε ο ένας διαιρεί τον άλλο False Άσκηση 2.7 [1 μονάδα] 1. Δείξτε χρησιμοποιώντας κανόνες εξαγωγής συμπερασμάτων ότι αν ισχύει ότι x P( χ)τότε ισχύει ότι x P(χ) 2. Δείξτε ότι οι προϋποθέσεις x P( χ)και x (P( χ) Q(x)) οδηγούν στο συμπέρασμα ότι x Q(x). 1. x P(χ) Άρα P(O) για κάποια σταθερά Ο (καθολική συγκεκριμενοποίηση) Άρα x P(χ) (υπαρξιακή γενίκευση) Άλλος τρόπος Έστω ότι ισχύει x P(χ) και δεν ισχύει xp(x) δηλαδή x P(x) x P(x) το οποίο είναι αντίφαση γιατί ξέρουμε από την υπόθεση ότι ισχύει x P(x). Άρα αν ισχύει x P(x) τότε ισχύει ότι x P(x) 2. A: x P( χ) B: x (P( χ) Q(x)) x ( P( χ) v Q(x)) από ά ερώτημα προκύπτει ότι x ( P( χ) v Q(x)) x P( χ) Επομένως P(O) για κάποια σταθερά Ο Εφόσον ισχύει x (P( χ) Q(x)) θα ισχύει και ότι P( Ο) Q(Ο) Και επειδή ισχύει P( Ο), θα ισχύει (modus ponens) Q(Ο) Άρα x Q(χ)
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/2017
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΚατ οίκον Εργασία 2 Λύσεις
Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ
ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα
Διαβάστε περισσότερα4.2. ΔΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ
4.. Η ταυτότητα της διαίρεσης A. Όπως στους ακέραιους αριθμούς, έτσι και στα πολυώνυμα ισχύει η ταυτότητα της διαίρεσης. Πιο συγκεκριμένα ισχύει ότι: Για κάθε ζεύγος πολυωνύμων Δ(x) και δ(x), με δ(x) 0
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΦροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016
Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ. β) x 9x. ε) (x 1) 3(x 1) 2(x 1) 0. (2x 1) x 128 0
ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 1. Να λύσετε τις εξισώσεις: α) x x 10x 0 5 x 9x γ) x 8x 0 x x x 0 x (x ) 9(x ) ε) (x 1) (x 1) (x 1) 0. Να λύσετε τις εξισώσεις: 5 α) x 0 7 γ) (x ) 1 0 (x 1)
Διαβάστε περισσότερα1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ
1 1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ ΘΕΩΡΙΑ 1. Ταυτότητα Ευκλείδειας διαίρεσης : Για δύο οποιαδήποτε πολυώνυµα (x) και δ(x) µε δ(x) µπορούµε να βρούµε δύο άλλα πολυώνυµα π(x) και υ(x) τέτοια ώστε να ισχύει (x) = δ(x)π(x)
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότερα9 Πολυώνυμα Διαίρεση πολυωνύμων
4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότερα4.1. Πολυώνυμα. Η έννοια του πολυωνύμου
4.1 Πολυώνυμα Η έννοια του πολυωνύμου ΟΡΙΣΜΟΙ 1. Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής αx ν, όπου α R, ν N (σταθερές) και x R (μεταβλητή). 2. Πολυώνυμο του x ονομάζουμε κάθε παράσταση της
Διαβάστε περισσότεραΠολυωνυμικές εξισώσεις και ανισώσεις Εξισώσεις και ανισώσεις που ανάγονται σε πολυωνυμικές
0 Πολυωνυμικές εξισώσεις και ανισώσεις Εξισώσεις και ανισώσεις που ανάγονται σε πολυωνυμικές Α. ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Για να λύσουμε μια πολυωνυμική εξίσωση P(x) 0 (ή μια πολυωνυμική ανίσωση P(x)
Διαβάστε περισσότεραΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι
ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΠαράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότεραΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α
ΚΕΦΑΛΑΙΟ 1 ο : ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ Ερώτηση θεωρίας 1 ΘΕΜΑ Α Τι ονομάζουμε πραγματική συνάρτηση
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΣτοιχεία προτασιακής λογικής
Σ. Κοσμαδάκης Στοιχεία προτασιακής λογικής Λογικές πράξεις and, or, not Για οποιεσδήποτε τιμές αλήθειας s, t στο σύνολο {true, false}, οι γνωστές πράξεις s and t, s or t, not s δίνουν αποτελέσματα στο
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18
Διαβάστε περισσότερα4.3. ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΑΝΙΣΩΣΕΙΣ
4.3. ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΑΝΙΣΩΣΕΙΣ Αν η εξίσωση α ν x ν +α ν-1 x ν-1 +... +α 1 x+α 0 = 0 με α ν,α ν-1,...,α 1,α 0 Ζ : έχει ρίζα τον ακέραιο αριθμό ρ, τότε το ρ διαιρεί το α 0. έχει ρίζα το κλάσμα,
Διαβάστε περισσότερα4.1. Πολυώνυμα. Η έννοια του πολυωνύμου
4.1 Πολυώνυμα Η έννοια του πολυωνύμου ΟΡΙΣΜΟΙ 1. Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής αx ν, όπου α R, ν N (σταθερές) και x R (μεταβλητή).. Πολυώνυμο του x ονομάζουμε κάθε παράσταση της μορφής:
Διαβάστε περισσότεραΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ. Καηηγορημαηικός Λογιζμός
ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ Καηηγορημαηικός Λογιζμός Μοπθέρ Θεωπημάηων Υπάξρεη έλα αληηθείκελν ώζηε λα ηζρύεη θάηη. Υπαξμηαθόο πνζνδείθηεο Γηα θάζε αληηθείκελν ηζρύεη όηη θάηη. Καζνιηθόο πνζνδείθηεο 2 Καηηγοπήμαηα
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΛύσεις 2 ης Σειράς Ασκήσεων
Λύσεις 2 ης Σειράς Ασκήσεων Άσκηση 1 Στην άσκηση αυτή σας ζητείται να διατυπώσετε στον Κατηγορηματικό Λογισμό ένα σύνολο από απαιτήσεις/προτάσεις που σχετίζονται με ένα κοινωνικό δίκτυο χρησιμοποιώντας
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2017 Οργάνωση Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες Συνεπαγωγή Αποδείξεις
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ (ΑΡΙΘΜΗΤΙΚΗ ΤΙΜΗ,ΠΡΑΞΕΙΣ,ΙΣΟΤΗΤΑ) P( x) ( 4) x ( 8) x ( 5 6) x 16 είναι το μηδενικό πολυώνυμο.
ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ (ΑΡΙΘΜΗΤΙΚΗ ΤΙΜΗ,ΠΡΑΞΕΙΣ,ΙΣΟΤΗΤΑ) 1. Δίνονται τα πολυώνυμα: P ( x) x x, Q( x) x x 1. Να βρεθούν: a) P( x) Q( x) ) P( x) Q( x) ) P( x) Q( x). Να βρεθεί η τιμή του λ R για την οποία
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2018 Οργάνωση και περιεχόμενα Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...
HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016
Διαβάστε περισσότεραΠολυώνυμα. Πολυωνυμικές εξισώσεις. Athens Επιμέλεια: Χατζόπουλος Μάκης. 14/2/2012
Πολυώνυμα Πολυωνυμικές εξισώσεις Άλγεβρα 01 Β Λυκείου Athens 01 13 14//01 1. Περί πολυωνύμων (Α) Πολυώνυμα P x a x a x... a x a v v 1 Πολυώνυμο ονομάζουμε κάθε παράσταση της μορφής: όπου a v, a v-1,,a
Διαβάστε περισσότεραΚεφάλαιο 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ
Κεφάλαιο 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 4.1 πωλυωνυμα Η έννοια του πολυωνύμου Έστω x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε πραγματική τιμή. Καλούμε μονώνυμο του x κάθε παράσταση της μορφής
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να υπολογίσετε την προτασιακή μορφή των πιο κάτω προτάσεων. (α) xyz [(P(x,y) Q(y,z)) Q(x,y)] x P(x,f(x)) Βήμα 1: Μετατροπή σε Κανονική Μορφή Prenex: xyz [(P(x,y) Q(y,z))
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραΟ μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει:
Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει: Να αναγνωρίζει πότε μια αλγεβρική παράσταση της πραγματικής μεταβλητής x, είναι πολυώνυμο και να διακρίνει τα στοιχεία του: όροι, συντελεστές, σταθερός
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (
Διαβάστε περισσότερα2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ
ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΠοιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.
Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. 1. Κάθε πολυώνυμο ανάγωγο επί του Z είναι ανάγωγο επί του Q. Σωστό. 2. Κάθε πολυώνυμο ανάγωγο επί του Q είναι ανάγωγο επί
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/24/2017
Διαβάστε περισσότεραΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (1/7/ 2013) y x + y.
ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (/7/ 203) ΘΕΜΑ. (α) Δίνεται η συνάρτηση f : R 2 R με f(x, y) = xy x + y, αν (x, y) (0, 0) και f(0, 0) = 0. Δείξτε ότι η f είναι συνεχής στο (0, 0). (β) Εξετάστε αν
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ
ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Έννοια του πολυωνύμου. Ας υποθέσουμε ότι έχουμε μια μεταβλητή x που μπορεί να πάρει κάθε πραγματική τιμή. Μονώνυμο του x, είναι κάθε παράσταση της μορφής : x όπου α είναι
Διαβάστε περισσότερα1 ΓΡΑΠΤΕΣ ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ 2008
ΓΡΑΠΤΕΣ ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ 008 α). Να αποδείξετε ότι το υπόλοιπο της διαίρεσης ενός πολυωνύμου Ρ(x) με το πρωτοβάθμιο πολυώνυμο x ρ ισούται με την αριθμητική τιμή του Ρ(x) για x =
Διαβάστε περισσότεραΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ ΕΠΙΜΕΛΕΙΑ ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ. ΚΕΦΑΛΑΙΟ 4ο ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΕΠΙΜΕΛΕΙΑ: ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ
ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ ΚΕΦΑΛΑΙΟ 4ο ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΕΠΙΜΕΛΕΙΑ ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ 1 ΚΕΦΑΛΑΙΟ 4ο ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΠΟΛΥΩΝΥΜΑ 1. Τι καλούμε μονώνυμο, τι πολυώνυμο, τι όροι,τι συντελεστές
Διαβάστε περισσότεραβαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των
Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Ορισμός ελαχίστου πολυωνύμου γραμμικής απεικόνισης και ιδιότητές του Κριτήριο διαγωνισιμότητας
Διαβάστε περισσότερα\5. Κατηγορηματικός Λογισμός (Predicate Calculus)
\5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΟρισμένες σελίδες του βιβλίου
Ορισμένες σελίδες του βιβλίου 7. Θεωρούμε το σύνολο αναφοράς 0,,. Να οριστούν τα σύνολα: Α. των τριψηφίων αριθμών που σχηματίζουν τα στοιχεία του Ω. Β. των τριψηφίων αριθμών με διαφορετικά ψηφία Γ. των
Διαβάστε περισσότεραΑ Λ Γ Ε Β Ρ Α Β Λ Υ Κ Ε Ι Ο Υ. ΚΕΦΑΛΑΙΟ 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ
Α Λ Γ Ε Β Ρ Α Β Λ Υ Κ Ε Ι Ο Υ ΚΕΦΑΛΑΙΟ 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Συνοπτική Θεωρία Ασκήσεις της Τράπεζας Θεμάτων Ερωτήσεις Σωστού-Λάθους Διαγωνίσματα Επιμέλεια: Συντακτική ομάδα mathp.gr Συντονισμός
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό
Διαβάστε περισσότερα8. Να εξετάσετε με το σχήμα Horner αν τα πολυώνυμα x+1, x-3 είναι παράγοντες
ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΔΙΑΙΡΕΣΗ 1. Να γίνουν οι διαιρέσεις: α) (x 5 - x 3 + x - 9) : (x - 1) β) (x 7x 3 + x -15) : (x 3 +5) γ) (3x 3 - αx + α ) : (x - α) δ) [7x 3 - (9α + 7α )x + 9α ] : (x - α). Να γίνουν
Διαβάστε περισσότεραΘεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός
HY118- ιακριτά Μαθηµατικά Την προηγούµενη φορά Τρόποι απόδειξης Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter,
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Τετάρτη 24 Οκτωβρίου, 2018 Διάρκεια : 12:00 13:30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: ΠΡΟΧΕΙΡΕΣ
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Μαθηματικές Προτάσεις Στοιχεία Προτασιακής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότεραΔΑΜΙΑΝΟΣ ΓΙΑΝΝΗΣ ΑΛΓΕΒΡΑ Β ΛΥΚΕΙΟΥ ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ ΦΥΛΛΟ ΕΠΑΝΑΛΗΨΗΣ 1
ΘΕΜΑ Α ΦΥΛΛΟ 1 Α1. Να αποδείξετε ότι το υπόλοιπο υ της διαίρεσης ενός πολυωνύμου P(x) με το x - ρ είναι ίσο με την τιμή του πολυωνύμου για x = ρ. Είναι δηλαδή υ = P(ρ). Α. Να χαρακτηρίσετε τις προτάσεις
Διαβάστε περισσότεραΦροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018
Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 1//018 Σημείωση: Όλες οι παρακάτω αποδείξεις ακολουθούν την επαγωγική μέθοδο. Κάποια από τα παραδείγματα έχουν αποδειχθεί και με άλλες μεθόδους στο Φροντιστήριο
Διαβάστε περισσότερα2.1 Πολυώνυμα. 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; 3 2 ii. x iii. 3 iv. vi.
.1 Πολυώνυμα 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; i. 1 x + x ii. x + 7 x iii. 5 x + 7x x iv. 1 x + x v. 1 4 4 x + x + 4x vi. 1 x + 5x. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα
Διαβάστε περισσότεραΠολυωνυμική εξίσωση βαθμού ν ονομάζεται κάθε εξίσωση της μορφής α ν x ν +α ν-1 x ν α 1 x+α 0 =0,με α 0,α 1,...
3 0 ΛΥΚΕΙΟ ΚΕΡΑΤΣΙΝΙΟΥ Λ. ΒΟΥΛΓΑΡΗ ΜΑΘΗΜΑΤΙΚΟΣ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΕΞΙΣΩΣΕΙΣ ΠΟΥ ΑΝΑΓΟΝΤΑΙ ΣΕ ΠΟΛΥΩΝΥΜΙΚΕΣ Πολυωνυμική εξίσωση βαθμού ν ονομάζεται κάθε εξίσωση της μορφής α ν x ν +α ν-1 x ν-1 +...+α
Διαβάστε περισσότεραA, και εξετάστε αν είναι διαγωνίσιμη.
Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Θεώρημα (Κριτήριο διαγωνισιμότητας) Ένας είναι διαγωνίσιμος αν και μόνο αν ( x) γινόμενο διακεκριμένων
Διαβάστε περισσότερα1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x]
σκήσεις Ασκήσεις Ιδιοτιμές και ιδιοδιανύσματα Βασικά σημεία Ορισμός ιδιοτιμών και ιδιοδιανυσμάτων, υπολογισμός τους Ιδιόχωροι, διάσταση ιδιόχωρου, εύρεση βάσης ιδιόχωρου Σε διακεκριμένες ιδιοτιμές αντιστοιχούν
Διαβάστε περισσότεραΔ/νση Β /θµιας Εκπ/σης Φλώρινας Κέντρο ΠΛΗ.ΝΕ.Τ. Πολυώνυµα ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ
ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ Ορισµός Ονοµάζουµε ακέραιο πολυώνυµο του x κάθε έκφραση της µορφής : α ν x ν + α ν-1 x ν-1 + α ν-2 x ν-2 + +α 1 x + α 0 όπου α ν, α ν-1, α ν-2,, α 1, α 0 C και
Διαβάστε περισσότεραx < y ή x = y ή y < x.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή
Επαγωγή HY8- ιακριτά Μαθηµατικά Τρίτη, /03/06 Μαθηµατική Επαγωγή Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΜαθηματικά Γ Γυμνασίου. Επαναληπτικές Ασκήσεις στο Κεφάλαιο 1: 1.2-1.5 Μονώνυμα - Πολυώνυμα - Ταυτότητες
Μαθηματικά Γ Γυμνασίου Επαναληπτικές Ασκήσεις στο Κεφάλαιο 1: 1.2-1.5 Μονώνυμα - Πολυώνυμα - Ταυτότητες Αλγεβρικές παραστάσεις - Μονώνυμα Πράξεις με μονώνυμα Πολυώνυμα Πρόσθεση και Αφαίρεση πολυωνύμων
Διαβάστε περισσότεραMαθηματική Λογική και Λογικός Προγραμματισμός
ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΤΗΜΑΤΩΝ ΦΕΒΡΟΥΑΡΙΟΥ 2004 Θέμα 1 ο : Αποδείξτε με τον κανόνα της επίλυσης τα ακόλουθα Α. Η πρόταση (Α (Β C)) & (A B) & (A C) είναι μη επαληθεύσιμη Β. Η Β είναι αποδείξιμη από το Δ={ (Β
Διαβάστε περισσότερα(x) = δ(x) π(x) + υ(x)
Μάθηµα 12 Κεφάλαιο 4ο: Πολυώνυµα Πολυωνυµικές Εξισώσεις Θεµατικές Ενότητες: Α. ιαίρεση Πολυωνύµων Β. Σχήµα Horner Η ταυτότητα της Ευκλείδειας διαίρεσης Αν ( χ), δ ( χ) δύο πολυώνυµα µε δ ( χ) 0 και βαθµούς
Διαβάστε περισσότεραΠανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός
Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό
Διαβάστε περισσότεραΠΟΛΥΩΝΥΜΑ-ΠΡΟΣΘΕΣΗ ΚΑΙ ΑΦΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ
ΜΕΡΟΣ Α 1. ΠΟΛΥΩΝΥΜΑ-ΠΡΟΣΘΕΣΗ ΚΑΙ ΑΦΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ 51 1. ΠΟΛΥΩΝΥΜΑ-ΠΡΟΣΘΕΣΗ ΚΑΙ ΑΦΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ Πολυώνυμα Όπως είδαμε στην προηγούμενη ενότητα Το άθροισμα όμοιων μονώνυμων είναι ένα μονώνυμο όμοιο
Διαβάστε περισσότεραΚατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε
Στοιχεία Κατηγορηµατικής Λογικής ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηµατική
Διαβάστε περισσότερα