ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ"

Transcript

1 ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα : [8 μονάδες] (a) [6] O Αντώνης (Α), ο Βασίλης (Β) και ο Γιώργος (Γ) κατηγορούνται για κάποιο αδίκημα. Κατά τη σχετική διερεύνηση, έκαναν τις παρακάτω δηλώσεις: O A είπε: Ο Β είναι ένοχος και ο Γ είναι αθώος. O Β είπε: Αν ο Α είναι ένοχος τότε και ο Γ είναι ένοχος. O Γ είπε: Δεν είμαι ένοχος. Κάποιος από τους άλλους το έκανε, ενδεχομένως και οι δύο. i. Υποθέτοντας ότι όλοι είναι ένοχοι, ποιος είπε ψέματα κατά τη διάρκεια της διερεύνησης; ii. Υποθέτοντας ότι κανείς δεν είπε ψέματα, ποιος είναι αθώος και ποιος ένοχος; (b) [6] Θεωρείστε το σύνολο D όλων των ανθρώπων. Θεωρείστε επίσης τις προτασιακές μορφές A(x,y) = Ο x αγαπά τον y και Μ(x,y) = Ο x μισεί τον y. Χρησιμοποιώντας μεταβλητές ορισμένες στο D καθώς και τις παραπάνω προτασιακές μορφές, εκφράστε τις παρακάτω προτάσεις στον κατηγορηματικό λογισμό: i. Π: Όλοι αγαπούν τους πάντες εκτός από τον εαυτό τους. ii. Π: Καθένας που αγαπά τη Μαρία μισεί όλους όσους η Μαρία αγαπά. (c) [6] Θεωρείστε τα παρακάτω κατηγορήματα, Q(x,y)= x y, R(x)= x 7=, S(x)= x>9. Εάν το πεδίο ορισμού των μεταβλητών είναι το σύνολο των πραγματικών αριθμών, δώστε (τεκμηριωμένα) την τιμή αληθείας των παρακάτω προτάσεων: i. Π3: y x [S(y) Q(x,y)] ii. Π4: x y [{R(x) S(y)} Q(x,y)] (a) (i) Έστω οι προτάσεις Α = Ο Α είναι ένοχος, B = Ο B είναι ένοχος, Γ = Ο Γ είναι ένοχος. O A είπε: (B Γ), ο Β είπε: ΑΓ, ο Γ είπε: Γ (A B). Εφόσον όλοι είναι ένοχοι, οι προτάσεις Α, Β, Γ είναι αληθείς και επομένως αυτά που είπαν οι Α και Γ είναι ψέματα. (ii) Εφόσον κανείς δεν λέει ψέματα, και οι τρεις προτάσεις που είπαν οι Α, Β, Γ είναι αληθείς. Αν κάνουμε τον πίνακα αληθείας των τριών προτάσεων θα δούμε ότι αυτό συμβαίνει μόνο στην περίπτωση που Β είναι ένοχος είναι και οι άλλοι δύο είναι αθώοι. Α Β Γ B Γ ΑΓ Γ (A B) F F F F T F F F T F T F 3 F T F T T T 4 F T T F T F 5 T F F F F T 6 T F T F T F 7 T T F T F T 8 T T T F T F Από τη γραμμή 8 προκύπτει ποιος λέει την αλήθεια όταν όλοι είναι ένοχοι στο ερώτημα (i) και από τη γραμμή 3 (ότι δηλώνεται είναι αληθές) προκύπτει το ποιος είναι αθώος ή ένοχος στο ερώτημα (ii). (b) (i) x y (Α(x, y) x y). Η πρόταση αυτή διαβάζεται «Δύο άνθρωποι x, y αγαπιούνται αν και μόνο αν είναι διαφορετικοί μεταξύ τους» (άρα αν είναι διαφορετικοί αγαπιούνται, και κανένας δεν αγαπά τον εαυτό του). Σελίδα από 5

2 Ένα συνηθισμένο λάθος είναι να διατυπώσει κανείς την εξής πρόταση: x y [Α(x, y) A(x, x)]. Αυτή η πρόταση σημαίνει όλοι αγαπούν τους πάντες και όλοι δεν αγαπούν τον εαυτό τους, η οποία είναι αντίφαση (γιατί εφόσον τους αγαπούν όλους, δεν μπορούν να μην αγαπούν τον εαυτό τους). (ii) x y [Α(x,Μαρία) {(Α(Μαρία, y) Μ( x, y)}]. Αυτή η πρόταση είναι ισοδύναμη με την πρόταση x y [{Α(x,Μαρία) Α(Μαρία, y)} Μ( x, y)] (c) (i) Η Π3 είναι ψευδής, γιατί δεν υπάρχει πραγματικός y που να είναι μεγαλύτερος από όλους τους άλλους πραγματικούς, ακόμα κι αν θεωρούμε ενδεχόμενες τιμές του y που είναι μεγαλύτερες του 9. (ii) Η Π4 είναι αληθής. Για να είναι αυτή η πρόταση ψευδής πρέπει να υπάρχουν x, y τέτοια ώστε η R(x) S(y) ναι είναι αληθής και ταυτόχρονα η Q(x,y) να είναι ψευδής. Δηλαδή, πρέπει να ισχύει ότι x=9, y>9 και x>y. Αυτό όμως είναι άτοπο. Ένας άλλος πιο τυπικός τρόπος απόδειξης είναι ο εξής: x y [{R(x) S(y)} Q(x,y)] x y [ {{R(x) S(y)} Q(x,y)] x y [ R(x) S(y) Q(x,y)] x y [(x 9) (y 9) (x y)] x y [T (x y)] x y [T] T Θέμα : [5 μονάδες] (a) [5] Ποια στοιχεία έχει το σύνολο A X P(A), εάν A = {a, }; (Σημείωση: To X συμβολίζει το καρτεσιανό γινόμενο και το P(A) το δυναμοσύνολο του συνόλου Α). (b) [5] Έστω τα σύνολα B, Γ. Εάν Β Χ Β = Γ Χ Γ, μπορούμε να συνάγουμε ότι Β=Γ; (c) [5] Υπάρχουν 8 διαφορετικά μαθήματα που δίνονται σε ένα εξάμηνο, και κάθε φοιτητής πρέπει να εγγραφεί σε 5 από αυτά. Ποιο είναι το ελάχιστο πλήθος φοιτητών έτσι ώστε, ανεξάρτητα με το τι αυτοί θα επιλέξουν, να έχουμε 0 φοιτητές που να έχουν εγγραφεί στα ίδια ακριβώς μαθήματα; (a) (b) Έστω ότι x є Β: x є Β => (x, x) є ΒxΒ. Εφόσον Β Χ Β = Γ Χ Γ, (x, x) є ΓxΓ => x є Γ. Άρα το Β είναι υποσύνολο του Γ. Έστω ότι x є Γ: x є Γ => (x, x) є ΓxΓ => Εφόσον Β Χ Β = Γ Χ Γ, (x, x) є ΒxΒ => x ε Β. Άρα το Γ είναι υποσύνολο του Β. Άρα, Β = Γ. (c) Υπάρχουν C(8,5) = 56 διαφορετικές επιλογές 5 μαθημάτων (περιστερώνες). Για φοιτητές, από την αρχή του περιστερώνα θα υπάρχουν /56 φοιτητές με το ίδιο ακριβώς σύνολο μαθημάτων. Θέλουμε / 56 0 και επομένως = = 505. Θέμα 3: [4 μονάδες] Σελίδα από 5

3 (a) [7] Αποδείξτε επαγωγικά ότι για κάθε ακέραιο, 4 + = + 3., ισχύει ότι ( i ) (b) [7] Σε ένα γκάλοπ ερωτήθηκαν 60 άνθρωποι για τις προτιμήσεις τους σε σχέση με το φαγητό. Μεταξύ αυτών, 6 προτιμούν πίτσα, 3 μακαρονάδα, και 30 κρέας. Υπάρχουν 4 στους οποίους αρέσει και η πίτσα και η μακαρονάδα, 7 στους οποίους αρέσει η πίτσα και το κρέας, 0 που τους αρέσει η μακαρονάδα και το κρέας, και στους οποίους αρέσουν και τα τρία. Σε πόσους ανθρώπους δεν αρέσει τίποτε απ όλα αυτά; (a) Βάση της επαγωγής: Για =, ( ) ( ) ισχύει. 4 + = 4 + = 4+ = 5= + 3 = + 3 i i, Επαγωγική υπόθεση: Έστω ότι η πρόταση ισχύει για =k, δηλαδή k ( i ) 4 + = k + 3k Επαγωγικό βήμα: Θα δείξω ότι ισχύει για =, δηλαδή: ( ) Πράγματι, 4i+ = ( ) + 3( ). ( 4i+ ) = ( 4i+ ) + 4( ) + = k = k () k Επίσης, ( ) + 3( ) = ( k + ) + 3k = k () Επομένως, από () και () προκύπτει ότι ( ) Επομένως, για κάθε ακέραιο, 4i+ = ( ) + 3( ). ισχύει ότι ( i ) 4 + = + 3. (b) Έστω Π το σύνολο αυτών που τους αρέσει η πίτσα, Μ το σύνολο αυτών που τους αρέσει η μακαρονάδα και Κ το σύνολο αυτών που τους αρέσει το κρέας. Γνωρίζουμε ότι: Π = 6, Μ = 3, Κ = 30, Π Μ = 4, Π Κ =7, Μ Κ = 0, Π Μ Κ =. Από την αρχή του εγκλεισμού/αποκλεισμού προκύπτει ότι Π U Μ U Κ = Π + Μ + Κ - Π Μ - Π Κ - Μ Κ + Π Μ Κ = 59. Επομένως, αν Χ το σύνολο αυτών που δεν τους αρέσει ούτε η πίτσα, ούτε η μακαρονάδα, ούτε το κρέας, ισχύει ότι Χ = 60 - Π U Μ U Κ = 60-59=. Θέμα 4: [5 μονάδες] (a) [8] Έστω η σχέση R ορισμένη επί του δυναμοσυνόλου P(Α) ενός συνόλου Α ως εξής: X, Y P( A), X, Y R X Y. ( ) Είναι η σχέση R (i) ανακλαστική, (ii) συμμετρική, (iii) μεταβατική; Δικαιολογείστε την απάντησή σας. (b) [7] Έστω ότι η σχέση S που σχετίζει δύο γράφους F και G αν και μόνο αν ο F είναι υπογράφημα του G. Δείξτε ότι η σχέση S είναι σχέση μερικής διάταξης. Σελίδα 3 από 5

4 (a) Έστω X =. X P( A). Όμως, X X. Άρα, η σχέση R δεν είναι ανακλαστική. = Επομένως το (, ) Η σχέση R είναι συμμετρική γιατί αν ισχύει ότι X, Y P( A), (, ) τότε ισχύει και ότι X, Y P( A), ( X, Y) R Y X. X X δεν ανήκει στη σχέση R. X Y R X Y, Η σχέση δεν είναι μεταβατική, θα το δείξουμε με αντιπαράδειγμα. Έστω το σύνολο Α={,,3,4}. Έστω τα υποσύνολά του (στοιχεία του P(Α)) X={,}, Y={,3}, Z={3,4}. X Y = {} ( X, Y) R. Επίσης Υ Ζ= {3} ( Y, Z) R. Παρόλο όμως που ( X, Y) R και ( Y, Z) R, το ( Y, Z) R, γιατί Χ Ζ=.. (b) Είναι γιατί έχει την ανακλαστική, αντισυμμετρική και μεταβατική ιδιότητα. Υπενθυμίζεται ότι η σχέση υπογραφήματος μεταξύ δύο γράφων ορίζεται με βάση τη σχέση υποσυνόλου στα σύνολα των κορυφών και των ακμών τους. Επομένως, η σχέση υπογραφήματος είναι σχέση μερικής διάταξης γιατί και η σχέση υποσυνόλου είναι σχέση μερικής διάταξης. Θέμα 5: [5 μονάδες] (a) [7] Από ένα σύνολο 7 ανδρών και 3 γυναικών: i. Πόσες τριμελείς επιτροπές μπορούμε να φτιάξουμε αν η επιτροπή έχει θέση προέδρου, αντιπροέδρου και γραμματέα; ii. Πόσες πενταμελείς επιτροπές μπορούμε να φτιάξουμε αν αυτή πρέπει να αποτελείται από τέσσερεις άνδρες και μία γυναίκα ή τρεις άνδρες και δύο γυναίκες; (b) [8] Δέκα φίλοι, αποφάσισαν να παίξουν ένα αγώνα μπάσκετ. Με πόσους τρόπους μπορούν να χωριστούν σε δύο ομάδες των πέντε ατόμων; (a) (i) Εφόσον τα μέλη της επιτροπής έχουν διαφορετικούς ρόλους, μας ενδιαφέρει η σειρά της επιλογής, επομένως ζητούμε το πλήθος των διατάξεων τριών ατόμων από δέκα, δηλαδή P(0,3)= 0!/3! = 70 (ii) Τα μέλη της επιτροπής είναι ισοδύναμα, άρα μας ενδιαφέρει να καταμετρήσουμε συνδυασμούς. Έχουμε C(7,4)xC(3,) τρόπους για να φτιάξουμε επιτροπές με 4 άντρες και γυναίκα και + C(7,3)xC(3,) τρόπους να φτιάξουμε επιτροπές με τρεις άντρες και δύο γυναίκες. Άρα, από τον κανόνα του αθροίσματος, συνολικά C(7,4)xC(3,) + C(7,3)xC(3,) = 0 επιτροπές. (b) Όλα τα μέλη μιας ομάδας είναι ισοδύναμα, οπότε μας ενδιαφέρουν οι συνδυασμοί και όχι η διάταξη. Πρέπει λοιπόν να επιλέξουμε 5 άτομα από τα δέκα και τα υπόλοιπα πέντε από τα πέντε που απομένουν, δηλαδή, C(0,5) x C(5,5) = 5 x = 5. Ωστόσο, τελικά, έχουμε τις μισές από αυτές τις επιλογές, γιατί οι 5 τρόποι που βρήκαμε συμπεριλαμβάνουν δύο φορές την κάθε λύση. Για παράδειγμα, έστω ότι μία από τις επιλεγμένες 5άδες είναι η Α={π, π, π3, π4, π5}. Τότε η άλλη ομάδα είναι η Β={π6, π7, π8, π9, π0}. Στους 5 τρόπους συμπεριλαμβάνεται και η επιλογή των Α={π6, π7, π8, π9, π0} και των υπολοίπων Β={π, π, π3, π4, π5). Οι δύο αυτές λύσεις όμως δεν είναι διαφορετικές μεταξύ τους. Άρα οι διαφορετικές διαμερίσεις σε ομάδες των 5 ατόμων είναι 5/=6. Θέμα 6: [8 μονάδες] (a) [9] Σε ένα πάρτι, τέσσερα αγόρια και τέσσερα κορίτσια φέρνουν από ένα δώρο το οποίο και θα ανταλλάξουν. Κάθε αγόρι επιλέγει τυχαία ένα κορίτσι και του δίνει το δώρο του. Επίσης, κάθε κορίτσι επιλέγει τυχαία ένα αγόρι και του δίνει το δώρο της. Βρείτε την πιθανότητα κάθε παιδί να πάρει ακριβώς ένα δώρο. Σελίδα 4 από 5

5 (b) [9] Από τους επισκέπτες που φτάνουν σε ένα μικρό αεροδρόμιο, το 60% χρησιμοποιεί κανονικό αεροπορικό δρομολόγιο, το 30% χρησιμοποιεί ιδιωτικό αεροπλάνο και οι υπόλοιποι νοικιάζουν αεροπλάνο. Για επαγγελματικούς λόγους ταξιδεύει το 50% αυτών που ταξιδεύουν με κανονικό αεροπορικό δρομολόγιο, το 60% αυτών που χρησιμοποιούν ιδιωτικά αεροπλάνα και το 90% αυτών που νοικιάζουν αεροπλάνα. Υποθέστε ότι επιλέγουμε τυχαία έναν άνθρωπο που φτάνει στο αεροδρόμιο αυτό. Ποια είναι η πιθανότητα αυτός ο άνθρωπος: i. Να ταξιδεύει για επαγγελματικούς λόγους. ii. Να ταξιδεύει για επαγγελματικούς λόγους με ιδιωτικό αεροπλάνο. iii. Να έφτασε με ιδιωτικό αεροπλάνο δεδομένου ότι ταξιδεύει για επαγγελματικούς λόγους. (a) Πρέπει να βρούμε με πόσους τρόπους μπορεί να επιτευχθεί το να πάρει κάθε άτομο ακριβώς ένα δώρο, διά το πλήθος όλων των ενδεχόμενων τρόπων κατανομής των δώρων. Τα 4 δώρα των αγοριών μπορούν να πάνε σε 4 διαφορετικά κορίτσια με 4! τρόπους. Ομοίως, τα 4 δώρα των κοριτσιών μπορούν να πάνε σε 4 διαφορετικά αγόρια με 4! τρόπους. Όλες οι δυνατές αναθέσεις δώρων είναι 4 8. Επομένως, η ζητούμενη πιθανότητα είναι 4!4!/ 4 8 = (b) Έστω Β το ενδεχόμενο «ταξιδεύει για επαγγελματικούς λόγους», Μ «ταξιδεύει με κανονικό δρομολόγιο», P «ταξιδεύει με ιδιόκτητο αεροπλάνο», C «Ενοικιάζει αεροπλάνο». i. P(B) = P(B M)P(M) + P(B P)P(P) + P(B C)P(C) = 0.6 x x x 0.9 = 0.57 ii. P(B P) = P(B P)P(P)=0.3x0.6 = 0.8 Iii. P(P B) P(B P)P(B)= 0.8/0.57 = Θέμα 7: [5 μονάδες] (a) [8] Μπορεί ένας διμερής γράφος να έχει κύκλωμα με περιττό πλήθος ακμών; (b) [7] Είναι οι παρακάτω γράφοι Α, Β ισομορφικοί; Αν ναι, δείξτε τον ισομορφισμό. Αν όχι, εξηγείστε γιατί. (a) Όχι, δεν είναι δυνατόν. Έστω Α, Β τα δύο υποσύνολα κορυφών του διμερούς γράφου. Χωρίς περιορισμό της γενικότητας, ας υποθέσουμε ότι το κύκλωμα ξεκινά και καταλήγει σε κορυφή του συνόλου Α. Επειδή ο γράφος είναι διμερής, οι ακμές περιττής τάξης, μας μεταφέρουν από κορυφή του συνόλου Α σε κορυφή του συνόλου Β. Οι ακμές άρτιας τάξης, μας μεταφέρουν από κορυφή του συνόλου Β σε κορυφή του συνόλου Α. Επομένως, ένα κύκλωμα, πρέπει να έχει υποχρεωτικά άρτιο πλήθος ακμών. (b) Όχι, δεν είναι ισομορφικοί. Και οι δύο γράφοι, έχουν ακριβώς μία κορυφή βαθμού τέσσερα. Όμως οι γείτονες του κόμβου αυτού στο γράφο Α έχουν βαθμούς {,, 3, 3}, ενώ στον Β έχουν βαθμούς {,, 3, 3}. Μπορούν ωστόσο να διατυπωθούν και άλλα επιχειρήματα. Για παράδειγμα, ο γράφος A δεν έχει μονοπάτι Hamilto, ενώ ο Β έχει. Σελίδα 5 από 5

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):

Διαβάστε περισσότερα

Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018

Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018 Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018 Άσκηση 9.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.

Διαβάστε περισσότερα

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους Άσκηση 10.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2016

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2016 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 7 η Σειρά Ασκήσεων - λύσεις Άσκηση 7.1 [1 μονάδα] Ένα ζευγάρι έχει δύο παιδιά. Θεωρούμε ότι είναι το ίδιο πιθανό να γεννηθεί αγόρι ή κορίτσι. a. Ποια είναι

Διαβάστε περισσότερα

LÔseic Ask sewn sta Jemèlia twn Majhmatik n I

LÔseic Ask sewn sta Jemèlia twn Majhmatik n I LÔseic Ask sewn sta Jemèlia twn Majhmatik n I Rwmanìc-Diogènhc Maliki shc Tetˆrth, 6 OktwbrÐou 2010 Άσκηση 1. Για τυχόντα σύνολα A, B, C, D, να δειχθεί ότι (α ) A (B \ C) = ((A B) \ C) (A C). (β ) (A \

Διαβάστε περισσότερα

Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017

Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017 Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017 Άσκηση 8.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016

Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016 Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016 Άσκηση 8.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

i) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a

i) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Άσκηση 1.9 (σελ. 17), από τις σημειώσεις του Σκανδάλη. Εστω A, B δεδομένα σύνολα. Θα χρησιμοποιήσουμε τα αξιώματα αλλά αναφερόμενοι, αποκλειστικά, είτε

Διαβάστε περισσότερα

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

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,

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

Διαβάστε περισσότερα

a. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.

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 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2019 1 η Σειρά Ασκήσεων (Προτασιακός Λογισμός) Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου Σημείωση: Όλες οι απαντήσεις πρέπει να είναι τεκμηριωμένες

Διαβάστε περισσότερα

, για κάθε n N. και P είναι αριθμήσιμα.

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Να βρείτε το σφάλμα στην πιο κάτω απόδειξη. Ισχυρισμός: Όλα τα βιβλία που έχουν γραφτεί στη Θεωρία Υπολογισμού έχουν τον ίδιο

Διαβάστε περισσότερα

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89. Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις Σ Λ 2. Για τα ενδεχόμενα Α και Β ισχύει η ισότητα: A ( ) ( ') ( ' )

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89. Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις Σ Λ 2. Για τα ενδεχόμενα Α και Β ισχύει η ισότητα: A ( ) ( ') ( ' ) ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89 Ον/μο:.. Α Λυκείου Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις 6-0- Θέμα ο : Α.. Να δώσετε τον ορισμό της εξίσωσης ου βαθμού (μον.) Α.. Αν, ρίζες της εξίσωσης 0, να αποδείξετε ότι

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

β) 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, ή με άλλα

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 3 η Εργασία: Γενική Εικόνα Αξιόλογη προσπάθεια,

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 3 η Σειρά Ασκήσεων - Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω Α={1,2,3,{1,3},4,{5,6}}. Ποιες από τις παρακάτω προτάσεις είναι σωστές και ποιες λάθος; i. {5,6} Α vi.

Διαβάστε περισσότερα

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017 Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017 ΕΓΘΑ : Σ. Κοσμαδάκης, «Εισαγωγή στα Γραφήματα, Θεωρία-Ασκήσεις». Α 1 Έστω η παρακάτω σχέση Q(k) πάνω στο σύνολο {1, 2} όπου k τυχαίος

Διαβάστε περισσότερα

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Σεπτέμβριος 2017

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Σεπτέμβριος 2017 Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Σεπτέμβριος 2017 Όλα τα γραφήματα είναι μη-κατευθυνόμενα, αν δεν αναφέρεται κάτι άλλο. ΕΓΘΑ : Σ. Κοσμαδάκης, «Εισαγωγή στα Γραφήματα, Θεωρία-Ασκήσεις».

Διαβάστε περισσότερα

Γιατί πιθανότητες; Γιατί πιθανότητες; Θεωρία πιθανοτήτων. Θεωρία Πιθανοτήτων. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017.

Γιατί πιθανότητες; Γιατί πιθανότητες; Θεωρία πιθανοτήτων. Θεωρία Πιθανοτήτων. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017. HY118-Διακριτά Μαθηματικά Τρίτη, 02/05/2017 Θεωρία πιθανοτήτων Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 04-May-17 1 1 04-May-17 2 2 Γιατί πιθανότητες; Γιατί πιθανότητες; Στον προτασιακό και κατηγορηματικό

Διαβάστε περισσότερα

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013 ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά

Διαβάστε περισσότερα

x (a 1 + a 2 ) mod 9, y (a 1 a 2 ) mod 9.

x (a 1 + a 2 ) mod 9, y (a 1 a 2 ) mod 9. Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΗΜΥ 311: Διακριτη Αναλυση και Δομες Χειμερινό Εξάμηνο 2017-2018 Καθηγητής: Χριστόφορος Χατζηκωστής Τελική Εξέταση Πέμπτη, 14 Δεκεμβρίου,

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ20, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 203, Α ΜΕΡΟΣ ΣΥΜΠΛΗΡΩΣΤΕ ΤΑ ΣΤΟΙΧΕΙΑ ΣΑΣ ΚΑΙ ΜΗΝ ΑΝΟΙΞΕΤΕ ΤΑ ΕΡΩΤΗΜΑΤΑ ΑΝ ΔΕΝ ΣΑΣ ΠΕΙ Ο ΕΠΙΤΗΡΗΤΗΣ ΕΠΩΝΥΜΟ ΟΝΟΜΑ... ΠΑΤΡΩΝΥΜΟ...ΤΜΗΜΑ..

Διαβάστε περισσότερα

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί. Γραμμική Άλγεβρα Ι, 07-8 Ασκήσεις7: Γραμμικές Απεικονίσεις Βασικά σημεία Ορισμός και παραδείγματα γραμμικών απεικονίσεων Σύνθεση γραμμικών απεικονίσεων, ισομορφισμοί Κάθε γραμμική απεικόνιση f : V W, όπου

Διαβάστε περισσότερα

2 ) d i = 2e 28, i=1. a b c

2 ) d i = 2e 28, i=1. a b c ΑΣΚΗΣΕΙΣ ΘΕΩΡΙΑΣ ΓΡΑΦΩΝ (1) Εστω G απλός γράφος, που έχει 9 κορυφές και άθροισμα βαθμών κορυφών μεγαλύτερο του 7. Αποδείξτε ότι υπάρχει μια κορυφή του G με βαθμό μεγαλύτερο ή ίσο του 4. () Αποδείξτε ότι

Διαβάστε περισσότερα

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015 Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015 Άσκηση Φ5.1: (α) Έστω οι συναρτήσεις διάγραμμα. f : A B, : g B C και h: C D που ορίζονται στο παρακάτω Υπολογίστε την συνάρτηση h

Διαβάστε περισσότερα

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Εισαγωγή σε βασικές έννοιες. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Εισαγωγή σε βασικές έννοιες. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Θεωρία Γραφημάτων Ενότητα: Εισαγωγή σε βασικές έννοιες Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος Τμήμα: Μαθηματικών Θεωρία Γραφημάτων Χάρης Παπαδόπουλος 2012, Διάλεξη Κεφαλαίου 1 Περιεχόμενα

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

Διαβάστε περισσότερα

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ.

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ. Παραδείγματα Απαρίθμησης Γνωστό: P (M 2 M τρόποι επιλογής υποσυνόλου του M Τεχνικές Απαρίθμησης Πχ M {A, B, C} P (M 2 3 8 #(Υποσυνόλων με 2 στοιχεία ( 3 2 3 #(Διατεταγμένων υποσυνόλων με 2 στοιχεία 3 2

Διαβάστε περισσότερα

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων ημήτρης Φωτάκης ιακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 3 η Εργασία: Γενική Εικόνα Ικανοποιητική εικόνα, αντίστοιχη

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 7: Σχέσεις και Συναρτήσεις

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 7: Σχέσεις και Συναρτήσεις Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 7: Σχέσεις και Συναρτήσεις Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών

Διαβάστε περισσότερα

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Μαθηματικές Προτάσεις Στοιχεία Προτασιακής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο

Διαβάστε περισσότερα

(ii) X P(X). (iii) X X. (iii) = (i):

(ii) X P(X). (iii) X X. (iii) = (i): Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Δείξτε ότι ισχύουν τα ακόλουθα: (i) ω / ω (με άλλα λόγια, το ω δεν είναι φυσικός αριθμός). (ii) Για κάθε n ω, ισχύει ω / n. (iii) Για κάθε n ω, το n

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/9/2017

Διαβάστε περισσότερα

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

#(A B) = (#A)(#B). = 2 6 = 1/3,

#(A B) = (#A)(#B). = 2 6 = 1/3, Κεφάλαιο 4 Πιθανότητες και συνδυαστική Οπως είδαμε σε κάποια παραδείγματα των προηγουμένων κεφαλαίων, συχνά συναντάμε καταστάσεις όπου όλες οι δυνατές εκφάνσεις ενός τυχαίου πειράματος έχουν την ίδια πιθανότητα.

Διαβάστε περισσότερα

κ.λπ. Ισχύει πως x = 100. Οι διαφορετικές λύσεις αυτής της εξίσωσης χωρίς κανένα περιορισμό είναι

κ.λπ. Ισχύει πως x = 100. Οι διαφορετικές λύσεις αυτής της εξίσωσης χωρίς κανένα περιορισμό είναι Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Διακριτά Μαθηματικά 3 η γραπτή εργασία, Σχέδιο Λύσεων Επιμέλεια: Δ. Φωτάκης, Δ. Σούλιου ΘΕΜΑ (Συνδυαστική,.6 μονάδες)

Διαβάστε περισσότερα

1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8)

1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8) Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΗΜΥ 311: Διακριτη Αναλυση και Δομες Χειμερινό Εξάμηνο 2015-2016 Καθηγητής: Χριστόφορος Χατζηκωστής Τελική Εξέταση Τρίτη, 22 Δεκεμβρίου,

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Τετάρτη 24 Οκτωβρίου, 2018 Διάρκεια : 12:00 13:30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: ΠΡΟΧΕΙΡΕΣ

Διαβάστε περισσότερα

jτο πλήθος των ταξιδιών που κάνει η αεροσυνοδός µέχρι την j ηµέρα. Σχηµατίζω µία ακολουθία που αποτελείται από τα a.

jτο πλήθος των ταξιδιών που κάνει η αεροσυνοδός µέχρι την j ηµέρα. Σχηµατίζω µία ακολουθία που αποτελείται από τα a. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ ιδάσκοντες: Φωτάκης, Σούλιου, Θ Λιανέας η Γραπτή Εργασία Θέµα (Αρχή του Περιστερώνα, 8 µονάδες) α)

Διαβάστε περισσότερα

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Μαθηματική Επαγωγή ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Τεχνικές Απόδειξης Εξαντλητική

Διαβάστε περισσότερα

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016 Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016 Άσκηση Φ4.1: Θεωρείστε τις ακόλουθες σχέσεις επί του συνόλου Α={1, 2, 3} 1. R={(1, 1), (1, 2), (1, 3), (3, 3)} 2. S={(1, 1), (1, 2), (2, 1), (2, 2),

Διαβάστε περισσότερα

Επαναληπτικές Ασκήσεις στα Σύνολα

Επαναληπτικές Ασκήσεις στα Σύνολα Επαναληπτικές Ασκήσεις στα Σύνολα ) Εξετάστε αν η παρακάτω πρόταση είναι αληθής για οποιαδήποτε σύνολα Α,Β,C. Δικαιολογήστε την απάντηση σας Αν A B και B C, τότε Α C έστω Β {α,β,γ}, αφού Α B τότε ένα παράδειγμα

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2 ΔΙΑΤΑΞΕΙΣ, ΜΕΤΑΘΕΣΕΙΣ, ΣΥΝΔΥΑΣΜΟΙ

ΚΕΦΑΛΑΙΟ 2 ΔΙΑΤΑΞΕΙΣ, ΜΕΤΑΘΕΣΕΙΣ, ΣΥΝΔΥΑΣΜΟΙ ΚΕΦΑΛΑΙΟ ΔΙΑΤΑΞΕΙΣ ΜΕΤΑΘΕΣΕΙΣ ΣΥΝΔΥΑΣΜΟΙ Εισαγωγή. Οι σχηματισμοί που προκύπτουν με την επιλογή ενός συγκεκριμένου αριθμού στοιχείων από το ίδιο σύνολο καλούνται διατάξεις αν μας ενδιαφέρει η σειρά καταγραφή

Διαβάστε περισσότερα

C(10,3) (10 3)!3! 7!3! 7!2 3

C(10,3) (10 3)!3! 7!3! 7!2 3 Φροντιστήριο #8 Ασκήσεις σε Πιθανότητες 8/5/2018 Άσκηση Φ8.1 Τρεις λαμπτήρες επιλέγονται τυχαία από ένα σύνολο 15 λαμπτήρων εκ των οποίων οι 5 είναι ελαττωματικοί. Υπολογίστε την πιθανότητα: (α) Κανείς

Διαβάστε περισσότερα

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις

Διαβάστε περισσότερα

ψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1

ψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1 Ασκήσεις στο μάθημα της Λογικής 15 Οκτωβρίου 2015 Άσκηση 1. Να δειχτεί ότι δεν υπάρχουν τύποι μήκους 2,3,6 αλλά κάθε άλλο (θετικό ακέραιο) μήκος είναι δυνατό (άσκηση 2, σελίδα 39) Απόδειξη. Δείχνουμε πρώτα

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 19/05/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/21/2015 1 1 5/21/2015 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 17/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

Διαβάστε περισσότερα

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 3 η Εργασία: Γενική Εικόνα Αρκετά απαιτητικά ερωτήματα,

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:

Διαβάστε περισσότερα

ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α

ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α 1. (2.5 μονάδες) Ο κ. Ζούπας παρέλαβε μία μυστηριώδη τσάντα από το ταχυδρομείο. Όταν

Διαβάστε περισσότερα

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση Διμελής Σχέση Σχέσεις Διδάσκοντες: Φ. Αφράτη, Δ. Επιμέλεια διαφανειών: Δ. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διατεταγμένο ζεύγος (α, β): Δύο αντικείμενα

Διαβάστε περισσότερα

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης Μαθηματικά: Αριθμητική και Άλγεβρα Μάθημα 3 ο, Τμήμα Α Ο πυρήνας των μαθηματικών είναι οι τρόποι με τους οποίους μπορούμε να συλλογιζόμαστε στα μαθηματικά. Τρόποι απόδειξης Επαγωγικός συλλογισμός (inductive)

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Παρασκευή, 04/04/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/7/2017

Διαβάστε περισσότερα

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018 Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 1//018 Σημείωση: Όλες οι παρακάτω αποδείξεις ακολουθούν την επαγωγική μέθοδο. Κάποια από τα παραδείγματα έχουν αποδειχθεί και με άλλες μεθόδους στο Φροντιστήριο

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 3: Σύνολα Συνδυαστική Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

Διαβάστε περισσότερα

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης HY118- ιακριτά Μαθηµατικά Παρασκευή, 04/04/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 4/7/2017

Διαβάστε περισσότερα

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή Μαθηματική Επαγωγή Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Τεχνικές Απόδειξης Εξαντλητική

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 10/05/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 10-May-18 1 1 Θεωρία γράφων / γραφήματα 10-May-18 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δομώνκαι

Διαβάστε περισσότερα

Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχέσεις Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διμελής Σχέση Διατεταγμένο ζεύγος (α, β):

Διαβάστε περισσότερα

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

x < A y f(x) < B f(y).

x < A y f(x) < B f(y). Χειμερινό Εξάμηνο 2016 2017 Ασκήσεις στα Κεφάλαια 5 & 6 1. Αυτή είναι ουσιαστικά η Άσκηση 5.2 (σελ. 119), από τις σημειώσεις του Σκανδάλη. Εστω A, < καλά διατεταγμένο σύνολο και έστω στοιχείο a A. Αποδείξτε

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε

Διαβάστε περισσότερα

ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου

ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου Εαρινό Εξάµηνο 2009 Κάτια Παπακωνσταντινοπούλου 1. Εστω A ένα µη κενό σύνολο. Να δείξετε ότι η αλγεβρική δοµή (P(A), ) είναι αβελιανή οµάδα. 2. Εστω ένα ξενοδοχείο

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 13 Μαρτίου 2013 Ασκηση 1. Αφού ϐρείτε την

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή Επαγωγή HY8- ιακριτά Μαθηµατικά Τρίτη, /03/06 Μαθηµατική Επαγωγή Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y

Διαβάστε περισσότερα

Ορισμένες σελίδες του βιβλίου

Ορισμένες σελίδες του βιβλίου Ορισμένες σελίδες του βιβλίου 7. Θεωρούμε το σύνολο αναφοράς 0,,. Να οριστούν τα σύνολα: Α. των τριψηφίων αριθμών που σχηματίζουν τα στοιχεία του Ω. Β. των τριψηφίων αριθμών με διαφορετικά ψηφία Γ. των

Διαβάστε περισσότερα

β. Αν το διαγώνισμα αποτελείται από 2 τέτοιες ερωτήσεις, ποια η πιθανότητα να απαντήσει σωστά και στις 2 ερωτήσεις;

β. Αν το διαγώνισμα αποτελείται από 2 τέτοιες ερωτήσεις, ποια η πιθανότητα να απαντήσει σωστά και στις 2 ερωτήσεις; ΘΕΜΑ 1 ο Ένας φοιτητής απαντά σε ερωτήσεις ενός διαγωνίσματος πολλαπλής επιλογής με 4 απαντήσεις ανά ερώτηση, εκ των οποίων μόνο η μία είναι σωστή κάθε φορά. Η πιθανότητα να γνωρίζει ο φοιτητής την σωστή

Διαβάστε περισσότερα

( ( )) ( 3 1) 2( 3 1)

( ( )) ( 3 1) 2( 3 1) Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 7/4/2017 ΜΕΡΟΣ Α: ΣΥΝΑΡΤΗΣΕΙΣ Άσκηση Φ5.1: (α) Έστω οι συναρτήσεις f : A B, g : B διάγραμμα. C και h : C D που ορίζονται στο παρακάτω Υπολογίστε

Διαβάστε περισσότερα

B = {x A : f(x) = 1}.

B = {x A : f(x) = 1}. Θεωρία Συνόλων Χειμερινό Εξάμηνο 016 017 Λύσεις 1. Χρησιμοποιώντας την Αρχή του Περιστερώνα για τους φυσικούς αριθμούς, δείξτε ότι για κάθε πεπερασμένο σύνολο A και για κάθε f : A A, αν η f είναι 1-1 τότε

Διαβάστε περισσότερα

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017 Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017 Άσκηση Φ4.1: Θεωρείστε τις ακόλουθες σχέσεις επί του συνόλου Α={1, 2, 3} 1. R={(1, 1), (1, 2), (1, 3), (3, 3)} 2. S={(1, 1), (1, 2), (2, 1), (2, 2),

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18

Διαβάστε περισσότερα

1. Σε ένα τουρνουά με 8 παίκτες μπορεί οι παίκτες να συμμετείχαν σε: 6,5,4,4,4,3,1,1 αγώνες αντίστοιχα;

1. Σε ένα τουρνουά με 8 παίκτες μπορεί οι παίκτες να συμμετείχαν σε: 6,5,4,4,4,3,1,1 αγώνες αντίστοιχα; Ασκήσεις υποδειγματικές για το θεωρητικό μέρος του μαθήματος Α1. Εξετάστε αν είναι Σωστή ή Λάθος κάθε μία από τις επόμενες προτάσεις. Εξηγείστε την απάντησή σας. 1. Σε ένα τουρνουά με 8 παίκτες μπορεί

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 15/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 15-Mar-18

Διαβάστε περισσότερα

Απαρίθμηση: Εισαγωγικά στοιχεία

Απαρίθμηση: Εισαγωγικά στοιχεία Απαρίθμηση: Εισαγωγικά στοιχεία Συνδυαστική ανάλυση - μελέτη της διάταξης αντικειμένων 17 ος αιώνας: συνδυαστικά ερωτήματα για τη μελέτη τυχερών παιχνιδιών Απαρίθμηση: μέτρηση αντικειμένων με ορισμένες

Διαβάστε περισσότερα

Gutenberg

Gutenberg Διακριτά Μαθηματικά * Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Φροντιστήριο: Α. Κόλλια (akollia@ceid.upatras.gr) * Οι διαφάνειες (πλην αυτών για τις σχέσεις αναδρομής) έχουν παραχθεί από τη Δρ. Ε. Παπαϊωάννου,

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα