Π(n) : 1 + a + + a n = αν+1 1

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

Download "Π(n) : 1 + a + + a n = αν+1 1"

Transcript

1 Διακριτά Μαθηματικά [Rosen, κεφ. 5] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Νοέμβριος 2017

2 Επαγωγή και Αναδρομή [Rosen, κεφ. 5]

3 Μαθηματική επαγωγή [Rosen 5.1] Μέθοδος απόδειξης μιας μαθηματικής πρότασης Π(n), η οποία εξαρτάται από έναν φυσικό ν N. Σκοπός είναι να δείξουμε πως η Π(n) είναι αληθής, ν n 0 N. Δύο στάδια: 1. Βάση: Δείχνουμε πως η Π(n 0 ) είναι αληθής. 2. Επαγωγική Υπόθεση: Θεωρούμε πως ισχύει η Π(κ), όπου κ n 0. Επαγωγικό Βήμα: Δείχνουμε πως Π(κ) Π(κ + 1).

4 Παράδειγμα επαγωγής Για α 1, n N, δείξτε πως Λύση. Π(n) : 1 + a + + a n = αν+1 1 α 1. Επαγωγική βάση, Π(0): 1 = (a 1)/(a 1) : αληθής. Βήμα: a κ + α κ+1 = (α κ+2 1)/(α 1) αk+1 1 α 1 + α κ+1 = ακ+2 1 α 1 α k α κ+2 α κ+1 = α κ+2 1 : αληθής.

5 Επαγωγή για ανισότητα Παράδειγμα. Oι αρμονικοί αριθμοί ορίζονται ως Ν.δ.ό. H 2 n 1 + n 2, n N. Λύση. H j = j, j 1. Βάση: n = 1 : H 2 = n = 2 : H 4 = = Επαγωγικό Βήμα. H 2 n+1 = H 2 n n n n 2 + 2n 1 2 n+1 = 1 + n

6 Πληθικός αριθμός δυναμοσυνόλου Θεώρημα. P(A) = 2 A Απόδειξη. Θα χρησιμοποιήσουμε επαγωγή ως προς A = ν 0. Βάση επαγωγής: A 0 = 0 A 0 = 2 A 0 = { } = 1. Επιπλέον A 1 = 1 A 1 = {a} 2 A 1 = {, {a}} = 2. Επαγωγικό βήμα: A k = A k 1 {a}, A k = k 1. Κάθε υποσύνολο του A k είτε περιέχει το α είτε όχι: ( ) P(A k ) = P(A k 1 ) {B {a}} B Ak 1 ( ) = P(A k 1 ) B P(Ak 1) {B {a}} P(A k ) = 2 P(A k 1 ) = 2 2 k 1 = 2 k.

7 Βήματα απόδειξης

8 Ισχυρή Επαγωγή [Rosen 5.2] Τα δύο στάδια της ισχυρής επαγωγής είναι: 1. Βάση: Δείχνουμε πως η Π(n 0 ) είναι αληθής. 2. Επαγωγική Υπόθεση: Θεωρούμε πως ισχύουν όλες οι Π(n 0 ),..., Π(κ), όπου κ n 0. Επαγωγικό Βήμα: Δείχνουμε πως [Π(ι), i = n 0,..., k] Π(κ + 1). Καλείται και Πλήρης Επαγωγή.

9 Παράδειγμα Κάθε φυσικός n 2 είναι είτε πρώτος είτε γινόμενο πρώτων. Απόδειξη. Βάση: Ο n = 2 είναι πρώτος. Επαγωγική υπόθεση: Η πρόταση ισχύει για i = 2,..., κ. Επαγωγικό βήμα: Αν ο κ + 1 είναι πρώτος, η πρόταση αποδείχθηκε. Αλλιώς κ + 1 = ab, a, b : 1 < a, b < κ + 1. Υπόθεση οι a, b είναι είτε πρώτοι είτε γινόμενα πρώτων, άρα κι ο κ + 1 είναι γινόμενο πρώτων.

10 Υπολογιστική Γεωμετρία e p V (p) window V (e) Απλό πολύγωνο: ορίζεται από μια ακολουθία ακμών οι οποίες τέμνονται μόνο ανά δύο γειτονικές σε μια (κοινή) κορυφή. Mη απλά και απλά πολύγωνα (κυρτό και μη κυρτό).

11 Διαγώνιοι v u k w u v Λήμμα. Κάθε απλό πολύγωνο με 4 ακμές έχει μια εσωτερική διαγώνιο. Θα αποδειχθεί αργότερα.

12 Τριγωνοποίηση Θεώρημα. Κάθε απλό πολύγωνο με n 3 ακμές υποδιαιρείται (τριγωνοποιείται) σε n 2 τρίγωνα (χωρίς επικαλύψεις). Απόδειξη. Βάση. n = 3 τρίγωνο, n = 4 τετράπλευρο κυρτό ή μη. Επαγωγική Υπόθεση. Η πρόταση ισχύει για πολύγωνα με k ακμές, k 3. Επαγωγικό Βήμα. Θα δείξουμε την πρόταση για πολύγωνο με k + 1 ακμές, k 3. Από το Λήμμα φέρνουμε διαγώνιο που υποδιαιρεί το πολύγωνο σε δύο πολύγωνα με πλήθος ακμών j + 1, (k + 1) j + 1, αντίστοιχα. Καθένα έχει 3 ακμές (π.χ. j 2). Καθένα τριγωνοποιείται με j 1, k j τρίγωνα, άρα συνολικά k 1 τρίγωνα.

13 Απόδειξη Λήμματος Λήμμα. Κάθε απλό πολύγωνο με 4 ακμές έχει μία εσωτερική διαγώνιο. Απόδειξη. Έστω η αριστερότερη κορυφή u του πολυγώνου, και v, w οι γειτονικές της κορυφές. Αν η διαγώνιος vw είναι εσωτερική, το Λήμμα αποδείχθηκε. Αλλιώς, η vw τέμνει το πολύγωνο. Από τις κορυφές εντός του τριγώνου (vuw), επιλέγουμε την k ώστε η γωνία uvk να είναι ελάχιστη, και παίρνουμε την διαγώνιο uk. v u k w u v

14 Αναδρομικός ορισμός [Rosen 5.3] Αναδρομικός ή επαγωγικός ορισμός συναρτήσεων Βάση: η τιμή της συνάρτησης στο σημείο n 0 = 0, ή σε περισσότερα σημεία ώστε να είναι καλώς ορισμένη. Αναδρομικό Βήμα: Κανόνας εύρεσης τιμής σε κάποιον ακέραιο, από τις τιμές σε μικρότερους ακεραίους. Παράδειγμα. H συνάρτηση Fibonacci: f 0 = 0, f 1 = 1, f n = f n 1 + f n 2.

15 Παράδειγμα Ν.δ.ό. για τη Fibonacci: f n > φ n 2, n 3, φ = (1 + 5)/2. Απόδειξη. Ισχυρή επαγωγή. Βάση για n = 3, 4: f 3 = 2 > φ, f 4 = 3 > φ 2 = (3 + 5)/2. Επαγωγική/Αναδρομική υπόθεση: f j > φ j 2, 3 j k. Παρατηρήστε πως το φ είναι λύση της x 2 x 1 = 0. Επαγωγικό/Αναδρομικό Βήμα: Για k 4, θ.δ.ό. f k+1 > φ k 1 = φ 2 φ k 3 = (φ + 1)φ k 3 = φ k 2 + φ k 3. Γνωρίζουμε f k+1 = f k + f k 1, άρα η ανισότητα ισχύει.

16 Παράδειγμα Έστω a 0 μια σταθερά και για n 1 : n 1 ( ) n 1 a n = a i a i (n 1) i i=0 Ν.δ.ό. για n 0 ισχύει a n = (n!) a n+1 0. Απόδειξη. Θα χρησιμοποιήσουμε ισχυρή επαγωγή. Βάση για n = 0: a 0 = (0!)a a 0 = a 0. Επαγωγική/Αναδρομική υπόθεση: Για κάποιο k 0 ισχύει: a n = (n!)a n+1 0, για n = 0, 1,..., k Επαγωγικό/Αναδρομικό Βήμα: Θα δείξουμε ότι το αποτέλεσμα είναι αληθές για n = k + 1. Χρησιμοποιώντας την επαγωγική υπόθεση έχουμε διαδοχικά:

17 Παράδειγμα (συνέχεια) a k+1 = = = = k ( ) k a i a k i i k ( ) k (i!) ( a i+1 ) ( ) 0 (k i)! a k i+1 0 i k ( ) k (i!) (k i)! ( a k+2 ) 0 i i=0 i=0 i=0 k i=0 k! a k+2 0 = (k + 1) [ k! a k+2 0 ] = (k + 1)! a k+2 0. Οπότε η ισότητα του επαγωγικού βήματος επαληθεύεται και άρα για κάθε n 0 ισχύει a n = (n!) a n+1 0.

18 Δομική επαγωγή Μια απόδειξη δομικής επαγωγής αποτελείται από δύο βήματα: Βήμα Βάσης: Δείχνουμε το αποτέλεσμα για τα στοιχεία στο βήμα βάσης του αναδρομικού ορισμού. Αναδρομικό / επαγωγικό Βήμα: Δείχνουμε πως, αν η πρόταση αληθεύει για τα στοιχεία που χρησιμοποιούνται για την κατασκευή νέων στοιχείων στο αναδρομικό βήμα του ορισμού, τότε το αποτέλεσμα ισχύει για τα νέα αυτά στοιχεία. H δομική επαγωγή εφαρμόζεται στην απόδειξη ιδιοτήτων για αναδρομικώς ορισμένα σύνολα.

19 Αναδρομικά ορισμένα σύνολα Παράδειγμα. Υποσύνολο S ακέραιων αριθμών, που ορίζεται ως εξής: Bάση: 3 S. Αναδρομικό Βήμα. x S, y S τότε x + y S. Θα δείξουμε πως S = A, όπου A το σύνολο των θετικών πολλαπλασίων του 3. Απόδειξη. A S: Κάθε 3ν S με (απλή) επαγωγή ως προς ν 1. S A: (Δομική επαγωγή) Στοιχεία συνόλου από Βάση: 3 A. Στοιχεία από Αναδρομή: Θ.δ.ό. x, y S x + y A: x, y S x, y A επαγωγική υπόθεση x + y A ως πολλαπλάσια του 3

20 Δένδρα με ρίζα Μελετάμε την απλούστερη κατηγορία γράφων (graphs): τα δένδρα (trees) είναι συνεκτικοί γράφοι χωρίς κύκλο. Δένδρα με ρίζα: αποτελούνται από ένα σύνολο κορυφών/κόμβων με μια ξεχωριστή κορυφή, τη ρίζα, και ακμές που συνδέουν ορισμένους κόμβους. (Για δυο κόμβους, είτε υπάρχει μοναδική ακμή είτε όχι).

21 Πλήρες δυαδικό δένδρο Αναδρομικός ορισμός Πλήρους Δυαδικoύ Δένδρoυ (πδδ) Αναδρομική Βάση: Υπάρχει πλήρες δυαδικό δένδρο (πδδ) αποτελούμενο μόνο από μια κορυφή/κόμβο r (τη ρίζα). Αναδρομικό βήμα. Αν T 1, T 2 πδδ, υπάρχει πδδ που γράφεται T = T 1 T 2 αποτελούμενο από μια ρίζα r μαζί με τις ακμές που συνδέουν την r με καθεμιά από τις ρίζες των υποδένδρων T 1, T 2.

22 Αναδρομικοί ορισμοί: Ύψος, πλήθος κόμβων, φύλλα Ύψος h(t) ενός πδδ T: Βάση: h(t) = 0, αν το T αποτελείται μόνο από τη ρίζα. Αναδρομικό βήμα: Αν T 1, T 2 είναι πδδ, τότε το πδδ T = T 1 T 2 έχει ύψος h(t) = 1 + max{h(t 1 ), h(t 2 )}. Πλήθος κόμβων/κορυφών n(t) πδδ T: Βάση: n(t) = 1, αν το T αποτελείται μόνο από τη ρίζα. Αναδρομικό βήμα: Αν T 1, T 2 είναι πδδ, τότε το πδδ T = T 1 T 2 έχει n(t) = 1 + n(t 1 ) + n(t 2 ). Σύνολο φύλλων (leaves) ενός πδδ T: Βάση: Αν το T αποτελείται μόνο από τη ρίζα τότε αυτή είναι το (μοναδικό) φύλλο του T. Αναδρομικό: Αν T 1, T 2 είναι πδδ, το σύνολο των φύλλων του πδδ T = T 1 T 2 είναι η ένωση των συνόλου των φύλλων του T 1 και T 2. Όσοι κόμβοι δεν είναι φύλλα λέγονται εσωτερικοί.

23 Σχέση ύψους και πλήθους κόμβων Θεώρημα. Για κάθε πδδ T ισχύει: n(t) 2 h(t)+1 1. Βήμα βάσης: Αν το T αποτελείται μόνο από ρίζα, ν(t) = Αναδρομικό βήμα: n(t) = 1 + n(t 1 ) + n(t 2 ) 1 + (2 h 1+1 1) + (2 h 2+1 1) 2 max{2 h 1+1, 2 h 2+1 } 1 = 2 2 max{h 1,h 2 }+1 1 = 2 2 h(t) 1 = 2 h(t)+1 1.

24 Σχέση πλήθους φύλλων και εσωτερικών κόμβων Έστω πδδ T, l(t) το πλήθος των φύλλων του και i(t) το πλήθος των εσωτερικών κόμβων του. Ν.δ.ό: l(t) = i(t) + 1. Βήμα βάσης: Αν το T αποτελείται μόνο από ρίζα, δεν έχει εσωτερικούς κόμβους: l(t) = 1, ενώ i(t) = 0: η σχέση ισχύει. Αναδρομικό βήμα: Έστω πδδ T 1, T 2 και υποθέτουμε l(t j ) = i(t j ) + 1, j = 1, 2. H ρίζα του πδδ T = T 1 T 2 είναι εσωτερικός κόμβος του T, και κάθε εσωτερικός κόμβος στα T 1, T 2 είναι εσωτερικός κόμβος του T: i(t) = i(t 1 ) + i(t 2 ) + 1. Ομοίως, τα φύλλα των T 1, T 2 είναι επίσης φύλλα του T, οπότε l(t) = l(t 1 ) + l(t 2 ). Άρα: l(t) = l(t 1 ) + l(t 2 ) = i(t 1 ) i(t 2 ) + 1 = (i(t 1 ) + i(t 2 ) + 1) + 1 = i(t) + 1.

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1 Διακριτά Μαθηματικά [Rosen, κεφ. 5] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Νοέμβριος 2018 Επαγωγή και Αναδρομή [Rosen, κεφ. 5] Μαθηματική επαγωγή [Rosen 5.1] Μέθοδος απόδειξης μιας μαθηματικής

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

Διακριτά Μαθηματικά. Γιάννης Εμίρης. Τμήμα Πληροφορικής & Τηλεπικοινωνιών ΕΚΠΑ. Νοέμβριος

Διακριτά Μαθηματικά. Γιάννης Εμίρης. Τμήμα Πληροφορικής & Τηλεπικοινωνιών ΕΚΠΑ. Νοέμβριος ΔιακριτάΜαθηματικά Γιάννης Εμίρης http://eclass.uoa.gr/ Τμήμα Πληροφορικής & Τηλεπικοινωνιών ΕΚΠΑ Νοέμβριος 2016 Διακριτά Μαθηματικά ΕπαγωγήκαιΑναδρομή [Rosen,κεφ. 5] Διακριτά Μαθηματικά Μαθηματικήεπαγωγή

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

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

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

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

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

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

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

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα Γενικό πλάνο Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 1 Παράδειγµα δοµικής επαγωγής 2 Ορισµός δοµικής

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

Μαθηµατικά για Πληροφορική

Μαθηµατικά για Πληροφορική Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 14/10/2008 1 / 24 Γενικό πλάνο 1 Παράδειγµα δοµικής επαγωγής

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

3 Αναδροµή και Επαγωγή

3 Αναδροµή και Επαγωγή 3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα

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

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

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

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

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

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

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

Δυναμικός προγραμματισμός για δέντρα

Δυναμικός προγραμματισμός για δέντρα ΘΕ5 Ιδιότητες Δέντρων και Αναδρομή για Δέντρα Δυναμικός προγραμματισμός για δέντρα Έστω ότι, για k=1,..., m, το γράφημα Γ k = (V k, E k ) είναι δέντρο. Έστω w V 1... V m, z k V k, για k=1,..., m. Συμβολίζουμε

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

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα ΘΕ4 Αναδρομή και Επαγωγή για Γραφήματα Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα Επαγωγή για άκυκλα συνεκτικά γραφήματα (με αφαίρεση κορυφής) Η αρχή της επαγωγής, με αφαίρεση κορυφής, για δεδομένη

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

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

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

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

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

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

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

Επαγωγή και αναδρομή για συνεκτικά γραφήματα

Επαγωγή και αναδρομή για συνεκτικά γραφήματα ΘΕ4 Αναδρομή και Επαγωγή για Γραφήματα Επαγωγή και αναδρομή για συνεκτικά γραφήματα Επαγωγή για συνεκτικά γραφήματα (με αφαίρεση κορυφής) Η αρχή της επαγωγής, με αφαίρεση κορυφής, για δεδομένη προτασιακή

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

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

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

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

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

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

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

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

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

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

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

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

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

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις Ασκήσεις 5 Βασικά σημεία Ιδιότητες ιδιόχωρων: Έστω,, Ισχύουν τα εξής Ασκήσεις Διαγωνίσιμες Γραμμικές Απεικονίσεις κάποιες διακεκριμένες ιδιοτιμές της γραμμικής απεικόνισης : V V, όπου o Αν v v 0, όπου

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

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

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

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

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

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

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

Σχεδίαση Αλγορίθμων -Τμήμα Πληροφορικής ΑΠΘ - Εξάμηνο 4ο

Σχεδίαση Αλγορίθμων -Τμήμα Πληροφορικής ΑΠΘ - Εξάμηνο 4ο Πολλαπλασιασμός μεγάλων ακεραίων (1) Για να πολλαπλασιάσουμε δύο ακεραίους με n 1 και n 2 ψηφία με το χέρι, θα εκτελέσουμε n 1 n 2 πράξεις πολλαπλασιασμού Πρόβλημα ρβημ όταν έχουμε πολλά ψηφία: A = 12345678901357986429

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 36 η Εθνική Μαθηματική Ολυμπιάδα «Ο ΑΡΧΙΜΗΔΗΣ» 23 Φεβρουαρίου 2019 Θέματα και ενδεικτικές λύσεις μεγάλων τάξεων

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 36 η Εθνική Μαθηματική Ολυμπιάδα «Ο ΑΡΧΙΜΗΔΗΣ» 23 Φεβρουαρίου 2019 Θέματα και ενδεικτικές λύσεις μεγάλων τάξεων ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Πανεπιστημίου (Ελευθερίου Βενιζέλου) 34 06 79 ΑΘΗΝΑ Τηλ 036653 367784 Fax: 036405 e mail : info@hmsgr wwwhmsgr GREEK MATHEMATICAL SOCIETY 34, Paneistimiou (Εleftheriou Venizelou)

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

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

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

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

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

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

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

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

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

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

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι;

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; ΘΕΜΑΤΑ ΔΕΝΔΡΩΝ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ ΠΛΗ0 ΑΣΚΗΣΗ Για τις ερωτήσεις - θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; Β Ε Α 6 Δ 5 9 8 0 Γ 7 Ζ Η. Σ/Λ Δυο από τα συνδετικά

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ. Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ. Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30 ΟΔΗΓΙΕΣ: ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Γ ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΚΑΤΩ ΤΩΝ 15 1/2 ΕΤΩΝ «Ευκλείδης» Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30 1. Να λύσετε όλα τα θέματα αιτιολογώντας πλήρως τις απαντήσεις

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

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

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

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

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem) Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem) Διατύπωση Σας ανήκει μια πινακοθήκη και επιθυμείτε να τοποθετήσετε κάμερες ασφαλείας έτσι ώστε όλη η γκαλερί να είναι προστατευμένη από κλέφτες. Σε

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

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα. Ασκήσεις 0 Ασκήσεις Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα o H -στήλη του P P είναι E αν και μόνο αν η -στήλη του P είναι ιδιοδιάνυσμα του που αντιστοιχεί στην ιδιοτιμή

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

1 Arq thc Majhmatik c Epagwg c

1 Arq thc Majhmatik c Epagwg c Μαθηματικός Λογισμός Ι Φθινόπωρο 0 Σημειώσεις 7-0- Μ. Ζαζάνης Arq thc Majhati c Epagwg c Θα συμβολίζουμε το σύνολο των ϕυσικών αριθμών, {,,,...} με το σύμβολο N. Το σύνολο των ϕυσικών αριθμών, συμπεριλαμβανομένου

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

a n = 3 n a n+1 = 3 a n, a 0 = 1

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

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

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

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

F 5 = (F n, F n+1 ) = 1.

F 5 = (F n, F n+1 ) = 1. Λύσεις Θεμάτων Θεωρίας Αριθμών 1. (α) Να δειχθεί ότι ο πέμπτος αριθμός της μορφής Fermat, δηλαδή ο F 5 2 25 + 1 διαιρείται από το 641. (β) Εστω F n η ακολουθία των αριθμών Fermat, δηλαδή F n 2 2n + 1,

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

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

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

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

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

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ ΕΠΑΡΧΙΑΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΝΟΕΜΒΡΙΟΣ 2012 Α ΓΥΜΝΑΣΙΟΥ Ημερομηνία: 10/11/2012 Ώρα εξέτασης: 10:00-12:00 ΟΔΗΓΙΕΣ: 1 Να λύσετε όλα τα θέματα Κάθε θέμα βαθμολογείται με 10 μονάδες

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

1 Η εναλλάσσουσα ομάδα

1 Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Όπως είδαμε η συνάρτηση g : S { } είναι ένας επιμορφισμός ομάδων. Ο πυρήνας Ke g {σ S / g σ } του επιμορφισμού συμβολίζεται με A περιέχει όλες τις άρτιες μεταθέσεις

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

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

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

Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018

Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018 Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018 Αλγόριθμοι Ρυθμός αύξησης συναρτήσεων [Rosen 3.2] Αριθμητικές συναρτήσεις Τάξη αριθμητικών συναρτήσεων

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

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 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

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

(Γραμμικές) Αναδρομικές Σχέσεις

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

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

Ασκήσεις στους Γράφους. 2 ο Σετ Ασκήσεων. Δέντρα

Ασκήσεις στους Γράφους. 2 ο Σετ Ασκήσεων. Δέντρα Ασκήσεις στους Γράφους 2 ο Σετ Ασκήσεων Δέντρα Ασκηση 1 η Ένας γράφος G είναι δέντρο αν και μόνο αν κάθε δυο κορυφές του συνδέονται με ένα μοναδικό μονοπάτι. Υποθέτουμε ότι ο γράφος G είναι δέντρο. Έστω

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

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

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

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Α' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ «Ευκλείδης» Ημερομηνία: 21/01/2017 Ώρα εξέτασης: 10:00-14:30 ΟΔΗΓΙΕΣ: 1. Να λύσετε όλα τα θέματα αιτιολογώντας πλήρως τις απαντήσεις σας. 2.

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

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

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

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

ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ ΑΡΙΘΜΟΙ ΠΡΟΛΕΓΟΜΕΝΑ 17. ΚΕΦΑΛΑΙΟ 1 25 Οι φυσικοί αριθμοί και η αναπαράστασή τους

ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ ΑΡΙΘΜΟΙ ΠΡΟΛΕΓΟΜΕΝΑ 17. ΚΕΦΑΛΑΙΟ 1 25 Οι φυσικοί αριθμοί και η αναπαράστασή τους ΠΕΡΙΕΧΟΜΕΝΑ ΠΡΟΛΕΓΟΜΕΝΑ 17 ΜΕΡΟΣ ΠΡΩΤΟ ΑΡΙΘΜΟΙ ΚΕΦΑΛΑΙΟ 1 25 Οι φυσικοί αριθμοί και η αναπαράστασή τους Οι φυσικοί αριθμοί 26 Η σχέση της ισότητας και της ανισότητας των φυσικών αριθμών 27 Η αναπαράσταση

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

ΜΕΜ251 Αριθμητική Ανάλυση

ΜΕΜ251 Αριθμητική Ανάλυση ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 07, 2 Μαρτίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Συμμετρικοί και θετικά ορισμένοι πίνακες. Η ανάλυση Cholesky 2. Νόρμες

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

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0. Ασκήσεις4 46 Ασκήσεις 4 Τριγωνίσιμες γραμμικές απεικονίσεις, Θεώρημα των Cayley-Hamilton Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Κριτήριο τριγωνισιμότητας

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

Ισορροπημένα Δένδρα. για κάθε λειτουργία; Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή

Ισορροπημένα Δένδρα. για κάθε λειτουργία; Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή Ισορροπημένα Δένδρα Μπορούμε να επιτύχουμε για κάθε λειτουργία; χρόνο εκτέλεσης Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή μετά από Περιστροφές x αριστερή περιστροφή από το x y α β y

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

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

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

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

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

ΚΕΦΑΛΑΙΟ 11 Ο ΜΕΤΡΗΣΗ ΚΥΚΛΟΥ 11.3 ΕΓΓΡΑΦΗ ΒΑΣΙΚΩΝ ΚΑΝΟΝΙΚΩΝ ΠΟΛΥΓΩΝΩΝ ΣΕ ΚΥΚΛΟ ΚΑΙ ΤΑ ΣΤΟΙΧΕΙΑ ΤΟΥΣ ΚΕΦΑΛΑΙΟ 11 Ο ΜΕΤΡΗΣΗ ΚΥΚΛΟΥ 113 ΕΓΓΡΑΦΗ ΒΑΣΙΚΩΝ ΚΑΝΟΝΙΚΩΝ ΠΟΛΥΓΩΝΩΝ ΣΕ ΚΥΚΛΟ ΚΑΙ ΤΑ ΣΤΟΙΧΕΙΑ ΤΟΥΣ ΘΕΩΡΙΑ Θα ασχοληθούμε με την εγγραφή μερικών βασικών κανονικών πολυγώνων σε κύκλο και θα υπολογίσουμε

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

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 76 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΘΑΛΗΣ 14 Νοεμβρίου 2015. Ενδεικτικές λύσεις Β ΓΥΜΝΑΣΙΟΥ

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 76 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΘΑΛΗΣ 14 Νοεμβρίου 2015. Ενδεικτικές λύσεις Β ΓΥΜΝΑΣΙΟΥ ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Πανεπιστημίου (Ελευθερίου Βενιζέλου) 34 06 79 ΑΘΗΝΑ Τηλ. 36653-367784 - Fax: 36405 e-mail : info@hms.gr www.hms.gr GREEK MATHEMATICAL SOCIETY 34, Panepistimiou (Εleftheriou

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

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

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

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

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

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

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

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρηµα του Θαλή και οι Συνέπειές του

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρηµα του Θαλή και οι Συνέπειές του ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρηµα του Θαλή και οι Συνέπειές του 198 ΕΡΩΤΗΣΕΙΣ ΑΝΑΠΤΥΞΗΣ ΚΑΙ ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ 1. Στο παρακάτω σχήµα το τρίγωνο ΑΒΓ είναι ορθογώνιο στο Α. Αν Α ΒΓ, Ε ΑΒ τότε το τρίγωνο

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

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

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

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

ΗΡΑΚΛΕΙΤΟΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΗΡΑΚΛΕΙΤΟΣ ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β') ΔΕΥΤΕΡΑ 28 ΜΑΪΟΥ 2012

ΗΡΑΚΛΕΙΤΟΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΗΡΑΚΛΕΙΤΟΣ ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β') ΔΕΥΤΕΡΑ 28 ΜΑΪΟΥ 2012 ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β') ΔΕΥΤΕΡΑ 28 ΜΑΪΟΥ 2012 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΘΕΜΑ

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

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

Κατ οίκον Εργασία 3 Σκελετοί Λύσεων Κατ οίκον Εργασία 3 Σκελετοί Λύσεων Άσκηση 1 (α) Έστω Α(n) και Κ(n) ο αριθμός των ακμών και ο αριθμός των κόμβων ενός αυστηρά δυαδικού δένδρου με n φύλλα. Θέλουμε να αποδείξουμε για κάθε n 1 την πρόταση

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

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

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

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι R διάστηµα και f : Ι R συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f (

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

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

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

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

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) ενάγεται από

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Γ' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Γ' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30 ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Γ' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ «Ευκλείδης» Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30 ΟΔΗΓΙΕΣ: 1. Να λύσετε όλα τα θέματα αιτιολογώντας πλήρως τις απαντήσεις σας. 2.

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

Συνεχή Κλάσματα. Εμμανουήλ Καπνόπουλος Α.Μ 282

Συνεχή Κλάσματα. Εμμανουήλ Καπνόπουλος Α.Μ 282 Συνεχή Κλάσματα Εμμανουήλ Καπνόπουλος Α.Μ 282 5 Νοεμβρίου 204 Ορισμός και ιδιότητες: Ορισμός: Έστω a 0, a, a 2,...a n ανεξάρτητες μεταβλητές, n N σχηματίζουν την ακολουθία {[a 0, a,..., a n ] : n N} όπου

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

Παράλληλοι Αλγόριθμοι: Ανάλυση Εικόνας και Υπολογιστική Γεωμετρία. Πέτρος Ποτίκας CoReLab 4/5/2006

Παράλληλοι Αλγόριθμοι: Ανάλυση Εικόνας και Υπολογιστική Γεωμετρία. Πέτρος Ποτίκας CoReLab 4/5/2006 Παράλληλοι Αλγόριθμοι: Ανάλυση Εικόνας και Υπολογιστική Γεωμετρία Πέτρος Ποτίκας CoReLab 4/5/2006 Επισκόπηση Ετικέτες σε συνιστώσες (Component labelling) Hough μετασχηματισμοί (transforms) Πλησιέστερος

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

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

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

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

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρημα του Θαλή και οι Συνέπειές του

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρημα του Θαλή και οι Συνέπειές του ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρημα του Θαλή και οι Συνέπειές του 198 ΕΡΩΤΗΣΕΙΣ ΑΝΑΠΤΥΞΗΣ ΚΑΙ ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ 1. Στο παρακάτω σχήμα το τρίγωνο ΑΒΓ είναι ορθογώνιο στο Α. Αν ΑΔ ΒΓ, ΕΔ ΑΒ τότε το τρίγωνο

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

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

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

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

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ 8 η Διάλεξη Επιπεδότητα (ή επιπεδικότητα γράφων) Βασικές εννοιες και ιδιότητες Θεώρημα Kuratowski Δυαδικότητα (Δυϊκότητα) επίπεδων γράφων Αλγόριθμοι

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

4.1 Η ΜΑΘΗΜΑΤΙΚΗ ΕΠΑΓΩΓΗ ΘΕΩΡΙΑ ΣΧΟΛΙΑ ΜΕΘΟ ΟΙ

4.1 Η ΜΑΘΗΜΑΤΙΚΗ ΕΠΑΓΩΓΗ ΘΕΩΡΙΑ ΣΧΟΛΙΑ ΜΕΘΟ ΟΙ .1 Η ΜΑΘΗΜΑΤΙΚΗ ΕΠΑΓΩΓΗ ΘΕΩΡΙΑ 1. Αρχή της Μαθηµατιής Επαγωγής Έστω ισχυρισµός Ρ(ν), όπου ν θετιός αέραιος. Αν i) Ρ αληθής αι ii) Ρ(ν) Ρ(ν + 1) για άθε ν, τότε Ρ(ν) αληθής για άθε ν.. Ανισότητα Bernoulli

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

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο ΓΕΝΙΚΑ ΠΕΡΙ ΑΝΙΣΩΣΕΩΝ Έστω f σύνολο Α, g Α ΒΑΘΜΟΥ είναι δύο παραστάσεις μιας μεταβλητής πού παίρνει τιμές στο Ανίσωση με έναν άγνωστο λέγεται κάθε σχέση της μορφής f f g g ή, η οποία αληθεύει για ορισμένες

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

Δομές Δεδομένων (Εργ.) Ακ. Έτος Διδάσκων: Ευάγγελος Σπύρου. Εργαστήριο 10 Δυαδικά Δένδρα Αναζήτησης

Δομές Δεδομένων (Εργ.) Ακ. Έτος Διδάσκων: Ευάγγελος Σπύρου. Εργαστήριο 10 Δυαδικά Δένδρα Αναζήτησης ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ Δομές Δεδομένων (Εργ.) Ακ. Έτος 2017-18 Διδάσκων: Ευάγγελος Σπύρου Εργαστήριο 10 Δυαδικά Δένδρα Αναζήτησης 1. Στόχος του εργαστηρίου Στόχος του δέκατου εργαστηρίου

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

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

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

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

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ 8Α ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ A ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ Πότε μια συνάρτηση λέγεται συνεχής σε ένα σημείο του πεδίου ορισμού o της ; Απάντηση : ( ΟΜΟΓ, 6 ΟΜΟΓ, 9 Β, ΟΜΟΓ, 5 Έστω μια συνάρτηση και ένα σημείο του πεδίου

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

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem) Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem) Τι είναι το Πρόβλημα της Πινακοθήκης; Σας ανήκει μια πινακοθήκη και επιθυμείτε να τοποθετήσετε κάμερες ασφαλείας έτσι ώστε όλη η γκαλερί να είναι προστατευμένη

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

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ 8Α ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ A ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ Πότε μια συνάρτηση λέγεται συνεχής σε ένα σημείο του πεδίου ορισμού o της ; Απάντηση : ( ΟΜΟΓ, 6 ΟΜΟΓ, 9 Β, ΟΜΟΓ, 5 Έστω μια συνάρτηση και ένα σημείο του πεδίου

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

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 Ορισμός της συμπάγειας Οπως θα φανεί στην αμέσως επόμενη παράγραφο, υπάρχουν διάφοροι τρόποι με τους οποίους μπορεί κανείς να εισάγει την έννοια του συμπαγούς μετρικού χώρου. Ο

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

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

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

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι )

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

> 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}. αριθμός που δεν είναι ρητός λέγεται άρρητος. Ενας πραγματικός Ασκηση: Αποδείξτε ότι το άθροισμα και το γινόμενο

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

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

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

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Β' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 4/03/2017 Ώρα εξέτασης: 10:00-14:30

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Β' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 4/03/2017 Ώρα εξέτασης: 10:00-14:30 ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Β' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ «Ευκλείδης» Ημερομηνία: 4/03/2017 Ώρα εξέτασης: 10:00-14:30 ΟΔΗΓΙΕΣ: 1. Να λύσετε όλα τα θέματα αιτιολογώντας πλήρως τις απαντήσεις σας. 2.

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

Το εγχειρίδιο αυτό, δεν είναι απλό τυπολόγιο αλλά μία εγκυκλοπαίδεια όλων των μαθηματικών του ενιαίου λυκείου.

Το εγχειρίδιο αυτό, δεν είναι απλό τυπολόγιο αλλά μία εγκυκλοπαίδεια όλων των μαθηματικών του ενιαίου λυκείου. Τυπολόγιο Μαθηματικών Πρόλογος Το εγχειρίδιο αυτό, δεν είναι απλό τυπολόγιο αλλά μία εγκυκλοπαίδεια όλων των μαθηματικών του ενιαίου λυκείου. Π ε ρ ι ε χ ό μ ε ν α Λυκείου Άλγεβρα 001 018 Γεωμετρία 019

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

Πανεπιστήμιο Πειραιώς Τμήμα Πληροφορικής Πρόγραμμα Μεταπτυχιακών Σπουδών «Προηγμένα Συστήματα Πληροφορικής»

Πανεπιστήμιο Πειραιώς Τμήμα Πληροφορικής Πρόγραμμα Μεταπτυχιακών Σπουδών «Προηγμένα Συστήματα Πληροφορικής» Πανεπιστήμιο Πειραιώς Τμήμα Πληροφορικής Πρόγραμμα Μεταπτυχιακών Σπουδών «Προηγμένα Συστήματα Πληροφορικής» Μεταπτυχιακή Διατριβή Τίτλος Διατριβής Μελέτη του Προβλήματος των Κίβδηλων Νομισμάτων Ονοματεπώνυμο

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

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 35 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" 3 Μαρτίου 2018 Θέματα μεγάλων τάξεων Ενδεικτικές λύσεις

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 35 η Ελληνική Μαθηματική Ολυμπιάδα Ο Αρχιμήδης 3 Μαρτίου 2018 Θέματα μεγάλων τάξεων Ενδεικτικές λύσεις ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Πανεπιστημίου (Ελευθερίου Βενιζέλου) 4 06 79 ΑΘΗΝΑ Τηλ. 665-67784 - Fax: 6405 e-al : fo@hs.gr, www.hs.gr GREEK MATHEMATICAL SOCIETY 4, Paepstou (Εleftherou Vezelou) Street

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

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

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

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

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. Η πράξη «σύνθεση

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

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Άσκηση 1 α) Η δομή σταθμισμένης ένωσης με συμπίεση διαδρομής μπορεί να τροποποιηθεί πολύ εύκολα ώστε να υποστηρίζει τις

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

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ .8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΜΕΘΟΔΟΛΟΓΙΑ : ΣΥΝΕΧΗΣ ΣΥΝΑΡΤΗΣΗ - ΟΡΙΣΜΟΣ Όταν θέλουμε να εξετάσουμε ως προς τη συνέχεια μια συνάρτηση πολλαπλού τύπου, εργαζόμαστε ως εξής

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

(Γραμμικές) Αναδρομικές Σχέσεις

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

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

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

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

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