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

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

Download "Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ"

Transcript

1 Μαθηματικά Πληροφορικής 4ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών

2 Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμένο αριθμό περιπτώσεων, τις εξετάζουμε όλες. Μαθηματική επαγωγή. Εστω μια πρόταση P (n) που ισχύει για n = 1. Αν η P (n) συνεπάγεται την P (n + 1), τότε η πρόταση ισχύει για όλους τους φυσικούς. Δομική επαγωγή. Επαγωγή όχι στους φυσικούς αριθμούς αλλά σε μια δομή που ορίζεται επαγωγικά.

3 Μορφές αποδείξεων (συνέχεια) Κατασκευαστική απόδειξη ύπαρξης. Δείχνουμε την ύπαρξη ενός στοιχείου δίνοντας ένα αλγόριθμο που το παράγει. Στην ιδία κατηγορία ανήκει και η απόδειξη με αντιπαράδειγμα. Μη κατασκευαστική απόδειξη ύπαρξης. Τέτοιες αποδείξεις χρησιμοποιούν την αρχή του περιστερεώνα και τις γενικεύσεις του την πιθανοτική μέθοδο που βασίζεται στο ότι ένα στοιχείο υπάρχει όταν έχει μη μηδενική πιθανότητα ύπαρξης. την διαγωνιοποίηση του Cantor.

4 Παράδειγμα: Άθροισμα κύβων Υπάρχει φυσικός ακέραιος που μπορεί να γραφεί με δύο διαφορετικούς τρόπους σαν άθροισμα δύο κύβων; Ισοδύναμα, υπάρχουν δύο διαφορετικά ζεύγη φυσικών αριθμών {a 1, b 1 } και {a 2, b 2 } με a b3 1 = a3 2 + b3 2 ; Ο 1729 μπορεί να γραφεί σαν και σαν

5 Κατασκευαστικές ή Οχι; Γενικά οι αποδείξεις ύπαρξης χωρίζονται σε δύο μεγάλες κατηγορίες: Κατασκευαστικές αποδείξεις, στις οποίες η απόδειξη είτε δίνει το στοιχείο που έχει την απαιτούμενη ιδιότητα είτε έναν αλγόριθμο που παράγει ένα τέτοιο στοιχείο. Παράδειγμα: Υπάρχει ακέραιος που γράφεται με δύο τρόπους σαν άθροισμα δύο κύβων. Η απόδειξη 1729 = = είναι κατασκευαστική. Μη κατασκευαστικές αποδείξεις, στις οποίες δείχνουμε ότι το στοιχείο υπάρχει, αλλά ούτε το στοιχείο δίνεται ούτε αλγόριθμος που να το παράγει.

6 Παράδειγμα μη Κατασκευαστικής Απόδειξης ΠΑΡΑΔΕΙΓΜΑ Να δειχτεί ότι υπάρχουν άρρητοι x και y τέτοιοι ώστε ο x y είναι ρητός. Απόδειξη. Είτε οι x 1 = 2, y 1 = 2 έχουν την ιδιότητα είτε οι x 2 = 2 2, y2 = 2 την έχουν. Γιατί; x y 1 1 = x 2 και x y 2 2 = 2. Αν x 2 είναι ρητός τότε το πρώτο ζευγάρι έχει την ιδιότητα, διαφορετικά το δεύτερο ζευγάρι την έχει. Η απόδειξη είναι μη κατασκευαστική γιατί δεν μας λέει ποια x και y έχουν την ιδιότητα.

7 Μέγιστος κοινός διαιρέτης Ο διαχωρισμός σε κατασκευαστικές ή μη αποδείξεις δεν είναι αυστηρός. Θα δούμε ένα παράδειγμα δύο αποδείξεων του ιδίου θεωρήματος, μια κατασκευαστική και μια μη κατασκευαστική. Θεώρημα Εστω a και b δύο ακέραιοι με μέγιστο κοινό διαιρέτη δ. Τότε υπάρχουν ακέραιοι x και y τέτοιοι ώστε ax + by = δ. ΠΑΡΑΔΕΙΓΜΑ a = 13 b = 16 gcd(a, b) = 1 x = 5 y = 4

8 Αλγόριθμος του Ευκλείδη Ο Αλγόριθμος του Ευκλείδη βρίσκει το μέγιστο κοινό διαιρέτη δύο αριθμών. Αλγόριθμος του Ευκλείδη 1: function Euclid(a, b) Υποθέτουμε ότι a > b 2: if b = 0 then 3: return a gcd(a, 0) = a 4: else 5: δ Euclid(b, a mod b) gcd(a, b) = gcd(b, a mod b) 6: return δ 7: end if 8: end function gcd(a, b) = { a αν b = 0 gcd(b, a mod b) αν b > 0.

9 Γενικευμένος Αλγόριθμος του Ευκλείδη Με μικρές αλλαγές ο αλγόριθμος επιστρέφει κατάλληλα x και y. Γενικευμένος Αλγόριθμος του Ευκλείδη 1: function Euclid(a, b) Υποθέτουμε ότι a > b 2: if b = 0 then 3: return (a, 1, 0) a 1 + b 0 = a 4: else 5: (δ, x, y ) Euclid(b, a mod b) b x + (a mod b) y = δ 6: return (δ, y, x a b y ) x = y, y = x a b y 7: end if 8: end function δ =bx + (a mod b)y = bx + (a b a b )y =ay + b(x a/b y ).

10 Μη κατασκευαστική απόδειξη Δόθηκε στην τάξη όταν παρουσιάσαμε τον αλγόριθμο του Ευκλείδη. Για την ακρίβεια δείξαμε την παρακάτω ισχυρότερη πρόταση, γνωστή ως Λήμμα του Bézout: Αν a 2 + b 2 > 0, gcd(a, b) = min{δ = ax + by x, y Z}. δ>0

11 Αρχή του Περιστερεώνα Πολλές μη κατασκευαστικές αποδείξεις ύπαρξης βασίζονται στο Θεώρημα (Αρχή του Περιστερεώνα) Αν τοποθετήσουμε n περιστέρια σε n 1 φωλιές, θα υπάρχει μία τουλάχιστον φωλιά με 2 τουλάχιστον περιστέρια. ΠΑΡΑΔΕΙΓΜΑ Αν έχουμε n + 1 φυσικούς αριθμούς που ανήκουν στο διάστημα 1,..., n, τότε δύο τουλάχιστον από τους αριθμούς είναι ίσοι. Εδώ τα «περιστέρια» είναι οι αριθμοί και οι «φωλιές» οι αριθμοί 1,..., n.

12 Αρχή του Περιστερεώνα Πολλές μη κατασκευαστικές αποδείξεις ύπαρξης βασίζονται στο Θεώρημα (Αρχή του Περιστερεώνα) Αν τοποθετήσουμε n περιστέρια σε n 1 φωλιές, θα υπάρχει μία φωλιά με 2 τουλάχιστον περιστέρια. ΠΑΡΑΔΕΙΓΜΑ Αν έχουμε n + 1 φυσικούς αριθμούς που ανήκουν στο διάστημα 1,..., n, τότε δύο τουλάχιστον από τους αριθμούς είναι ίσοι. Εδώ τα «περιστέρια» είναι οι αριθμοί και οι «φωλιές» οι αριθμοί 1,..., n.

13 Αρχή του Περιστερεώνα Μερικές φορές χρησιμοποιούμε την πιο γενική μορφή: Θεώρημα (Αρχή του Περιστερεώνα) Αν τοποθετήσουμε n περιστέρια σε m φωλιές, θα υπάρχει μία τουλάχιστον φωλιά με τουλάχιστον n/m περιστέρια. ΠΑΡΑΔΕΙΓΜΑ Σε κάθε ομάδα 13 ατόμων θα υπάρχουν δύο που γεννήθηκαν τον ίδιο μηνα. ΠΑΡΑΔΕΙΓΜΑ Σε κάθε ομάδα 100 ατόμων θα υπάρχουν τουλάχιστον 9 (= 100/12 ) που γεννήθηκαν τον ίδιο μήνα.

14 Αρχή του Περιστερεώνα Μερικές φορές χρησιμοποιούμε την πιο γενική μορφή: Θεώρημα (Αρχή του Περιστερεώνα) Αν τοποθετήσουμε n περιστέρια σε m φωλιές, θα υπάρχει μία φωλιά με τουλάχιστον n/m περιστέρια. ΠΑΡΑΔΕΙΓΜΑ Σε κάθε ομάδα 13 ατόμων θα υπάρχουν δύο που γεννήθηκαν τον ίδιο μηνα. ΠΑΡΑΔΕΙΓΜΑ Σε κάθε ομάδα 100 ατόμων θα υπάρχουν τουλάχιστον 9 (= 100/12 ) που γεννήθηκαν τον ίδιο μήνα.

15 Εφαρμογές της Αρχής του Περιστερεώνα Πρόταση Κάθε φυσικός αριθμός n έχει ένα ακέραιο πολλαπλάσιο που η δεκαδική του παράσταση αποτελείται από μια σειρά από 1 ακολουθούμενη από μια σειρά από 0, είναι δηλαδή της μορφής ΠΑΡΑΔΕΙΓΜΑ Για n = 12 υπάρχει πολλαπλάσιο αυτής της μορφής: = Απόδειξη. Ας θεωρήσουμε τους n + 1 αριθμούς 1, 11, 111,..., και τα υπόλοιπα τους mod n. Τα υπόλοιπα ανήκουν στο {0,..., n 1}, άρα από την Αρχή του Περιστερεώνα δύο από τους αριθμούς έχουν το ίδιο υπόλοιπο. Η διαφορά τους είναι πολλαπλάσιο του n.

16 Μονότονες υποακολουθίες Εστω μια ακολουθία αριθμών, π.χ. 6,2,4,3,7,5. Κάθε ακολουθία που προκύπτει όταν αγνοήσουμε μηδέν ή περισσότερους όρους της ακολουθίας λέγεται υποακολουθία. Παράδειγμα: 6,4,3,5. Μια ακολουθία λέγεται μονότονη αν είναι είτε αύξουσα είτε φθίνουσα. Για παράδειγμα, η 6,4,3 είναι μονότονη, η 6,4,7 δεν είναι μονότονη. Η 6,6,6,6 είναι μονότονη. Θεώρημα Κάθε ακολουθία πραγματικών αριθμών με n στοιχεία περιέχει μια μονότονη υποακολουθία με n + 1 στοιχεία.

17 Μονότονες υποακολουθίες Εστω t 1,..., t n 2 +1 μια ακολουθία. Παράδειγμα: 5,3,4,1,2. Ορίζουμε ως α i να είναι το μήκος της μακρύτερης αύξουσας υποακολουθίας με τελευταίο στοιχείο το t i. Παράδειγμα: α 2 = 1, α 3 = 2. Ορίζουμε ως φ i να είναι το μήκος της μακρύτερης φθίνουσας υποακολουθίας με τελευταίο στοιχείο το t i. Παράδειγμα: φ 2 = 2, φ 4 = 3. Αν t i t j για i < j, τότε α i + 1 α j. Παράδειγμα: 3 < 4, άρα α α 3. Αν t i t j για i < j, τότε φ i + 1 φ j. Παράδειγμα: 3 > 1, άρα φ φ 4. Αρα, τα ζεύγη (α i, φ i ) είναι όλα διαφορετικά. Αν κάθε α i και φ i είναι το πολύ n, τότε τα n ζεύγη (α i, φ i ) παίρνουν τις n 2 τιμές (1, 1),..., (n, n). Από την Αρχή του Περιστερεώνα δύο από τα ζεύγη είναι ίδια, άτοπο.

18 Προσέγγιση αρρήτων με ρητούς ο αριθμός π μπορεί προσεγγιστεί σαν 3 1, 31 10, , ,... Υπάρχει καλύτερη προσέγγιση με άλλους παρονομαστές (όχι απαραίτητα δυνάμεις του 10); Ναι. 22/7 = ή ακόμα καλύτερα 355/113 = Εστω θ ένας άρρητος αριθμός και m ένας φυσικός αριθμός πόσο καλά μπορούμε να προσεγγίσουμε τον θ με κλάσματα των οποίων ο παρονομαστής είναι το πολύ m;

19 Προσέγγιση άρρητου με ρητούς Θεώρημα (Dirichlet) Εστω θ ένας πραγματικός αριθμός. Τότε για οποιονδήποτε φυσικό m, υπάρχουν ακέραιοι p και q, με 1 q m, τέτοιοι ώστε θ p q < 1 mq. Απόδειξη. Ας πάρουμε τα ακέραια πολλαπλάσια qθ, για q = 0, 1,..., m και ας θεωρήσουμε το δεκαδικό μέρος τους qθ qθ. Για παράδειγμα τα ακέραια πολλαπλάσια του 2 είναι 0, , , κλπ και το δεκαδικό μέρος τους είναι 0, , , κλπ.

20 Προσέγγιση άρρητου με ρητούς Θεώρημα (Dirichlet) Εστω θ ένας πραγματικός αριθμός. Τότε για οποιονδήποτε φυσικό m, υπάρχουν ακέραιοι p και q, με 1 q m, τέτοιοι ώστε θ p q < 1 mq. Απόδειξη. Ας πάρουμε τα ακέραια πολλαπλάσια qθ, για q = 0, 1,..., m και ας θεωρήσουμε το δεκαδικό μέρος τους qθ qθ. Οι αριθμοί αυτοί είναι της μορφής qθ p, όπου q και p = qθ είναι ακέραιοι.

21 Προσέγγιση αρρήτου με ρητούς Συνέχεια. Για q = 0, 1,..., m υπάρχουν m + 1 τέτοιοι αριθμοί και όλοι βρίσκονται στο διάστημα [0, 1). Αν θεωρήσουμε τους αριθμούς αυτούς ως περιστέρια και τα διαστήματα [0, 1/m), [1/m, 2/m),..., [(m 1)/m, 1) ως φωλιές, μπορούμε να εφαρμόσουμε την Αρχή του Περιστερεώνα. Κάποια φωλιά θα περιέχει δύο περιστέρια. Άρα υπάρχουν δύο αριθμοί q 1 θ p 1 και q 2 θ p 2 που διαφέρουν λιγότερο από 1/m, δηλαδή (q 2 q 1 )θ (p 2 p 1 ) < 1/m. Ας θέσουμε q = q 2 q 1 και p = p 2 p 1. Οι p και q είναι ακέραιοι στο διάστημα 1 q m. qθ p < 1/m θ p q < 1 mq.

22 Σχόλια στο Θ. του Dirichlet Θεώρημα (Dirichlet) Εστω θ ένας πραγματικός αριθμός. Τότε για οποιονδήποτε φυσικό m, υπάρχουν ακέραιοι p και q, με 1 q m, τέτοιοι ώστε θ p q < 1 mq. [ ] Παρατηρήστε ότι 1 q m 1 mq 1/m και 1 mq 1/q2. Δύο τρόποι να ερμηνεύσουμε το θεώρημα: 1 Δοθέντος m, υπάρχει ρητή προσέγγιση του θ με απόκλιση μικρότερη από 1/m. 2 Υπάρχει ρητή προσέγγιση p/q του θ με απόκλιση μικρότερη από 1/q 2. Πόσοι ρητοί με τη δεύτερη ιδιότητα υπάρχουν; Το επόμενο πόρισμα μας λέει: άπειροι.

23 Πόρισμα του Θ. του Dirichlet Πόρισμα Εστω θ ένας άρρητος αριθμός. Υπάρχουν άπειροι ρητοί p/q, τέτοιοι ώστε θ p q < 1 q 2. (1) Απόδειξη. Εστω ότι μόνο οι ρητοί p 1 q 1,..., p k q k ικανοποιούν την (2). Αν δ = min 1 i k θ p i q i, τότε δ > 0. Εστω M Z >0 τ. ώ. 1/M < δ. Από το Θ. Dirichlet υπάρχει p/r, 1 r M, τ. ώ. Άρα p r { p 1 q 1,..., p k q k }, άτοπο. θ p r < 1 Mr < δ.

24 Πόρισμα του Θ. του Dirichlet Πόρισμα Εστω θ ένας άρρητος αριθμός. Υπάρχουν άπειροι ρητοί p/q, τέτοιοι ώστε θ p q < 1 q 2. (2) Αν αντικαταστήσουμε το 1/q 2 με 1/q a, a > 2, αποδεικνύεται (δύσκολα!) ότι ο αριθμός των λύσεων μπορεί να είναι πεπερασμένος. Για την ακρίβεια, ο αριθμός των λύσεων είναι πάντα πεπερασμένος για αλγεβρικούς αριθμούς a > 2.

25 Προσέγγιση αρρήτων με κοινό παρονομαστή Η προσέγγιση πολλών άρρητων αριθμών με ρητούς που έχουν κοινό παρονομαστή διευκολύνει την πρόσθεση και την αφαίρεση τους. Π.χ., μια κοινή προσέγγιση του 2 = και του 3 = είναι 7/5 = 1.4 και 9/5 = 1.8, αντίστοιχα. Θεώρημα Εστω θ 1,..., θ n πραγματικοί αριθμοί. Τότε για οποιοδήποτε θετικό ακέραιο m, υπάρχουν ακέραιοι p 1,..., p n και q, με 1 q m n, τέτοιοι ώστε θ i p i q < 1 mq για κάθε i = 1,..., n. Ο μόνος αλγόριθμος που έχουμε για να βρίσκει τέτοιους p i και q, είναι να δοκιμάσουμε όλες τις m n δυνατές τιμές του q.

26 Μονοχρωματικό ορθογώνιο Θεώρημα Αν χρωματίσουμε κάθε σημείο του επιπέδου με ακέραιες συντεταγμένες κόκκινο ή μπλε, θα υπάρχει πάντα ορθογώνιο του οποίου οι κορυφές έχουν το ίδιο χρώμα. Απόδειξη. Θεωρούμε τις τομές των ευθειών y = 0, 1, 2 με τις ευθείες x = i, i = 1, 2,..., 9. Σε κάθε ευθεία x = i υπάρχουν 3 χρωματισμένα σημεία. Οι διαφορετικοί χρωματισμοί τους είναι 2 3 = 8, άρα από την ΑτΠ δύο από τις 9 κάθετες ευθείες x = j και x = k, j k, έχουν τον ίδιο χρωματισμό (δηλ. το χρώμα του (j, y) είναι ίδιο με του (k, y) για y = 0, 1, 2.) Πάλι από την ΑτΠ, δύο από τα σημεία (j, 0), (j, 1), (j, 2) πρέπει να έχουν το ίδιο χρώμα, έστω τα (j, y 1 ), (j, y 2 ). Το ορθογώνιο με κορυφές (j, y 1 ), (j, y 2 ), (k, y 1 ), (k, y 2 ) είναι μονοχρωματικό.

27 Χρωματική διατύπωση του Θεωρήματος του Ramsey Το Θεώρημα του Ramsey μπορεί να ιδωθεί ως μια εκλέπτυνση της ΑτΠ, όπου εγγυώμαστε όχι μόνο ότι πολλά στοιχεία συμπίπτουν σε μια φωλιά, αλλά κι ότι έχουν μια ιδιαίτερη σχέση μεταξύ τους. Ορισμός Ενας χρωματισμός των ακμών ενός γραφήματος G = (V, E) είναι μια ανάθεση χρωμάτων στα στοιχεία του E. Με K n συμβολίζουμε την κλίκα (πλήρες γράφημα) με n κορυφές. Θεώρημα (Ramsey) Για κάθε θετικούς ακέραιους k, m 2 υπάρχει φυσικός R = R(k, m) τέτοιος ώστε κάθε χρωματισμός των ακμών του πλήρους γραφήματος K R με τα χρώματα μπλε και κόκκινο ενάγει ως υπογραφήματα ένα μπλε K k ή ένα κόκκινο K m.

28 Άλλα μη κατασκευαστικά θεωρήματα ύπαρξης Θεώρημα Robertson-Seymour για ύπαρξη αλγορίθμου ο οποίος αποφασίζει αν ένα γράφημα G ανήκει σε μια κλειστή ως προς ελάσσονα οικογένεια γραφημάτων. Θεώρημα Brouwer. Fixed point theorem. Θεώρημα Nash στη Θεωρία Παιγνίων.

29 Θεωρήματα Brouwer Ορισμός Δίνεται συνάρτηση f : K K. Το x 0 K καλείται σταθερό σημείο (fixed point) της f αν f(x 0 ) = x 0. Θεώρημα Κάθε συνεχής συνάρτηση f : [a, b] [a, b] έχει σταθερό σημείο. Γενικότερα: Θεώρημα Κάθε συνεχής συνάρτηση f : K K όπου το K κλειστό, φραγμένο και κυρτό έχει σταθερό σημείο. Παράδειγμα: το K κλειστός δίσκος στον Ευκλείδειο χώρο.

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

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

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

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος

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

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

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια)

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

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

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

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

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

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί Αριθμήσιμα σύνολα Μαθηματικά Πληροφορικής 5ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Πόσα στοιχεία έχει το σύνολο {a, b, r, q, x}; Οσα και το σύνολο {,,, 4, 5} που είναι

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

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

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

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

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

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

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

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

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

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

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

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

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

u v 4 w G 2 G 1 u v w x y z 4

u v 4 w G 2 G 1 u v w x y z 4 Διάλεξη :.0.06 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος. Εισαγωγικοί ορισμοί Ορισμός. Γράφημα G καλείται ένα ζεύγος G = (V, E) όπου V είναι το σύνολο των κορυφών (ή κόμβων) και E

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

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

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

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

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, η οποία

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

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r.

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r. Κεφάλαιο 2 Θεωρία Αριθμών Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Hardy and Wright 1979 και Graham, Knuth, and Patashnik 1994. 2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί Θεώρημα 2.1 Αν

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

6 Συνεκτικοί τοπολογικοί χώροι

6 Συνεκτικοί τοπολογικοί χώροι 36 6 Συνεκτικοί τοπολογικοί χώροι Έστω R διάστημα και f : R συνεχής συνάρτηση τότε, όπως γνωρίζουμε από τον Απειροστικό Λογισμό, η f έχει την ιδιότητα της ενδιάμεσου τιμής. Η ιδιότητα αυτή δεν εξαρτάται

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

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές:

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές: 2 Αποδείξεις Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές: Εκδοση 2005/03/22 Εξαντλητική µέθοδος ή µέθοδος επισκόπησης. Οταν το πρόβληµα έχει πεπερασµένες αριθµό περιπτώσεων τις εξετάζουµε

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

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Δομική επαγωγή Η ιδέα της μαθηματικής επαγωγής μπορεί να επεκταθεί και σε άλλες δομές εκτός από το σύνολο N

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

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i.

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i. Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

Σημειώσεις Ανάλυσης Ι. Θεωρούμε γνωστούς τους φυσικούς αριθμούς

Σημειώσεις Ανάλυσης Ι. Θεωρούμε γνωστούς τους φυσικούς αριθμούς Σημειώσεις Ανάλυσης Ι 1. Οι ρητοί αριθμοί Θεωρούμε γνωστούς τους φυσικούς αριθμούς 1, 2, 3, και τις πράξεις (πρόσθεση - πολλαπλασιασμό)μεταξύ αυτών. Οι φυσικοί αριθμοί είναι επίσης διατεταγμένοι με κάποια

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

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1),

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1), Κεφάλαιο 6 Συμπάγεια 6.1 Ορισμός της συμπάγειας Οπως θα φανεί στην αμέσως επόμενη παράγραφο, υπάρχουν διάφοροι τρόποι με τους οποίους μπορεί κανείς να εισάγει την έννοια του συμπαγούς μετρικού χώρου. Ο

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

ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου

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

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

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

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

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

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος 73 3. Συμπαγείς χώροι 3. Συμπαγείς χώροι και βασικές ιδιότητες Οι συμπαγείς χώροι είναι μια από τις πιο σημαντικές κλάσεις τοπολογικών χώρων. Η κλάση των συμπαγών χώρων περιλαμβάνει τα κλειστά διαστήματα,b

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

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων Κρυπτογραφία Θεωρία αριθμών Αλγεβρικές δομές Χρήστος Ξενάκης Το σύνολο των ακεραίων Ζ = {..., -2, -1, 0, 1, 2,...} Το σύνολο των φυσικών Ν = {0, 1, 2,...}

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

Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ LAPLACE

Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ LAPLACE ΚΕΦΑΛΑΙΟ Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ APACE ΚΑΙ ΟΙ ΕΦΑΡΜΟΓΕΣ ΤΟΥ ΣΤΗΝ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΔΙΑΦΟΡΙΚΩΝ KAI ΟΛΟΚΛΗΡΩΤΙΚΟ-ΔΙΑΦΟΡΙΚΩΝ ΕΞΙΣΩΣΕΩΝ ΜΕ ΣΤΑΘΕΡΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ O μετασχηματισμός lc-ο αντίστροφος μετασχηματισμός

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

ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ. Μια παράσταση που περιέχει πράξεις με μεταβλητές (γράμματα) και αριθμούς καλείται αλγεβρική, όπως για παράδειγμα η : 2x+3y-8

ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ. Μια παράσταση που περιέχει πράξεις με μεταβλητές (γράμματα) και αριθμούς καλείται αλγεβρική, όπως για παράδειγμα η : 2x+3y-8 ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ Άλγεβρα 1 ο Κεφάλαιο 1. Τι ονομάζουμε αριθμητική και τι αλγεβρική παράσταση; Να δώσετε από ένα παράδειγμα. Μια παράσταση που περιέχει πράξεις με αριθμούς, καλείται αριθμητική παράσταση,

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

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΠΕΜΠΤΟ ΜΑΘΗΜΑ, 8-11-13 Μ. Παπαδημητράκης. 1 Το Θεώρημα των Bolzano και Weierstrass συμπληρώνεται με την εξής Πρόταση (.16 του βιβλίου). ΠΡΟΤΑΣΗ. [α] Κάθε όχι άνω φραγμένη ακολουθία έχει

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

ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ

ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ Επιμέλεια: Βασίλης Κράνιας wwwe-mathsgr ΑΝΑΛΥΣΗ Τι ονομάζουμε πραγματική συνάρτηση Έστω Α ένα υποσύνολο

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

Μαθηματικά Πληροφορικής Πιθανοτικά Εργαλεία. Υποπροσθετικότητα. Η Πιθανοτική Μέθοδος (The Probabilistic Method)

Μαθηματικά Πληροφορικής Πιθανοτικά Εργαλεία. Υποπροσθετικότητα. Η Πιθανοτική Μέθοδος (The Probabilistic Method) Μαθηματικά Πληροφορικής Πιθανοτικά Εργαλεία Δύο βασικά εργαλεία από τη Θεωρία Πιθανοτήτων. 1 Υποπροσθετικότητα (Union Bound). 2 Γραμμικότητα Αναμενόμενης Τιμής (Linearity of Expectation). Τμήμα Πληροφορικής

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

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

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

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

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3...,

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3..., ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΕΜ Χειμερινό εξάμηνο 017-18 ΜΕΜ31-ΤΟΠΟΛΟΓΙΑ 1, 3Η ΔΙΑΛΕΞΗ ΣΥΝΤΟΜΗ ΕΠΑΝΑΛΗΨΗ ΤΗΣ ΤΟΠΟΛΟΓΙΑΣ ΤΟΥ R ΔΙΔΑΣΚΩΝ: Ι.Δ. ΠΛΑΤΗΣ 1. Ανοικτα και κλειστα συνολα του R Το σύνολο R των πραγματικών

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

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, 6-12-13 Μ. Παπαδημητράκης. 1 Τώρα θα δούμε την απόδειξη του Θεωρήματος που διατυπώσαμε στο τέλος του προηγούμενου μαθήματος. Απόδειξη. [α] Θεωρούμε συνάρτηση f : A R και

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου

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

Θεωρία Γραφημάτων 10η Διάλεξη

Θεωρία Γραφημάτων 10η Διάλεξη Θεωρία Γραφημάτων 0η Διάλεξη Α. Συμβώνης Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Φεβρουάριος 07 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 0η Διάλεξη

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

Θεωρία Γραφημάτων 8η Διάλεξη

Θεωρία Γραφημάτων 8η Διάλεξη Θεωρία Γραφημάτων 8η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη

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

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

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

«ΣΥΝΕΧΗ ΚΛΑΣΜΑΤΑ ΚΑΙ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ: ΠΡΟΣΕΓΓΙΣΕΙΣ ΚΑΙ ΕΦΑΡΜΟΓΕΣ»

«ΣΥΝΕΧΗ ΚΛΑΣΜΑΤΑ ΚΑΙ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ: ΠΡΟΣΕΓΓΙΣΕΙΣ ΚΑΙ ΕΦΑΡΜΟΓΕΣ» Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μετσόβιο Πολυτεχνείο «ΣΥΝΕΧΗ ΚΛΑΣΜΑΤΑ ΚΑΙ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ: ΠΡΟΣΕΓΓΙΣΕΙΣ ΚΑΙ ΕΦΑΡΜΟΓΕΣ» ΜΠΙΘΗΜΗΤΡΗ ΒΑΣΙΛΙΚΗ ΣΤΕΛΛΑ Επιβλέπουσα: Αν. Καθηγήτρια

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

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

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

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

Περίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ. Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }.

Περίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ. Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }. Περίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }. Με Z θα συμβολίζουμε το σύνολο των ακεραίων αριθμών, δηλ. Z = N {0, 1, 2, 3, 4, }. Με Q θα

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου

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

EukleÐdeiec emfuteôseic: ˆnw frˆgmata

EukleÐdeiec emfuteôseic: ˆnw frˆgmata EukleÐdeiec emfuteôseic: ˆnw frˆgmata Εστω f : X Y μια εμφύτευση του μετρικού χώρου (X, ρ) στο χώρο με νόρμα (Y, ). Η παραμόρφωση της f ορίζεται ως εξής: f(x) f(y) ρ(x, y) dist(f) = sup sup x y ρ(x, y)

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

a = a a Z n. a = a mod n.

a = a a Z n. a = a mod n. Αλγεβρα Ι Χειμερινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Πράξεις: Πράξεις στο σύνολο S, ο πίνακας της πράξης, αντιμεταθετικές πράξεις. Προσεταιριστικές πράξεις, το στοιχείο a 1 a 2 a n. Η πράξη «σύνθεση

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

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

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

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

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

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

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ; ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦΑΛΑΙΟ ο : ( ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ) ΠΑΡΑΤΗΡΗΣΗ : Το κεφάλαιο αυτό περιέχει πολλά θέματα που είναι επανάληψη εννοιών που διδάχθηκαν στο Γυμνάσιο γι αυτό σ αυτές δεν θα επεκταθώ αναλυτικά

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

ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΓΙΑ ΤΗ ΔΙΕΘΝΗ ΦΟΙΤΗΤΙΚΗ ΟΛΥΜΠΙΑΔΑ ΜΑΘΗΜΑΤΙΚΩΝ ΟΜΑΔΑ Α

ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΓΙΑ ΤΗ ΔΙΕΘΝΗ ΦΟΙΤΗΤΙΚΗ ΟΛΥΜΠΙΑΔΑ ΜΑΘΗΜΑΤΙΚΩΝ ΟΜΑΔΑ Α ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΓΙΑ ΤΗ 7 Ιουνίου 008 ΔΙΕΘΝΗ ΦΟΙΤΗΤΙΚΗ ΟΛΥΜΠΙΑΔΑ ΜΑΘΗΜΑΤΙΚΩΝ Να απαντήσετε σε 3 θέματα από την ομάδα

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

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a.

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a. 1. Τα θεμελιώδη αριθμητικά συστήματα Με τον όρο θεμελιώδη αριθμητικά συστήματα εννοούμε τα σύνολα N των φυσικών αριθμών, Z των ακεραίων, Q των ρητών και R των πραγματικών. Από αυτά, το σύνολο N είναι πρωτογενές

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

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4 Διακριτά Μαθηματικά Ι Επαναληπτικό Μάθημα 1 Συνδυαστική 2 Μεταξύ 2n αντικειμένων, τα n είναι ίδια. Βρείτε τον αριθμό των επιλογών n αντικειμένων από αυτά τα 2n αντικείμενα. Μεταξύ 3n + 1 αντικειμένων τα

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

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

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

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

ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ Οι πραγματικοί αριθμοί αποτελούνται από τους ρητούς και τους άρρητους αριθμούς, τους φυσικούς και τους ακέραιους αριθμούς. Δηλαδή είναι το μεγαλύτερο σύνολο αριθμών που μπορούμε

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

Μιχάλης Παπαδημητράκης. Πραγματική Ανάλυση. Μέτρο και ολοκλήρωμα Lebesgue στο R. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

Μιχάλης Παπαδημητράκης. Πραγματική Ανάλυση. Μέτρο και ολοκλήρωμα Lebesgue στο R. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης Μιχάλης Παπαδημητράκης Πραγματική Ανάλυση Μέτρο και ολοκλήρωμα Lebesgue στο R Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης Περιεχόμενα Το μέτρο Lebesgue.. Μήκη διαστημάτων..................................2

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

Κατ οίκον Εργασία 1 Σκελετοί Λύσεων

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

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

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

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

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

Ασκήσεις Απειροστικού Λογισμού ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Περιεχόμενα Υπακολουθίες και ακολουθίες Cuchy Σειρές πραγματικών αριθμών 3 3 Ομοιόμορφη συνέχεια 3 4 Ολοκλήρωμα

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

n 5 = 7 ε (π.χ. ορίζοντας n0 = 1+ ε συνεπώς (σύμϕωνα με τις παραπάνω ισοδυναμίες) an 5 < ε. Επομένως a n β n 23 + β n+1

n 5 = 7 ε (π.χ. ορίζοντας n0 = 1+ ε συνεπώς (σύμϕωνα με τις παραπάνω ισοδυναμίες) an 5 < ε. Επομένως a n β n 23 + β n+1 Θέμα 1 (α) Υποθέτουμε (προς απαγωγή σε άτοπο) ότι το σύνολο A έχει μέγιστο στοιχείο, έστω a = max A Τότε, εϕόσον a A, έχουμε a R Q και a M Ομως ο αριθμός μητρώου M είναι ρητός αριθμός, άρα (εϕόσον ο a

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

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

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

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

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

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

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

j=1 x n (i) x s (i) < ε.

j=1 x n (i) x s (i) < ε. Κεφάλαιο 5 Πληρότητα 5.1 Πλήρεις μετρικοί χώροι Ορισμός 5.1.1 (πλήρης μετρικός χώρος). Ενας μετρικός χώρος (X, ρ) λέγεται πλήρης (complete) αν κάθε ρ βασική ακολουθία (x n ) στον X είναι ρ συγκλίνουσα.

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

ProapaitoÔmenec gn seic.

ProapaitoÔmenec gn seic. ProapaitoÔmeec g seic. Α. Το σύνολο των πραγματικών αριθμών R και οι αλγεβρικές ιδιότητες των τεσσάρων πράξεων στο R. Το σύνολο των φυσικών αριθμών N = {1,, 3,... }. Προσέξτε: μερικά βιβλία (τα βιβλία

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

Θεώρημα Βolzano. Κατηγορία 1 η. 11.1 Δίνεται η συνάρτηση:

Θεώρημα Βolzano. Κατηγορία 1 η. 11.1 Δίνεται η συνάρτηση: Κατηγορία η Θεώρημα Βolzano Τρόπος αντιμετώπισης:. Όταν μας ζητούν να εξετάσουμε αν ισχύει το θεώρημα Bolzano για μια συνάρτηση f σε ένα διάστημα [, ] τότε: Εξετάζουμε την συνέχεια της f στο [, ] (αν η

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

z 1 E(G) 2(k 1) = 2k 3. x z 2 H 1 H 2

z 1 E(G) 2(k 1) = 2k 3. x z 2 H 1 H 2 Διάλεξη :..06 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Τζαλάκας Ανδρέας & Σ.Κ.. Εξωεπίπεδα γραφήματα (συνέχεια) Ορισμός. Εστω γράφημα G = (V, E) και S V. S-λοβός (S-lobe) ενάγεται από

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

ΕΠΑΝΑΛΗΨΗ Α ΓΥΜΝΑΣΙΟΥ

ΕΠΑΝΑΛΗΨΗ Α ΓΥΜΝΑΣΙΟΥ ΕΠΑΝΑΛΗΨΗ Α ΓΥΜΝΑΣΙΟΥ ΘΕΩΡΙΑ ΑΛΓΕΒΡΑ ΚΕΦΑΛΑΙΟ Α.1. 1) Ποιοι φυσικοί αριθμοί λέγονται άρτιοι και ποιοι περιττοί; ( σ. 11 ) 2) Από τι καθορίζεται η αξία ενός ψηφίου σ έναν φυσικό αριθμό; ( σ. 11 ) 3) Τι

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

Πολλά ψέματα λίγες αλήθειες. ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ ΜΕΡΟΣ 1 ο

Πολλά ψέματα λίγες αλήθειες. ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ ΜΕΡΟΣ 1 ο Πολλά ψέματα λίγες αλήθειες. ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ ΜΕΡΟΣ ο ΕΚΦΩΝΗΣΕΙΣ Οι απαντήσεις βρίσκονται μετά τις εκφωνήσεις Εξετάστε αν είναι αληθείς ή ψευδείς οι παρακάτω προτάσεις και αιτιολογήστε.

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

sup(a + B) = sup A + sup B inf(a + B) = inf A + inf B.

sup(a + B) = sup A + sup B inf(a + B) = inf A + inf B. Ασκήσεις, Φυλλάδιο. Βρειτε το συνολο Φ A ολων των ανω ϕραγματων του A, και το συνολο φ A ολων των κατω ϕραγματων του A, οταν: a) A = m :, m N}, b) A = + m 2. Βρειτε το if και sup οποτε υπαρχουν) των συνολων

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

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

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 10: Αριθμητική υπολοίπων - Κυκλικές ομάδες: Διαιρετότητα - Ευκλείδειος αλγόριθμος - Κατάλοιπα Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

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

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου wwwaskisopolisgr έκδοση 5-6 wwwaskisopolisgr ΣΥΝΑΡΤΗΣΕΙΣ 5 Τι ονομάζουμε πραγματική συνάρτηση; Έστω Α ένα υποσύνολο του Ονομάζουμε πραγματική συνάρτηση

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

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: :

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: : Η θεωρία στα μαθηματικά προσανατολισμού Γ υκείου Τι λέμε συνάρτηση με πεδίο ορισμού το σύνολο ; Έστω ένα υποσύνολο του Ονομάζουμε πραγματική συνάρτηση με πεδίο ορισμού το μία διαδικασία (κανόνα), με την

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

,, δηλαδή στο σημείο αυτό παρουσιάζει τη μέγιστη τιμή της αν α < 0 2α 4α και την ελάχιστη τιμή της αν α > 0. β Στο διάστημα,

,, δηλαδή στο σημείο αυτό παρουσιάζει τη μέγιστη τιμή της αν α < 0 2α 4α και την ελάχιστη τιμή της αν α > 0. β Στο διάστημα, Γενικής Παιδείας 1.4 Εφαρμογές των παραγώγων Το κριτήριο της πρώτης παραγώγου Στην Άλγεβρα της Α Λυκείου μελετήσαμε τη συνάρτηση f(x) = αx + βx + γ, α 0 και είδαμε ότι η γραφική της παράσταση είναι μία

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

ΑΝΑΛΥΣΗ 2 ΣΕ 37 ΜΑΘΗΜΑΤΑ

ΑΝΑΛΥΣΗ 2 ΣΕ 37 ΜΑΘΗΜΑΤΑ ΑΝΑΛΥΣΗ 2 ΣΕ 37 ΜΑΘΗΜΑΤΑ Μ. Παπαδημητράκης. ΠΡΩΤΟ ΜΑΘΗΜΑ Έστω [, b] ένα κλειστό διάστημα με < b. Διαμέριση του [, b] είναι ένα οποιοδήποτε πεπερασμένο υποσύνολο του [, b] το οποίο περιέχει τουλάχιστον

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

Ανάλυση Ι και Εφαρμογές Σημειώσεις από τις παραδόσεις Α. Γιαννόπουλος Τμήμα Φυσικής Πανεπιστήμιο Αθηνών Αθήνα 2018

Ανάλυση Ι και Εφαρμογές Σημειώσεις από τις παραδόσεις Α. Γιαννόπουλος Τμήμα Φυσικής Πανεπιστήμιο Αθηνών Αθήνα 2018 Ανάλυση Ι και Εφαρμογές Σημειώσεις από τις παραδόσεις Α. Γιαννόπουλος Τμήμα Φυσικής Πανεπιστήμιο Αθηνών Αθήνα 08 Περιεχόμενα Το σύνολο των πραγματικών αριθμών. Φυσικοί, ακέραιοι και ρητοί αριθμοί............................

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 20 Νοεμβρίου 2012

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 20 Νοεμβρίου 2012 ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι ανανεωμένο στις 20 Νοεμβρίου 202 Τμήμα Θ Αποστολάτου & Π Ιωάννου Ακολουθίες - Όρια ακολουθιών Έστω η ακολουθία μια αριθμημένη σειρά δηλαδή) των αριθμών:

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

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

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!). η Διάλεξη: Άρρητοι αριθμοί Το σύνολο Q των ρητών αριθμών είναι το Q = { m n : m Z, n N}. αριθμός που δεν είναι ρητός λέγεται άρρητος. Ενας πραγματικός Ασκηση: Αποδείξτε ότι το άθροισμα και το γινόμενο

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

Μαθηματικά A Γυμνασίου

Μαθηματικά A Γυμνασίου Μαθηματικά A Γυμνασίου ΘΕΩΡΙΑ Α ΓΥΜΝΑΣΙΟΥ Μέρος Α - Άλγεβρα 1. Ποιες είναι οι ιδιότητες της πρόσθεσης των φυσικών; (σελ. 15) 2. Πως ορίζεται η πράξη της αφαίρεσης στους φυσικούς και πότε αυτή μπορεί να

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

Τμήμα Τεχνολόγων Γεωπόνων-Κατεύθυνση Αγροτικής Οικονομίας Μαθηματικά για Οικονομολόγους 2 ο Μάθημα: Σύνολα αριθμών-συναρτήσεις Διδάσκουσα:

Τμήμα Τεχνολόγων Γεωπόνων-Κατεύθυνση Αγροτικής Οικονομίας Μαθηματικά για Οικονομολόγους 2 ο Μάθημα: Σύνολα αριθμών-συναρτήσεις Διδάσκουσα: Τμήμα Τεχνολόγων Γεωπόνων-Κατεύθυνση Αγροτικής Οικονομίας Μαθηματικά για Οικονομολόγους 2 ο Μάθημα: Σύνολα αριθμών-συναρτήσεις Διδάσκουσα: Κοντογιάννη Αριστούλα Σύνολα Σύνολο: Μία συλλογή διακριτών αντικειμένων

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

E(G) 2(k 1) = 2k 3.

E(G) 2(k 1) = 2k 3. Διάλεξη :..06 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Τζαλάκας Ανδρέας & Σ.Κ.. Εξωεπίπεδα γραφήματα (συνέχεια) Ορισμός. Εστω γράφημα G = (V, E) και S V. S-λοβός (S-lobe) ενάγεται από

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

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

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

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

Μεθοδική Επανα λήψή. Επιμέλεια Κων/νος Παπασταματίου. Θεωρία - Λεξιλόγιο Βασικές Μεθοδολογίες. Φροντιστήριο Μ.Ε. «ΑΙΧΜΗ» Κ.

Μεθοδική Επανα λήψή. Επιμέλεια Κων/νος Παπασταματίου. Θεωρία - Λεξιλόγιο Βασικές Μεθοδολογίες. Φροντιστήριο Μ.Ε. «ΑΙΧΜΗ» Κ. Μεθοδική Επανα λήψή Θεωρία - Λεξιλόγιο Βασικές Μεθοδολογίες Φροντιστήριο Μ.Ε. «ΑΙΧΜΗ» Κ. Καρτάλη 8 Βόλος Τηλ. 4 598 Επιμέλεια Κων/νος Παπασταματίου Περιεχόμενα Συνοπτική Θεωρία με Ερωτήσεις Απαντήσεις...

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

ΠΡΑΓΜΑΤΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ

ΠΡΑΓΜΑΤΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 1 ΚΕΦΑΛΑΙΟ 1 : ΠΡΑΓΜΑΤΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 11 ΕΙΣΑΓΩΓΗ Σε ότι ακολουθεί συμβολίζουμε με το σύνολο των φυσικών αριθμών και με και R τα σύνολα των ακεραίων των ρητών και των πραγματικών αριθμών

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

Κατ οίκον Εργασία 1 Σκελετοί Λύσεων

Κατ οίκον Εργασία 1 Σκελετοί Λύσεων ΕΠΛ Δομές Δεδομένων και Αλγόριθμοι Σεπτέμβριος 008 Κατ οίκον Εργασία Σκελετοί Λύσεων Άσκηση Παρατηρούμε ότι ο χρόνος εκτέλεσης μέσης περίπτωσης της κάθε εντολής if ξεχωριστά: if (c mod 0) for (k ; k

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

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

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

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

Αριθμοθεωρητικοί Αλγόριθμοι

Αριθμοθεωρητικοί Αλγόριθμοι Αλγόριθμοι που επεξεργάζονται μεγάλους ακέραιους αριθμούς Μέγεθος εισόδου: Αριθμός bits που απαιτούνται για την αναπαράσταση των ακεραίων. Έστω ότι ένας αλγόριθμος λαμβάνει ως είσοδο έναν ακέραιο Ο αλγόριθμος

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

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

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

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

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Η έννοια της ακολουθίας Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Δηλαδή: f : A B Η ακολουθία είναι συνάρτηση.

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

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

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

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

Υποθέσεις - - Θεωρήματα Υποθέσεις - Θεωρήματα Στα μαθηματικά και στις άλλες επιστήμες κάνουμε συχνά υποθέσεις. Οταν δείξουμε ότι μια υπόθεση είναι αλη

Υποθέσεις - - Θεωρήματα Υποθέσεις - Θεωρήματα Στα μαθηματικά και στις άλλες επιστήμες κάνουμε συχνά υποθέσεις. Οταν δείξουμε ότι μια υπόθεση είναι αλη Υποθέσεις - - Θεωρήματα Μαθηματικά Πληροφορικής 1ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Υποθέσεις - - Θεωρήματα Υποθέσεις - Θεωρήματα Στα μαθηματικά και στις άλλες επιστήμες

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

Μαθηματικά Πληροφορικής

Μαθηματικά Πληροφορικής Μαθηματικά Πληροφορικής 7ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ταιριάσματα(matchings) Ορισμός(Ταίριασμα) Εστωγράφημα G = (V,E).Ταίριασμακαλείταιένασύνολο M E,τέτοιοώστεκάθεκόμβοςτου

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

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε Διάλεξη 4: 20.10.2016 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος 4.1 2-συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός γραφήματος G μοιράζονται το πολύ μία κορυφή. Απόδειξη:

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

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2...

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2... ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ Β.ΒΛΑΧΟΥ, Α. ΣΟΥΡΜΕΛΙΔΗΣ Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Φθινόπωρο 2013 1 Θα θέλαμε να αναφέρουμε ότι για την συγγραφή αυτών των σημειώσεων χρησιμοποιήσαμε ιδιαίτερα α)το βιβλίο

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

Περιεχόμενα. Κεφάλαιο 3 Οι ιδιότητες των αριθμών... 37 3.1 Αριθμητικά σύνολα... 37 3.2 Ιδιότητες... 37 3.3 Περισσότερες ιδιότητες...

Περιεχόμενα. Κεφάλαιο 3 Οι ιδιότητες των αριθμών... 37 3.1 Αριθμητικά σύνολα... 37 3.2 Ιδιότητες... 37 3.3 Περισσότερες ιδιότητες... Περιεχόμενα Πρόλογος... 5 Κεφάλαιο Βασικές αριθμητικές πράξεις... 5. Τέσσερις πράξεις... 5. Σύστημα πραγματικών αριθμών... 5. Γραφική αναπαράσταση πραγματικών αριθμών... 6.4 Οι ιδιότητες της πρόσθεσης

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

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

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

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

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

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

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου

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

Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία

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

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

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ). Κεφάλαιο 4 Συναρτήσεις μεταξύ μετρικών χώρων 4.1 Συνεχείς συναρτήσεις Εστω (X, ρ) και (Y, σ) δύο μετρικοί χώροι. Στην 2.2 δώσαμε τον ορισμό της συνέχειας μιας συνάρτησης f : X Y σε κάποιο σημείο x 0 X:

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

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς

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

Ιωάννης Σ. Μιχέλης Μαθηματικός

Ιωάννης Σ. Μιχέλης Μαθηματικός 1 Άλγεβρα 1 ο Κεφάλαιο Ερώτηση 1 : Ποιες είναι οι ιδιότητες της πρόσθεσης των φυσικών; Το άθροισμα ενός φυσικού αριθμού με το 0 ισούται με τον ίδιο αριθμό. α+0=α Αντιμεταθετική ιδιότητα. Με βάση την οποία

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

2 n N: 0, 1,..., n A n + 1 A

2 n N: 0, 1,..., n A n + 1 A Θεωρία Υπολογισμού Ενότητα 5: Τεχνικές απόδειξης & Κλειστότητα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,

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