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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcript

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

2 Θεωρία Συνόλων 02-Mar-18 2

3 Προηγούμενη φορά Σύνολα, πολυσύνολα Ισότητα Διαγράμματα Venn x S Κενό σύνολο, μοναδικότητα Υποσύνολο/υπερσύνολο συνόλου 02-Mar

4 Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ; ΝΑΙ S ; ΝΑΙ Τι λέτε για τα παρακάτω; S S ; ΟΧΙ S ; ΟΧΙ πάντα! Π.χ., {, α, β} αλλά {α, β} 02-Mar

5 Σχέσεις υποσυνόλου και υπερσυνόλου Αυτό μας βοηθά να δώσουμε άλλη μια ερμηνεία του τελεστή «εάν τότε» Η πρόταση x (P(x) Q(x)) σημαίνει ότι «τα στοιχεία που έχουν την ιδιότητα P είναι υποσύνολο των στοιχείων που έχουν την ιδιότητα Q» Αν κανένα στοιχείο στο π.ο. της x δεν έχει την ιδιότητα P, τότε η πρόταση x (P(x) Q(x)) είναι αληθής Αν όλα τα στοιχεία έχουν την ιδιότητα Q, τότε η πρόταση x (P(x) Q(x)) είναι και πάλι αληθής Η μόνη περίπτωση να είναι ψευδής η πρόταση είναι να υπάρχει ένα στοιχείο με την ιδιότητα P που να μην έχει την ιδιότητα Q 02-Mar

6 Σχέσεις υποσυνόλου και υπερσυνόλου Περισσότεροι συμβολισμοί: S T ( Το S είναι υπερσύνολο του T ) : ορ. T S. Σημειώστε ότι S=T S T S T. : ορ. (S T), δηλ. x(x S x T) S / T 02-Mar

7 Γνήσια υποσύνολα και υπερσύνολα S T ( Το S είναι γνήσιο υποσύνολο του T ) σημαίνει ότι S T S T Παράδειγμα:{1,2} {1,2,3} Ισχύει ότι {1,2,3} {1,2,3},... αλλά όχι ότι {1,2,3} {1,2,3} 02-Mar

8 Τα σύνολα είναι αντικείμενα επίσης! Τα στοιχεία ενός συνόλου μπορούν να είναι από μόνα τους σύνολα. Π.χ. S={{1,2}, {1,3}} Προσοχή: {1,2} {{1,2}} 02-Mar

9 Πληθικός αριθμός S ( ο πληθικός αριθμός του S ) είναι το πλήθος των στοιχείων του S. π.χ., =0, {1,2,3} = 3, {a,b} = 2, {{1,2,3},{4,5}} = 2 Εάν S N, τότε λέμε ότι το S είναι πεπερασμένο. Αλλιώς, λέμε ότι το S είναι άπειρο. 02-Mar

10 Το δυναμοσύνολο ενός συνόλου Το δυναμοσύνολο P(S) ενός συνόλου S είναι το σύνολο όλων των δυνατών υποσυνόλων του S. P(S) : {x x S}. Π.χ. P({a,b}) = {, {a}, {b}, {a,b}}. Μερικές φορές το P(S) το συμβολίζουμε με 2 S. Σημειώστε ότι (σίγουρα για πεπερασμένα σύνολα S), P(S) = 2 S. Προκύπτει ότι S: P(S) > S, e.g. P(N) > N. Υπάρχουν άπειρα σύνολα με διαφορετικά μεγέθη! 02-Mar

11 Πράξεις μεταξύ συνόλων Ένωση Τομή Διαφορά Συμμετρική διαφορά Συμπλήρωμα συνόλου 02-Mar

12 Ένωση συνόλων Για δύο σύνολα A, B, η ένωσή τους ( nion) A B είναι το σύνολο που περιέχει τα στοιχεία που ανήκουν στο A, ή ( ) ανήκουν στο B (ή, φυσικά, και στα δύο). Τυπικά, A,B: A B = {x x A x B}. Πχ. {2,3,5} {3,5,7} ={2,3,5,7} Η ένωση A B δύο συνόλων Α, Β αποτελεί υπερσύνολο και του A και του B : A, B: (A B A) (A B B) 02-Mar

13 Παράδειγμα ένωσης συνόλων {2,3,5} {3,5,7} ={2,3,5,7} 02-Mar

14 Ένωση συνόλων Πως μπορούμε να αποδείξουμε ότι η ένωση A B δύο συνόλων Α, Β αποτελεί το μικρότερο δυνατό υπερσύνολο και του A και του B; Έστω ότι υπάρχει σύνολο Μ, υπερσύνολο του Α και του Β που έχει λιγότερα στοιχεία από το A B Αυτό σημαίνει πως Α Μ και Β Μ και ταυτόχρονα υπάρχει x A B τέτοιο ώστε x Μ. Αφού x A B, τότε x A ή x B. Και αφού Α Μ και Β Μ, x M. Αντίφαση Άρα, δεν υπάρχει υπερσύνολο του Α και του Β με λιγότερα στοιχεία από το A B 02-Mar

15 Γενικευμένη ένωση συνόλων Δυαδικός τελεστής ένωσης: A B n-οστή ένωση: A A 2 A n : (( ((A 1 A 2 ) ) A n ) (η ομαδοποίηση & η σειρά δεν παίζουν ρόλο) n Συμβολισμός: A ή: A X A i 1 i 02-Mar

16 Τομή συνόλων Για σύνολα A, B, η τομή τους A B περιλαμβάνει όλα τα στοιχεία που ανήκουν ταυτόχρονα στο A και ( ) στο B. Τυπικά, A,B: A B={x x A x B}. Η τομή A B δύο συνόλων Α, Β είναι ένα υποσύνολο και του A και του B (το μέγιστο τέτοιο υποσύνολο): A, B: (A B A) (A B B) 02-Mar

17 Παράδειγμα τομής συνόλων {a,b,c} {2,3} = {2,4,6} {3,4,5} = {4} 02-Mar

18 Γενικευμένη τομή συνόλων Δυαδικός τελεστής τομής: A B n-οστή τομή: A 1 A 2 A n (( ((A 1 A 2 ) ) A n ) (η ομαδοποίηση & η σειρά δεν παίζουν ρόλο) n Συμβολισμός: A ή: A X A i 1 i 02-Mar

19 Ξένα σύνολα Δύο σύνολα A, B λέγονται ξένα αν και μόνο αν η τομή τους είναι το κενό σύνολο. (A B= ) Π.χ. {a,b,c} {2,3} = 02-Mar

20 Αρχή του εγκλεισμού-αποκλεισμού Πόσα στοιχεία βρίσκονται στην ένωση A B δύο συνόλων Α και Β; Μπορείτε να σκεφτείτε μία γενική σχέση; (Εκφράστε το με βάση τα A, B και ό,τι άλλο χρειαστείτε.) 02-Mar

21 Αρχή του εγκλεισμού-αποκλεισμού Πόσα στοιχεία βρίσκονται στην ένωση A B δύο συνόλων Α και Β; Μπορείτε να σκεφτείτε μία γενική σχέση; A B = A B A B 02-Mar

22 Αρχή του εγκλεισμού-αποκλεισμού: Παράδειγμα Παράδειγμα: Έστω ότι σε ένα σύνολο ανθρώπων, 50 άτομα έχουν μηχανάκι, 180 άτομα έχουν ποδήλατο και 30 άτομα έχουν και μηχανάκι και ποδήλατο. Πόσοι άνθρωποι έχουν δίτροχο μεταφορικό μέσο; 02-Mar

23 Αρχή του εγκλεισμού-αποκλεισμού: Παράδειγμα Α Β Μηχανάκι (50) Μηχανάκι + Ποδήλατο (30) Ποδήλατο (180) 02-Mar

24 Αρχή του εγκλεισμού-αποκλεισμού Έστω Δ Α Β, όπου, Α = {s s έχει μηχανάκι} Β = {s s έχει ποδήλατο} Μερικοί μπορεί να έχουν και τα δύο! Δ = Α Β = Α Β Α Β (στο παράδειγμά μας, Δ = = 200) 02-Mar

25 Αρχή του εγκλεισμού-αποκλεισμού Στην περίπτωση τριών συνόλων Α 1 Α 2 Α 3 = Α 1 + Α 2 + Α 3 - Α 1 Α 2 - Α 1 Α 3 - Α 2 Α 3 + Α 1 Α 2 Α 3 Θα δούμε αργότερα πως γενικεύεται για την ένωση n συνόλων. 02-Mar

26 Αρχή του εγκλεισμού-αποκλεισμού για ξένα σύνολα Αν Α, Β ξένα σύνολα, τότε: A B = A B 02-Mar

27 Διαφορά συνόλων Για σύνολα A, B, η διαφορά του A από το B, συμβολίζεται με A B, και αποτελείται από όλα τα στοιχεία του A που δεν ανήκουν στο B. Τυπικά: A B : x x A x B 02-Mar

28 Διαφορά συνόλων - Venn Diagram Το σύνολο A B είναι ότι απομένει από το Α όταν από αυτό εξαιρέσουμε όλα τα στοιχεία του Β Σύνολο A B Σύνολο A Σύνολο B 02-Mar

29 Παραδείγματα διαφοράς συνόλων {1,2,3,4,5,6} {2,3,5,7,9,11} = {1,4,6} Z N {x x ακέραιος αλλά όχι φυσικός} = {, 1, 0, 1, 2, } {1, 2 } = {, 3, 2, 1, 0} 02-Mar

30 Συμμετρική διαφορά συνόλων Για σύνολα A, B, η συμμετρική διαφορά τους, συμβολίζεται με A B, και αποτελείται από όλα τα στοιχεία της ένωσής τους, αν εξαιρεθούν τα στοιχεία της τομής τους. Τυπικά: A B : (A B) (A B) 02-Mar

31 Συμπληρώματα συνόλων Ο δειγματικός χώρος μπορεί να θεωρηθεί ως σύνολο, έστω U. Για κάθε σύνολο A U, το συμπλήρωμα του A,, ως προς το U, είναι το U A. A Π.χ., Εάν U=N, {3,5} {1,2,4,6,7,...} 02-Mar

32 Αμοιβαία ξένα σύνολα Έστω n σύνολα Α i, 1=1, 2,, n Τα σύνολα Α i ονομάζονται αμοιβαία ξένα αν και μόνο αν i j, (Αi Αj = ) 02-Mar

33 Διαμέριση ενός συνόλου Α Έστω n μη κενά σύνολα Α i, i=1, 2,, n. Τα σύνολα Α i αποτελούν μία διαμέριση του συνόλου Α αν και μόνο αν: n (1) A Ai i 1 (2) Ta Α i είναι αμοιβαία ξένα σύνολα Α 2 Α Α 4 Α 1 Α3 02-Mar

34 Ταυτότητες A = A = A U A U = U A = A A = A = A A A B = B A ( A) A A B = B A A (B C)=(A B) C A (B C)=(A B) C 02-Mar

35 Αντικ.: με, με, A = A = A U A U = U, A = A A = A = A A με F, U με T ( A) A A B = B A, A B = B A A (B C)=(A B) C, A (B C)=(A B) C 02-Mar

36 Νόμος DeMorgan για σύνολα Ακριβώς ανάλογος με (και αποδείξιμος από) τον νόμο DeMorgan για προτάσεις. A B A B A B A B 02-Mar

37 Παράδειγμα χρήσης αρχής εγκλεισμούαποκλεισμού, διαφοράς συνόλων και De Morgan Πόσοι ακέραιοι από το 1 έως το 1000 δεν είναι πολλαπλάσια του 10, του 4 και του 15? 02-Mar

38 Παράδειγμα Πόσοι ακέραιοι από το 1 έως το 1000 δεν είναι πολλαπλάσια του 10, του 4 και του 15; Έστω Σ= {οι ακέραιοι από το 1 έως το 1000} Έστω Α= {τα πολλαπλάσια του 10} Έστω Β= {τα πολλαπλάσια του 4} Έστω Γ= {τα πολλαπλάσια του 15} Τι θέλουμε να υπολογίσουμε; 02-Mar

39 Παράδειγμα Θέλουμε να υπολογίσουμε την ποσότητα: Όμως ( ) ( ) γιατί ισχύει η τελευταία ισότητα; 02-Mar

40 Παράδειγμα Επομένως, ( ) ( ) ( ) Α Β = πολλαπλάσια του 20 Α Γ = πολλαπλάσια του 30 Β Γ = πολλαπλάσια του 60 Α Β Γ = πολλαπλάσια του Mar

41 Παράδειγμα Αρα, ( ) ( ) 1000-( 1000/ / /15 ) + ( 1000/ / /60 )- 1000/60 =1000-( )+( )-16= Mar

42 Απόδειξη ισότητας συνόλων Για να αποδείξουμε προτάσεις της μορφής E 1 = E 2 (όπου τα E 1, E 2 είναι εκφράσεις συνόλων), υπάρχουν τέσσερις βασικές τεχνικές: 1. Χρήση του πίνακα μελών 2. Διαγράμματα Venn 3. Απόδειξη ότι E 1 E 2 και E 2 E Χρήση ταυτοτήτων 02-Mar

43 Μέθοδος 1: Πίνακες μελών Κατ αναλογία με τους πίνακες αληθείας στον προτασιακό λογισμό Στήλες για διαφορετικές εκφράσεις με σύνολα. Γραμμές για όλους τους συνδυασμούς συμμετοχής στα σύνολα που απαρτίζουν τις εκφράσεις Χρήση 1 για τα μέλη, 0 για τα μη-μέλη. Απόδειξη ισότητας με σύγκριση στηλών. 02-Mar

44 Παράδειγμα Αποδείξτε ότι (A B) B = A B. A B A B (A B) B A B Mar

45 Κι άλλο παράδειγμα Αποδείξτε ότι (A B) C = (A C) (B C). A B C A B (A B) C A C B C (A C) (B C) Mar

46 συνέχεια Αποδείξτε ότι (A B) C = (A C) (B C). A B C A B (A B) C A C B C (A C) (B C) Mar

47 Μέθοδος 2: Διαγράμματα Venn Αποδείξτε ότι (A B) B = A B Α Β 02-Mar

48 Μέθοδος 2: Διαγράμματα Venn Αποδείξτε ότι (A B) B = A B Α Β A B = (A B) B 02-Mar

49 Μέθοδος 3: υποσύνολα Παράδειγμα: Δείξτε ότι A (B C)=(A B) (A C). Μέρος 1ο: Δείχνω ότι A (B C) (A B) (A C). Υποθέτω x (A (B C)), & δείχνω ότι x ((A B) (A C)). Γνωρίζουμε ότι x A, και είτε x B είτε x C. Περ. 1: x B. Τότε x A B, επομένως x (A B) (A C). Περ. 2: x C. Τότε x A C, επομένως x (A B) (A C). Άρα, x (A B) (A C). Άρα, A (B C) (A B) (A C). 02-Mar

50 Μέθοδος 3: υποσύνολα Παράδειγμα: Δείξτε ότι A (B C)=(A B) (A C). Μέρος 2ο: Δείχνω ότι (A B) (A C) A (B C). Υποθέτω x ((A B) (A C)) & δείχνω ότι x (A (B C)). Γνωρίζουμε ότι x (A B), ή x (A C). Περ. 1: x (A B). Τότε x A και x (B C), επομένως x (A (B C)). Περ. 2: x (A C). Τότε x A και x (B C), επομένως x (A (B C)). Άρα, x (A (B C)). Άρα, (A B) (A C) A (B C). Άρα, A (B C)=(A B) (A C). 02-Mar

51 Μέθοδος 4: χρήση ταυτοτήτων Aπ ευθείας με ταυτότητες ισότητας συνόλων Είτε με «μετάφραση» σε προτασιακή λογική, π.χ., δείξτε ότι A (B C) (A B) (A C). Ποιά αντίστοιχη πρόταση θα πρέπει να αποδείξουμε στον προτασιακό λογισμό; 02-Mar

52 Μέθοδος 4: χρήση ταυτοτήτων Είτε απ ευθείας με ταυτότητες συνόλων Είτε με «μετάφραση» σε προτασιακή λογική, π.χ., δείξτε ότι A (B C) (A B) (A C). Αρκεί να δείξουμε ότι η πρόταση A (B C) (A B) (A C) αποτελεί ταυτολογία 02-Mar

53 Μέθοδος 4: χρήση ταυτοτήτων Πράγματι: A (B C) (A B) (A C) (A (B C)) ((A B) (A C) ) (A (B C)) (A (B C)) T 02-Mar

54 Διατεταγμένες n-άδες Για n N, μία διατεταγμένη n-αδα ή μία ακολουθία μήκους n γράφεται ως (a 1, a 2,, a n ). Το πρώτο στοιχείο της είναι το a 1, κλπ. Mπορούμε να έχουμε αντίγραφα στοιχείων H σειρά των στοιχείων έχει σημασία! (1, 2) (2, 1) (2, 1, 1). 02-Mar

55 Οι διατεταγμένες n-άδες έχουν πολλές εφαρμογές. Για παράδειγμα, Μαθηματικές δομές συχνά περιγράφονται με μία συγκεκριμένη διάταξη που επιτρέπει να ξέρουμε πιο στοιχείο παίζει πιο ρόλο. π.χ., το (N,<) είναι μία συγκεκριμένη δομή που χρησιμοποιεί το < για να δημιουργήσει μία διάταξη στο N. 02-Mar

56 Οι σχέσεις εκφράζονται μέσω n-αδων. Π.χ.: < = { (0,1), (1,2), (0,2), ) } Το πρώτο και το δεύτερο όρισμα μιας σχέσης μπορεί να προέρχεται από διαφορετικά σύνολα, π.χ. Προτιμάει_να_βλέπει = {(Κώστας, ειδήσεις), (Νίκος, ποδόσφαιρο), (Μαρία, ταινίες)} 1ο: στοιχεία από το σύνολο των ανθρώπων 2ο: στοιχεία από το σύνολο των προγραμμάτων της TV 02-Mar

57 Καρτεσιανό γινόμενο συνόλων Για σύνολα A, B, το Καρτεσιανό τους γινόμενο είναι το A B : {(a, b) a A b B }. π.χ. {a,b} {1,2} = {(a,1),(a,2),(b,1),(b,2)} Ο ορισμός επεκτείνεται για πολλά σύνολα: A 1 A 2 A n ={(a 1,a 2,...,a n ) a 1 A 1 a 2 A 2 a n A n } René Descartes ( ) 02-Mar

58 Καρτεσιανό γινόμενο συνόλων Για σύνολα A, B A B = A B Σημειώστε ότι, A,B: A B=B A 02-Mar

59 Καρτεσιανό γινόμενο συνόλων {Κώστας, Μαρία, Νίκος} {Νέα,Ταινίες}= { (Κώστας, Νέα), (Μαρία, Νέα), (Νίκος, Νέα), (Κώστας, Ταινίες), (Μαρία, Ταινίες), (Νίκος, Ταινίες) } 02-Mar

60 02-Mar

61 Αναπαριστώντας σύνολα με Bit Strings Για ένα δειγματικό χώρο U με διάταξη x 1, x 2,, αναπαράσταση ενός πεπερασμένου συνόλου S U σαν το πεπερασμένο bit string B=b 1 b 2 b n όπου i: x i S (1 i n b i =1). Π.χ. U=N, S={2,3,5,7,11}, B= Σε αυτή την αναπαράσταση, οι βασικές πράξεις συνόλων υλοποιούνται κατευθείαν με τις bitwise πράξεις OR, AND, NOT 02-Mar

62 Αναπαριστώντας σύνολα με Bit Strings Π.χ., {2,3,5,7,11} {1,3,4,9} = δηλ. το {1,2,3,4,5,7,9,11} 02-Mar

63 Αξιωματική θεωρία συνόλων Ένα βασικό αξίωμα: Δοσμένου ενός κατηγορήματος P, κατασκεύασε ένα σύνολο που να περιλαμβάνει όλα τα στοιχεία x για τα οποία η xp(x) να είναι αληθής πρόταση. Ωστόσο, η προκύπτουσα θεωρία είναι λογικά ασυνεπής! Αυτό σημαίνει ότι υπάρχουν κάποιες προτάσεις p για τις οποίες να μπορούμε να δείξουμε ότι και η p και η p προκύπτουν λογικά ώς αποτέλεσμα της θεωρίας μας!... Δηλαδή ότι ξεκινώντας από τα αξιώματα οδηγούμαστε σε αντίφαση! Μια τέτοια θεωρία είναι θεμελιωδώς μη ενδιαφέρουσα, γιατί οποιαδήποτε πρόταση σε αυτή μπορεί (τετριμμένα) να αποδειχθεί 02-Mar

64 Παράδειγμα: Ο κουρέας ξυρίζεται μόνος του ή όχι; Έστω ότι σε μία πόλη ο κουρέας ξυρίζει όλους εκείνους τους άντρες (και μόνο αυτούς) που δεν ξυρίζονται μόνοι τους. Ερώτηση: Ο κουρέας αυτός ξυρίζεται μόνος του ή όχι; Έστω ότι ξυρίζεται μόνος του. Άρα δεν ξυρίζεται μόνος του. Έστω ότι δεν ξυρίζεται μόνος του. Άρα ξυρίζεται μόνος του.!!! 02-Mar

65 Η παράκαμψη του παράδοξου Για να αποφύγουμε την ασυνέπεια, η θεωρία συνόλων πρέπει με κάποιο τρόπο να τροποποιηθεί... Για περισσότερες πληροφορίες, διαβάστε για το παράδοξο του Russel: https://en.wikipedia.org/wiki/russell's_paradox Bertrand Russell Mar

66 02-Mar

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

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία Συνόλων. Προηγούµενη φορά. «ανήκει» 10 Θεωρία συνόλων

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία Συνόλων. Το δυναµοσύνολο ενός συνόλου. Προηγούµενη φορά. 10 Θεωρία συνόλων. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2016

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

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...

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

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

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

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

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

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

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

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

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

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

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

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

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

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

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

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 1: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 1: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Εισαγωγικά (0.1) Σύνολα (0.2.1, 0.2.2) Συναρτήσεις & Σχέσεις (;;) (0.2.3) 1 Περιοχές που θα μελετήσουμε

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

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

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

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

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός HY118- ιακριτά Μαθηµατικά Την προηγούµενη φορά Τρόποι απόδειξης Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter,

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

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός

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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σχέσεις ισοδυναµίας. 15 Σχέσεις

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

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

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

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

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

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

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

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

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 Γνωριµία ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr

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

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

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

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

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ.

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ. Γνωριµία ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr Ωρες γραφείου (502, Γρ.Λαµπράκη 26): ευτέρα

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

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

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

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

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

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

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

Τι είναι σύνολο; Ο ορισμός αυτός είναι σύμφωνος με τη διαισθητική μας κατανόηση για το τι είναι σύνολο

Τι είναι σύνολο; Ο ορισμός αυτός είναι σύμφωνος με τη διαισθητική μας κατανόηση για το τι είναι σύνολο ΣΥΝΟΛΑ Τι είναι σύνολο; Ένας ορισμός «Μια συλλογή αντικειμένων διακεκριμένων και πλήρως καθορισμένων που λαμβάνονται από τον κόσμο είτε της εμπειρίας μας είτε της σκέψης μας» (Cantor, 19 ος αιώνας) Ο ορισμός

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

Εισαγωγικά Παραδείγματα: Παρατηρήσεις:

Εισαγωγικά Παραδείγματα: Παρατηρήσεις: 1 Εισαγωγικά Η έννοια του συνόλου είναι πρωταρχική στα Μαθηματικά, δεν μπορεί δηλ. να οριστεί από άλλες έννοιες. Γενικά, μπορούμε να πούμε ότι σύνολο είναι μια συλλογή αντικειμένων. υτά λέμε ότι περιέχονται

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

HY118- ιακριτά Μαθηµατικά. Συναρτήσεις. Συνάρτηση. Συνάρτηση: Τυπικός ορισµός Συναρτήσεις

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Σύνολα. Ορισμός Συνόλου. Υποσύνολα και Κενό Σύνολο. Στοιχεία ενός συνόλου:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 \

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

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

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

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

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

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

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

ιµελής σχέση HY118- ιακριτά Μαθηµατικά n-µελείς σχέσεις Σχέσεις 13 - Σχέσεις

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

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

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

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

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

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

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

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

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

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

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

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

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

HY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017

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

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

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

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

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

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

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

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

Αποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017

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

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

Διακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2017 Οργάνωση Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες Συνεπαγωγή Αποδείξεις

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

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

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

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Θεωρία συνόλων Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 2: Σύνολα και σχέσεις Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Την προηγούµενη φορά. Αντισυµµετρικότητα. 13 Σχέσεις

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

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

Διακριτά Μαθηματικά. Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις

Διακριτά Μαθηματικά. Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις Διακριτά Μαθηματικά Λογική, Αποδείξεις, Σύνολα, Συναρτήσεις Διακριτά Μαθηματικά: πυλώνες Image source: http://www.patrasevents.gr Διακριτά Μαθηματικά: λογική Διακριτά Μαθηματικά: αποδείξεις Διακριτά Μαθηματικά:

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. ιµελής σχέση. 12 Εισαγωγή στις Σχέσεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017.

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

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

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

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

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

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Να γνωρίζει: την αποδεικτική μέθοδο της μαθηματικής επαγωγής για την οποία πρέπει να γίνει κατανοητό ότι η αλήθεια

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

ΜΑΘΗΜΑΤΙΚΑ Β Γυμνασίου

ΜΑΘΗΜΑΤΙΚΑ Β Γυμνασίου ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΜΑΘΗΜΑΤΙΚΑ Β Γυμνασίου Ενότητα 1: Σύνολα ΠΑΙΔΑΓΩΓΙΚΟ ΙΝΣΤΙΤΟΥΤΟ ΥΠΗΡΕΣΙΑ ΑΝΑΠΤΥΞΗΣ ΠΡΟΓΡΑΜΜΑΤΩΝ ΜΑΘΗΜΑΤΙΚΑ Β Γυμνασίου Ενότητα 1: Σύνολα Συγγραφή: Ομάδα Υποστήριξης Μαθηματικών

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

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β. ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη

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

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.

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

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

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

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

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων.

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων. Ένα μέτρο πιθανότητας πάνω στο δειγματικός χώρο Ω, είναι μία συνάρτηση P ( ) που αντιστοιχεί σε υποσύνολα του Ω, έναν αριθμό στο [ 0, ], με τις εξής ιδιότητες: P ( Ω ) 2 Η πιθανότητα της αριθμήσιμης ένωσης

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

Εισαγωγή στις Βάσεις Δεδομζνων II

Εισαγωγή στις Βάσεις Δεδομζνων II ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης

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

of Mathematics των I.Stewart και D.Tall, Oxford University Press.

of Mathematics των I.Stewart και D.Tall, Oxford University Press. Σημειώσεις του Μαθήματος Μ1124 Θεμέλια των Μαθηματικών Βασισμένες στο βιβλίο των I.Stewart και D.Tall Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2012 Εισαγωγή Αρχίζοντας τη μελέτη των μαθηματικών

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

Σύνολα, Σχέσεις, Συναρτήσεις

Σύνολα, Σχέσεις, Συναρτήσεις Κεφάλαιο 2 Σύνολα, Σχέσεις, Συναρτήσεις Τα σύνολα, οι σχέσεις και οι συναρτήσεις χρησιμοποιούνται ευρύτατα σε κάθε είδους μαθηματικές αναπαραστάσεις και μοντελοποιήσεις. Στη θεωρία υπολογισμού χρησιμεύουν,

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

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 δεδομένα σύνολα. Θα χρησιμοποιήσουμε τα αξιώματα αλλά αναφερόμενοι, αποκλειστικά, είτε

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

{ } { / αρτιος 10} ΣΥΝΟΛΑ. N, σύνολο των φυσικών αριθμών, { 1, 2, 3, }

{ } { / αρτιος 10} ΣΥΝΟΛΑ. N, σύνολο των φυσικών αριθμών, { 1, 2, 3, } ΣΥΝΟΛΑ Ένα σύνολο είναι µία συλλογή διακεκριµένων αντικειµένων, τα δε αντικείµενά του οµάζονται στοιχεία του συνόλου. Γράφουµε S { a, b, } =, όταν θέλουμε να δηλώσουµε ότι το σύνολο που ονοµάζεται είναι

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΣΥΝΟΛΑ. 6ο ΓΕΛ ΛΑΜΙΑΣ ΧΡΙΣΤΟΣ ΤΡΙΑΝΤΑΦΥΛΛΟΥ ΜΑΘΗΜΑΤΙΚΟΣ

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΣΥΝΟΛΑ. 6ο ΓΕΛ ΛΑΜΙΑΣ ΧΡΙΣΤΟΣ ΤΡΙΑΝΤΑΦΥΛΛΟΥ ΜΑΘΗΜΑΤΙΚΟΣ ΣΥΝΟΛ 6ο ΓΕΛ ΛΜΙΣ ΧΡΙΣΤΟΣ ΤΡΙΝΤΦΥΛΛΟΥ ΜΘΗΜΤΙΚΟΣ ΣΥΝΟΛ Στοιχεία θεωρίας Σύνολο είναι μια συλλογή από αντικείμενα. Το σύνολο όλων των ελληνικών ποδοσφαιρικών ομάδων. Το σύνολο όλων των χωρών της Ευρώπης.

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

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

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

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας

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

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

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

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

ΠΙΘΑΝΟΤΗΤΕΣ Δειγματικός Χώρος. Ενδεχόμενα {,,..., }.

ΠΙΘΑΝΟΤΗΤΕΣ Δειγματικός Χώρος. Ενδεχόμενα {,,..., }. ΠΙΘΑΝΟΤΗΤΕΣ Δειγματικός Χώρος Το σύνολο των δυνατών αποτελεσμάτων λέγεται δειγματικός χώρος (sample space) και συμβολίζεται συνήθως με το γράμμα Αν δηλαδή ω,,, ω2 ωκ είναι τα δυνατά αποτελέσματα ενός πειράματος

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

ΚΕΦΑΛΑΙΟ 4 Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ

ΚΕΦΑΛΑΙΟ 4 Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ 50 ΚΕΦΑΛΑΙΟ Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ Εισαγωγή. Η αρχή του εγκλεισμού αποκλεισμού είναι ένα ισχυρό μέσο απαρίθμησης με το οποίο υπολογίζεται ο αριθμός των στοιχείων της ένωσης και της τομής των συμπληρωμάτων

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

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

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

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

f(t) = (1 t)a + tb. f(n) =

f(t) = (1 t)a + tb. f(n) = Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία

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

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

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

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

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n! Διακριτά Μαθηματικά Σύνοψη Θεωρίας Τυπολόγιο Αναστασία Κόλλια 20/11/2016 1 / 55 Κανόνες γινομένου και αθροίσματος Κανόνας αθροίσματος: Αν ένα γεγονός μπορεί να συμβεί κατά m τρόπους και ένα άλλο γεγονός

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

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», « .1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Κλάσεις ισοδυναµίας. Σχέσεις ισοδυναµίας. 15 -Σχέσεις

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

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

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

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 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό

Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό Κεφάλαιο 1 Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Kamke 1950, Halmos 1960 και C. L. Liu and C. Liu 1985. 1.1 Εισαγωγή

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

Μαθηματική Ανάλυση Ι

Μαθηματική Ανάλυση Ι Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Μαθηματική Ανάλυση Ι Ενότητα 1: Σύνολα, Πραγματικοί αριθμοί Επίκ. Καθηγητής Θ. Ζυγκιρίδης e-mail: tzygiridis@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών

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

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

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

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

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος: «Σπουδές στην εκπαίδευση» ΜEd Email : stvrentzou@gmail.com

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος: «Σπουδές στην εκπαίδευση» ΜEd Email : stvrentzou@gmail.com Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος: «Σπουδές στην εκπαίδευση» ΜEd Email : stvrentzou@gmail.com 1 1.Σύνολα Σύνολο είναι μια ολότητα από σαφώς καθορισμένα και διακεκριμένα αντικείμενα. Τα φωνήεντα

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 3

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 3 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 3 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 31 Μαρτίου 2017 Υπενθυµίζουµε

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

ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ

ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΕΙΣΑΓΩΓΗ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ. ΤΙ ΕΙΝΑΙ ΤΑ ΜΑΘΗΜΑΤΙΚΑ; Η επιστήμη των αριθμών Βασανιστήριο για τους μαθητές και φοιτητές Τέχνη για τους μαθηματικούς ΜΑΘΗΜΑΤΙΚΑ Α Εξάμηνο ΙΩΑΝΝΗΣ

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

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

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

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Θεωρία συνόλων Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

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

με μ,ν ακέραιους και ν 0 και δημιουργήθηκε το σύνολο Q ( ρητοί). Το σύνολο Ζ επεκτάθηκε με την προσθήκη αριθμών της τύπου

με μ,ν ακέραιους και ν 0 και δημιουργήθηκε το σύνολο Q ( ρητοί). Το σύνολο Ζ επεκτάθηκε με την προσθήκη αριθμών της τύπου ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΠΡΑΓΜΑΤΙΚΟΥΣ ΚΑΙ ΣΤΟ ΜΑΘΗΜΑΤΙΚΟ ΛΟΓΙΣΜΟ Η ΑΛΓΕΒΡΑ ασχολείται με τους αριθμούς και τις μεταξύ τους σχέσεις Οι φυσικοί αριθμοί (συμβολίζονται με το γράμμα Ν) Ν={ 1,,3 }επινοήθηκαν από τον

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

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

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

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

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 2 : Σύνολα & Σχέσεις (2/2) Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 2 : Σύνολα & Σχέσεις (2/2) Αλέξανδρος Τζάλλας 1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 2 : Σύνολα & Σχέσεις (2/2) Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής

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

Σημεία Προσοχής στην Παράγραφο Ε2.

Σημεία Προσοχής στην Παράγραφο Ε2. Σημεία Προσοχής στην Παράγραφο Ε2. 1. Ίσα Σύνολα Δεν αρκεί δύο σύνολα να έχουν τον ίδιο αριθμό στοιχέιων για να είναι ίσα. Πρέπει να έχουν ακριβώς τα ίδια στοιχεία. ΠΑΡΑΔΕΙΓΜΑ Έχουμε τα σύνολα Α={1,α,5}

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