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

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

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

Transcript

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

2 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία είναι μεταξύ τους διαφορετικά Τα στοιχεία ενός συνόλου μπορεί να είναι και τα ίδια σύνολα Πχ. Α ={1, 13, 7} 1 A Πως αναπαριστούμε ένα σύνολο? Συστηματικά: Β={3, 13, 25} Κατηγορηματικά: Ικανές και αναγκαίες συνθήκες για τα στοιχεία που ανήκουν στο σύνολο Γ ={x: x είναι μήνας του καλοκαιριού} 2

3 Πράξεις Συνόλων Ορισμός: Μία πράξη στο σύνολο U παίρνει είσοδο μια ακολουθία από στοιχεία του συνόλου U καιεπιστρέφειωςέξοδο κάποιο στοιχείο. Μονομερής: η είσοδός της περιλαμβάνει 1 στοιχείο του U Διμερής: η είσοδός της 2 στοιχεία του U n-μερής η είσοδός της περιλαμβάνει n στοιχεία του U Η έξοδος μπορεί να ανήκει ή να μην ανήκει U Πχ. Α={2, 4, 6, }, {2,4,10 } A, {4,10,100} A {2,4,10} {4,10,100}={4,10} {2}*{4}={8} A 3

4 Πράξεις Συνόλων Αν η έξοδος της πράξης ανήκει πάντοτε το σύνολο U είναι κλειστό κάτω από την πράξη. Παράδειγμα Πχ. Α={2, 4, 6, }, 2 * 4 = 8, η πράξη πολλαπλασιασμού (*) είναι κλειστή στο σύνολο Α. 4

5 Υποσύνολα, Κενό Σύνολο Το σύνολο A είναι υποσύνολο του συνόλου B, A B, αν κάθε στοιχείο του A είναι και στοιχείο του B. = Α εγκλείεται στο Β Ιδιότητες Εγκλεισμού: Ανακλαστική: A A Αντισυμμετρική: Αν A B και B A, A = B Μεταβατική: AνείναιA B και B C, A C Α είναι γνήσιο υποσύνολο του Β αν A B και Α B A και B είναι συγκρίσιμα αν είτε A B είτε B A 5

6 Υποσύνολα, Κενό Σύνολο Το σύνολο χωρίς στοιχεία = κενό σύνολο, U ={το σύνολο που περιέχει όλα τα δυνατά σύνολα} Συμπλήρωμα ενός συνόλου Α, Ā = τα στοιχεία εκτός του Α Πχ. Α= {οι θετικοί αριθμοί}, Ā = {όλοι οι αριθμοί εκτός τους θετικούς} Δυναμοσύνολο του Α, P(A) = όλαταδυνατάυποσύνολατουα P(A) =2 A Παράδειγμα A ={,, } P(A) ={ { }, { }, { },{, }, {, }, {, }, {, }, {,, } }. 6

7 Υποσύνολα, Κενό Σύνολο Το σύνολο Π A 2 A είναι μία διαμέριση του συνόλου A αν 1. Π A 2. Τα μέλη του Π A είναι ξένα μεταξύ τους. 3. Η ένωση των μελών του Π A είναι το σύνολο A. Παράδειγμα. A ={,,, } Το Π A ={{, }, { }, { }} είναι διαμέριση του A Το Π A ={{, }, {, }} δεν είναι διαμέριση του A 7

8 Πράξεις σε Σύνολα A B = { x x A ή x B} U A Β U = A Β A B = { x x A και x B} U A Β U = A Β A B A \ B = { x x A και x B} U U A Β = A \ B A Β 8

9 Πράξεις σε Σύνολα Παρατηρείστε: B \ A= B Ā Ā =U \A Συμμετρική διαφορά των A και B, A M B = (A\B) (Β\Α) περιέχειταστοιχείαπουανήκουνσεέναακριβώςαπόταδύοσύνολα Π.χ. { 1, 2, 3, 4 } M{ 2, 4, 6, 7 } = { 1, 3, 6, 7 } Παρατηρείστε: 9

10 Πράξεις σε Σύνολα Νόμοι Αντιμετάθεσης A B = B A, Α B = B A Νόμοι Προσεταιρισμού Α (B C) = (A B) C, A (B C) = (A B) C, U είναι απορροφητικό στοιχείο για την πράξη της ένωσης, είναι ουδέτερο στοιχείο για την πράξη της τομής Τα σύνολα Α και Β είναι ξένα εάν Α B =. 10

11 Σύνθετες Πράξεις: Ταυτότητες 11

12 Καρτεσιανό Γινόμενο Όταν η σειρά των στοιχείων {a,b}είναι σημαντική Διατεταγμένο ζεύγος ha,bi Καρτεσιανό Γινόμενο του Α B ={ha,bi a A και b Β } = Όλα τα δυνατά διατεταγμένα ζεύγη ha,bi, a A και b Β Π.χ. Α={1, 2, 3}, B={11, 22, 33} Α B = {h1,11i, h1,22i, h1,33i, h2,11i, h2,22i, h2,33i, h3,11i, h3,22i, h3,33i} 12

13 Αριθμοί και Σύνολα Αριθμών Z : σύνολο ακεραίων αριθμών = θετικοί ακέραιοι, αρνητικοί ακέραιοι και το μηδέν N : σύνολο φυσικών αριθμών = μόνο θετικοί ακέραιοι και το μηδέν Q : σύνολο ρητών αριθμών = { x : υπάρχουν ακέραιοι αριθμοί m και n τέτοιοι ώστε x =m/n} Π.χ. το π=3.14 ΔΕΝ είναι ρητός < : σύνολο πραγματικών (Real) αριθμών = ρητοί και άρρητοι αριθμοί Z + = θετικοί ακέραιοι Z =? N =? 13

14 1.1.Ασκήσεις 3. Αποδείξτε ότι 14

15 1.1. Ασκήσεις 12. Αποδείξτε ότι: 15

16 1.1. Ασκήσεις Ψευδής (αντιπαράδειγμα) ή Αληθής? 1. Το σύνολο των περιττών ακεραίων είναι κλειστό κάτω από τη διαίρεση. 2. Tο σύνολο των αρτίων ακεραίων είναι κλειστό κάτω από τον πολλαπλασιασμό. 3. Tο σύνολο των αρτίων ακεραίων είναι κλειστό κάτω από τη διαίρεση. 4. Tο σύνολο των θετικών ακεραίων είναι κλειστό κάτω από τη διαίρεση. 5. Το σύνολο των αρνητικών ακεραίων είναι κλειστό κάτω από την αφαίρεση. 6. Το σύνολο των αρνητικών ακεραίων είναι κλειστό κάτω από τον πολλαπλασιασμό. 16

17 1.1. Ασκήσεις Αναδρομικός ορισμός για το σύνολο όλων των ακεραίων που διαιρούνται με το 7: 17

18 1.1. Ερωτήσεις? 18

19 1.2. Σχέσεις και Συναρτήσεις Ορισμός : Θεωρούμε αυθαίρετο σύνολο S. Για οποιοδήποτε ακέραιο n 2, μια n-αδική σχέση R πάνω στο σύνολο S είναι ένα υποσύνολο του Καρτεσιανού γινομένου S L S. n φορές Π.χ. Δυαδική σχέση: Μικρότερο από (στο σύνολο S) S ={1, 4, 6, 8} 4 S, 8 S 4 Μικρότερο από 8 δηλώνει ότι h4,8i Μικρότερο από 19

20 1.2.2 Δυαδικές Σχέσεις R A A είναι ανακλαστική αν ha, ai R για κάθε στοιχείο a R Π.χ. R= ίσο, ha, ai ίσο R A A είναι συμμετρική αν hb, ai R τότε hb,ai R Π.χ. R= συνομιλώ, Α={, } αν h, i συνομιλώ h, i συνομιλώ R A A είναι αντισυμμετρική αν hb, ai R τότε hb,ai R Π.χ. R= πατέρας, αν h, i πατέρας h, i πατέρας 20

21 1.2.2 Δυαδικές Σχέσεις R A A είναι μεταβατική αν όταν ha,bi R και hb,ci R τότε ha,ci R Π.χ. R= γηραιότερος από, αν h, i γηραιότερος από και αν h, i γηραιότερος από και h, i γηραιότερος από 21

22 1.2.2 Δυαδικές Σχέσεις : Σχέση Ισοδυναμίας Ορισμός: Σχέση Ισοδυναμίας είναι μια σχέση R A A ανακλαστική, συμμετρική και μεταβατική Ορισμός: Σε μια σχέση ισοδυναμίας R A A, για κάθε στοιχείο a A, η κλάση Ισοδυναμίας που αντιστοιχεί στο a, [a] R, ή [a] R = { b h a, bi R} [a] R = { b h b, ai R} (συμμετρία) Σύνολο όλων των κλάσεων ισοδυναμίας της R Π R = { [a] R a A} 22

23 1.2.2 Δυαδικές Σχέσεις : Κλάσεις Ισοδυναμίας Πρόταση 1.1. Θεωρούμε σχέση ισοδυναμίας R πάνω σε αυθαίρετο σύνολο A. Τότε, οι κλάσεις ισοδυναμίας της σχέσης R διαμερίζουν το σύνολο A. ΔείχνουμεότιόλαταστοιχείατουΠ R (κλάσεις ισοδυναμίας της R) είναι μη κενά, μεταξύ τους ξένα και η ένωση τους καλύπτει όλο το σύνολο A. 23

24 Συναρτήσεις Ορισμός: Μία συνάρτηση f: A B συσχετίζει στοιχεία ενός συνόλου Α με στοιχεία ενός συνόλου Β ώστε κάθε στοιχείο του Α συσχετίζεται με ένα ακριβώς στοιχείο του Β Η f είναι μια δυαδική σχέση R A B τέτοιο ώστε ha, bi R f(a) = b, όπου a A, b B Παράδειγμα Α: πεδίο ορισμού συνάρτησης f (Α) = { f(a) a A }: πεδίο τιμών συνάρτησης 24

25 Συναρτήσεις Ορισμός: Μια συνάρτηση f: A B είναι Ένα-προς-ένα Συνάρτηση αν για οποιαδήποτε δύο διακεκριμένα στοιχεία a Α, b B, f(a) f(b). Για δύο συναρτήσεις f: A B και g: B C, η σύνθεση f g των συναρτήσεων f και g είναι η συνάρτηση f g: A C : f g (x) = f ( g(a) ) για κάθε a A Π.χ. g(a) : κάτοχος σκύλου a, f(b) : ηλικία ανθρώπου, f g = f( g(a) ) : ηλικία κατόχου του σκύλου a 25

26 Συναρτήσεις Ορισμός: Μια συνάρτηση f: A B είναι Επί αν για κάθε b Β, υπάρχει ένα στοιχείο a A τέτοιο ώστε f(a)=b. Oρισμός: Μια συνάρτηση f: A B είναι αμφιμονοσήμαντη αντιστοιχία μεταξύ των A και B εάν είναι ένα-προς-ένα και επί. Παράδειγμα. 26

27 1.3. Πεπερασμένα και Άπειρα Σύνολα Δύο σύνολα A και B καλούνται ισοπλήθη αν υπάρχει μια αμφιμονοσήμαντη (ένα-προς-ένα και επί) αντιστοιχία μεταξύ τους. Παράδειγμα. Άρτιοι θετικοί={ 2, 4, 6, L } και Περιττοί θετικοί ={ 1, 3, 5, L } είναι ισοπλήθη: η συνάρτηση f(x) = x-1 που απεικονίζει το Άρτιοι θετικοί Περιττοί θετικοί. Φυσικοί αριθμοί: N = { 0, 1, 2, L} και { 0, 2, 4, L } είναι ισοπλήθη: συνάρτηση g(x) = 2x. 27

28 1.3. Πεπερασμένα και Άπειρα Σύνολα Ένα σύνολο A είναι πεπερασμένο αν υπάρχει κάποιος φυσικός αριθμός n 0 τέτοιος ώστε το σύνολο A είναι ισοπληθές με το σύνολο {1, L, n}. 1 ο στοιχείο του Α, 2 ο στοιχείο του Α,, n-στο στοιχείο του Α. Πχ. Α={πλευρές ενός τετραγώνου} 28

29 1.3. Πεπερασμένα και Άπειρα Σύνολα Ένα σύνολο είναι απείρως αριθμήσιμο αν αυτό είναι ισοπληθές με το σύνολο των φυσικών αριθμών N = { 0, 1, 2, L}. Π.χ. Τοσύνολοτωνάρτιωνθετικώνακέραιων{2,4,6, L}. 1 ο στοιχείο του Α, 2 ο στοιχείο του Α,. Ένα σύνολο είναι αριθμήσιμο αν αυτό είναι απείρως αριθμήσιμο ή πεπερασμένο. Πχ. Α={πλευρές ενός τετραγώνου} Π.χ. Το σύνολο των άρτιων θετικών ακέραιων {2,4,6, L}. Ένα σύνολο καλείται άπειρο αν αυτό δεν είναι πεπερασμένο. Πχ. Το σύνολο των φυσικών αριθμών N = {0, 1, 2, L}. Πχ. Το σύνολο των άρρητων αριθμών. (όχι αριθμήσιμο) Παρατηρείστε: Ένα απείρως αριθμήσιμο σύνολο είναι άπειρο. 29

30 1.3. Πεπερασμένα και Άπειρα Σύνολα Ένα άπειρο σύνολο δεν είναι απαραίτητα απείρως αριθμήσιμο. Αν Α ένα άπειρο σύνολο, Α B, B: απείρως αριθμήσιμο A =? απείρως αριθμήσιμο Αν S 0, S 1, L μιασυλλογήαπόαριθμήσιμασύνολα ηένωση i S =? i είναι αριθμήσιμο σύνολο. 30

31 1.4. Μαθηματικές Αποδείξεις Ευθείς Απόδειξη: υποθέτει την ισχύ της υπόθεσης και χρησιμοποιεί την υπόθεση για να δείξει κατ' ευθείαν την ισχύ του συμπεράσματος. Παράδειγμα. Αποδείξτε ότι για οποιουσδήποτε περιττούς ακεραίους a και b, οακέραιοςab είναι επίσης περιττός. Απόδειξη. a = 2x + 1 και b = 2y + 1. ab= (2x+1)(2y+1)=4xy + 2x + 2y + 1= 2 (2xy + x + y)

32 1.4. Μαθηματικές Αποδείξεις Απόδειξη Ύπαρξης: Αποδεικνύουν την ύπαρξη ενός αντικειμένου με τις επιθυμητές ιδιότητες. Κατασκευαστικές: προσδιορίζουν μία ακολουθία από βήματα η οποία κατασκευάζει το ζητούμενο αντικείμενο. Μη Κατασκευαστικές αποδείξεις: τέτοιες αποδείξεις πείθουν για την ύπαρξη του αντικειμένου με τις ζητούμενες ιδιότητες χωρίς να το προσδιορίζουν. 32

33 1.4. Μαθηματικές Αποδείξεις: Απόδειξη Ύπαρξης Παράδειγμα (Απόδειξη Ύπαρξης) Αποδείξτεότιγιακάθεάρτιοακέραιοn > 2, υπάρχει 3-κανονικός γράφος με n κορυφές. (Κατασκευαστική) n=4 n=6 33

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

35 1.4. Μαθηματικές Αποδείξεις: Απόδειξη με Επαγωγή Απόδειξη με Επαγωγή: Επαγωγή στους ακεραίους Αρχή της Μαθηματικής Επαγωγής (Ασθενής Μορφή): Έστω μαθηματική πρόταση Π(n), n: θετικός ακέραιος, που ικανοποιεί: Η Π(1) είναι αληθής. Για οποιοδήποτε ακέραιο n 1, αν η Π(n) είναι αληθής, η Π(n+1) είναι αληθής. ηπρότασηπ(n) είναι αληθής για κάθε θετικό ακέραιο n. 35

36 1.4. Μαθηματικές Αποδείξεις: Απόδειξη με Επαγωγή Η Αρχή της Μαθηματικής Επαγωγής χωρίζεται σε 3 μέρη: 1. Βάση: Εκεί εξετάζεται (και αποδεικνύεται) Π(1). 2. Επαγωγική Υπόθεση: Υποθέτουμε ότι η Π(n) είναι αληθής για αυθαίρετο θετικό ακέραιο n. 3. Επαγωγικό Βήμα: Στηριζόμενοι στην επαγωγική υπόθεση, αποδεικνύουμε ότι η Π(n+1) είναι αληθής. ηπρότασηπ(n) είναι αληθής για κάθε θετικό ακέραιο n. 36

37 Απόδειξη με Επαγωγή: Παράδειγμα Αποδείξτε την πρόταση: P(n)= για κάθε ακέραιο n 1, ο αριθμόςφ(n) = 4 2n n+1 είναι διαιρετός του 7. Βάση: φ(1) = = = 91 = 7 13 είναι πολλαπλάσιο του 7. ηπρότασηp(1) είναι αληθής. Επαγωγική υπόθεση: Υποθέτουμε ότι για κάποιο ακέραιο n 1, ο αριθμός φ(n) είναι διαιρετός διά του 7. Επαγωγικό βήμα: Θα αποδείξουμε ότι ο αριθμός φ(n+1) είναι διαιρετός διά του 7. φ (n+1) = 4 2 (n+1) (n+1)+1 = πράξεις.. =7 4 2n (4 2n n+1 ) = 7 4 2n φ(n) Αφού ο αριθμός φ(n) είναι διαιρετός του n φ(n) = φ(n+1) είναι διαιρετός του 7. 37

38 Απόδειξη με Επαγωγή: (Ισχυρή Μορφή) Απόδειξη με Επαγωγή: Επαγωγή στους ακεραίους Αρχή της Μαθηματικής Επαγωγής (Ισχυρή Μορφή): Έστω μαθηματική πρόταση Π(n), n: θετικός ακέραιος, που ικανοποιεί: Η Π(1) είναι αληθής. Για κάθε ακέραιο n>1, αν η Π(k) είναι αληθής για κάθε ακέραιο k, όπου 1 k < n, η Π(n) είναι αληθής. ηπρότασηπ(n) είναι αληθής για κάθε θετικό ακέραιο n. 38

39 Απόδειξη με Επαγωγή: Παράδειγμα Αποδείξτε ότι για κάθε πεπερασμένο σύνολο A, 2 A =2 A. 39

40 Δομική Επαγωγή Δομική Επαγωγή: Επαγωγή πάνω στην ίδια την Δομή Παράδειγμα. Αποδείξτε ότι το σύνολο των πρώτων αριθμών είναι άπειρο. Απόδειξη. Υποθέτουμε, ότι το σύνολο των πρώτων αριθμών είναι πεπερασμένο: Primes = {a 1, a 2, L, a n } για κάποιο φυσικό αριθμό n > 1. Ορίζω a = a 1 a 2 L a n + 1, α a 1, a 2, L, a n Αν a είναι πρώτος, τότε το ζητούμενο δείχθηκε. Ας υποθέσουμε λοιπόν ότι ο a είναι σύνθετος. Έστω δ > 1 ένας διαιρέτης του a(ο δ είναι πρώτος αριθμός). Θα δείξουμε ότι ο δ είναι διάφορος από τους αριθμούς a 1, a 2, L, a n Υποθέτουμε ότι ο δ =a i για κάποιο a i {a 1, a 2, L, a n } δ διαιρεί το γινόμενο a 1 a 2 L a n. Αφού ο δ διαιρεί και τον a δ θα διαιρεί και τη διαφορά a - a 1 a 2 L a n = 1 δ 1 Αντίφαση. 40

41 1.5. Διαγωνοποίηση Η Αρχή της Διαγωνοποίησης: Έστω μια δυαδική σχέση σε ένα σύνολο Α και D το διαγώνιο σύνολο για την R: D={a A και (a,a) R}. Για κάθε a A και R a ={b: b A και (a,b) R}. Τότε, το D είναι διαφορετικό από όλα τα R a. Πχ. R a ={ b }, R b ={ b,c }, R c ={c} Το D διαφέρει από την 1η γραμμή του πίνακα στην 1η θέση, στην 2 η γραμμή στην 2 η θέση κ.ο.κ. 41

42 1.5. Διαγωνοποίηση Χρήση: όταν θέλουμε να δείξουμε ότι κάτι δεν υπάρχει. Πχ. Δύο σύνολα δεν είναι ισοπληθή. Θεώρημα. Το σύνολο των συναρτήσεων G : N { 0, 1 } δεν είναι αριθμήσιμο. Υποθέτουμε ότι το G είναι αριθμήσιμο υπάρχει μια αμφιμονοσήμαντη αντιστοιχία f : N G η οποία απαριθμεί τις συναρτήσεις στο G : g 0, g 1, g 2 L Ορίζουμε μία νέα συνάρτηση g: N { 0, 1 } ως εξής: Για κάθε n 0, g(n) = 1 - g n (n) g G Αφού η συνάρτηση f: N G είναι αμφιμονοσήμαντη αντιστοιχία Υπάρχει φυσικός αριθμός n τέτοιος ώστε g = g n. g(n) = g n (n). Από την κατασκευή της συνάρτησης g: g(n) g n (n) Αντίφαση. 42

43 1.5. Διαγωνοποίηση: Παράδειγμα Θεώρημα Cantor. Το σύνολο 2 N είναι μη αριθμήσιμο. Απόδειξη. (με εις άτοπο απαγωγής) Υποθέτουμε ότι το 2 N είναι (απείρως) αριθμήσιμο υπάρχει μια αμφιμονοσήμαντη αντιστοιχία f : N 2 N 2 N ={ S 0, S 1, S 2 L}, όπου S i =f(i) Έστω το D= { i N i S i } (διαγώνιο σύνολο) D: ένα σύνολο φυσικών αριθμών D= S k Διαγώνιος ερώτηση: k S k? k S k : k D Αφού D= S k k S k : k D Αφού D= S k k S k, Αντίφαση k S k, Αντίφαση Άρα το 2 N είναι μη αριθμήσιμο 43

44 1.6. Η Αρχή του Περιστερώνα Θεώρημα. Θεωρούμε σύνολο από n αντικείμενα το οποίο διαμερίζουμε σε m κλάσεις, όπου n, m > 0. κάποια κλάση από τις m κλάσεις περιέχει τουλάχιστον d n/me αντικείμενα. Απόδειξη:? Με αντίφαση Εφαρμογές. Με οποιοδήποτε τρόπο και να τοποθετήσουμε n περιστέρια σε m φωλιές, υπάρχει πάντα μία τουλάχιστον φωλιά με τουλάχιστον d n/me περιστέρια. Π.χ. n= 3, m= 4 υπάρχει μια φωλιά με τουλάχιστον d3/4e=1 περιστέρια. Π.χ. n= 4, m= 3 υπάρχει μια φωλιά με τουλάχιστον d4/3e=2 περιστέρια. Σε κάθε ομάδα από 13 άτομα τουλάχιστον 2 άτομα γεννήθηκαν τον ίδιο μήνα. 44

45 Ερωτήσεις ; 45

46 Επόμενη Διάλεξη Γλώσσες και Συναρτήσεις 46

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

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

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

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [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, ή με άλλα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Θεωρία Υπολογισµού και Πολυπλοκότητα Θεωρία Υπολογισµού και Πολυπλοκότητα Κεφάλαιο 3. Γλώσσες και Συναρτήσεις 30 Ιανουαρίου 2007 ρ. Παπαδοπούλου Βίκη 1 3.1.1. Αλφάβητο Πως υλοποιούµε σεέναυπολογιστήένααλγόριθµοήµια σχέση; Αλφάβητο ή Γλώσσα

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

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

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

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

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

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

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

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

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

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

Α Δ Ι Θ Θ Α Ε Ι Μ : https://sites.google.com/site/maths4edu/home/algdom114

Α Δ Ι Θ Θ Α Ε Ι Μ :  https://sites.google.com/site/maths4edu/home/algdom114 Α Δ Ι Θ Θ Α Ε 2013-2014 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 12 Μαρτίου 2014 19:26

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

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

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

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

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

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

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

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

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

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

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

a. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6. ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 4 η Σειρά Ασκήσεων - Λύσεις Άσκηση 4.1 [1 μονάδα] Βρείτε όλα τα διατεταγμένα ζεύγη στη σχέση R από το Α={0,1,2,3} στο Β={0,1,2,3,4} όπου (a,b) R αν και μόνο

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

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

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

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

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 14/4/2016

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

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

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

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

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

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

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

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

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

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

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

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

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

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. 1. Κάθε πολυώνυμο ανάγωγο επί του Z είναι ανάγωγο επί του Q. Σωστό. 2. Κάθε πολυώνυμο ανάγωγο επί του Q είναι ανάγωγο επί

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Προτεινοµενες Ασκησεις - Φυλλαδιο 1

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Προτεινοµενες Ασκησεις - Φυλλαδιο 1 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Προτεινοµενες Ασκησεις - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 25 Φεβρουαβρίου

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

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

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

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

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012 ιδασκοντες: Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1 Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 10 Οκτωβρίου 2012 Ασκηση 1.

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

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

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

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

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

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

Α Δ Ι. Παρασκευή 29 Νοεμβρίου 2013 & K =

Α Δ Ι. Παρασκευή 29 Νοεμβρίου 2013 & K = Α Δ Ι Α - Φ 5 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 29 Νοεμβρίου 2013 Ασκηση

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

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

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

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

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

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

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

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

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

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Παρασκευή 16 & Τετάρτη 21 Νοεµβρίου

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

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

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η Γραμμική Άλγεβρα είναι ένα σημαντικό συστατικό στο πρόγραμμα σπουδών, όχι μόνο των Μαθηματικών, αλλά και άλλων τμημάτων, όπως είναι το τμήμα Φυσικής, Χημείας, των τμημάτων του Πολυτεχνείου,

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

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

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

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

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές

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

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

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

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

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

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ProapaitoÔmenec gn seic.

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

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

4.2 4.3 ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ

4.2 4.3 ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ 1 4.2 4.3 ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ ΘΕΩΡΙΑ 1. Θεώρηµα Αν α, β ακέραιοι µε β 0, τότε υπάρχουν µοναδικοί ακέραιοι κ και υ, έτσι ώστε α = κβ + υ µε 0 υ < β. 2. Τέλεια διαίρεση Αν το υπόλοιπο υ της Ευκλείδειας

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

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E. Ι. ΠΡΑΞΕΙΣ A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ Ορισµός Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E. Παραδείγµατα:. Η ισότητα x y = x y είναι µια πράξη επί του *. 2. Η ισότητα

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

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

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

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

Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις

Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο Σηµειώσεις Προετοιµασίας για Μαθηµατικούς ιαγωνισµούς Ασκήσεις Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Νοέµβριος 2012 1 Ασκησεις στη Θεωρια Αριθµων 1 Μαθηµατική

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

ΑΛΕΞΑΝΔΡΑ ΠΟΥΛΟΠΟΥΛΟΥ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΟΥ SUDOKU

ΑΛΕΞΑΝΔΡΑ ΠΟΥΛΟΠΟΥΛΟΥ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΟΥ SUDOKU ΑΛΕΞΑΝΔΡΑ ΠΟΥΛΟΠΟΥΛΟΥ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΟΥ SUDOKU ΔΟΜΗ ΠΑΡΟΥΣΙΑΣΗΣ Ιστορική αναδρομή του Sudoku Μαθηματικό περιεχόμενο Συμμετρίες της λύσης Ενδιαφέροντα δεδομένα ΙΣΤΟΡΙΚΗ ΑΝΑΔΡΟΜΗ Αρχικό όνομα Number Place

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

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

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

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

Δύο λόγια από τη συγγραφέα

Δύο λόγια από τη συγγραφέα Δύο λόγια από τη συγγραφέα Τα μαθηματικά ή τα λατρεύεις ή τα μισείς! Για να λατρέψεις κάτι πρέπει να το κατανοήσεις, για τη δεύτερη περίπτωση τα πράγματα μάλλον είναι λίγο πιο απλά. Στόχος αυτού του βιβλίου

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

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

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

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

Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί

Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί Κεφάλαιο 0 Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί Στο παρόν εισαγωγικό Κεφάλαιο, υπενθυµίζουµε, κατά κύριο λόγο χωρίς αποδείξεις, ϐασικές γνώσεις από : τη στοιχειώδη ϑεωρία συνόλων και απεικονίσεων,

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

Φροντιστήριο 9 Λύσεις

Φροντιστήριο 9 Λύσεις Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

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

Θεωρια Αριθµων Προβληµατα

Θεωρια Αριθµων Προβληµατα Θεωρια Αριθµων Προβληµατα Μιχάλης Κολουντζάκης Τµήµα Μαθηµατικών και Εφαρµοσµένων Μαθηµατικών Πανεπιστήµιο Κρήτης Βούτες 700 3 Ηράκλειο 6 Απριλίου 205 Πολλές από τις παρακάτω ασκήσεις είναι από το ϐιβλίο

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

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

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

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

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 Θα θέλαμε να αναφέρουμε ότι για την συγγραφή αυτών των σημειώσεων χρησιμοποιήσαμε ιδιαίτερα α)το βιβλίο

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

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

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

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

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

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

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

1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν γράφοντας την ένδειξη Σωστό ή Λάθος και να δικαιολογήσετε την απάντησή σας.

1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν γράφοντας την ένδειξη Σωστό ή Λάθος και να δικαιολογήσετε την απάντησή σας. Κεφάλαιο Πραγματικοί αριθμοί. Οι πράξεις και οι ιδιότητές τους Κατανόηση εννοιών - Θεωρία. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν γράφοντας την ένδειξη Σωστό ή Λάθος και να δικαιολογήσετε την απάντησή

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

Φ1: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ

Φ1: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ Φ: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ: ΓΙΑΝΝΗΣ ΧΡΑΣ 0-0 ΑΛΓΕΒΡΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΠΙΘΑΝΟΤΗΤΩΝ Α ΛΥΚΕΙΟΥ ΘΕΜΑ Α - ΘΕΩΡΙΑ - ΣΩΣΤΟ-ΛΑΘΟΣ - ΠΟΛΛΑΠΛΗΣ ΕΠΙΛΟΓΗΣ - ΑΝΤΙΣΤΟΙΧΗΣΗΣ - ΠΑΡΑΤΗΡΗΣΕΙΣ-ΜΕΘΟΔΟΛΟΓΙΑ ΘΕΜΑ Β - ΑΣΚΗΣΕΙΣ

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

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

ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ Ε.1 I. 1. α 2 = 9 α = 3 ψ p: α 2 = 9, q: α = 3 Σύνολο αλήθειας της p: Α = {-3,3}, Σύνολο αλήθειας της q: B = {3} A B 2. α 2 = α α = 1 ψ p: α 2 = α, q: α = 1 Σύνολο

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

Κεφάλαιο 0 Χρήσιµα στοιχεία σχετικά µε τα σύνολα

Κεφάλαιο 0 Χρήσιµα στοιχεία σχετικά µε τα σύνολα Κεφάλαιο 0 Χρήσιµα στοιχεία σχετικά µε τα σύνολα Υποθέτουµε ότι ο αναγνώστης είναι ήδη κάπως εξοικειωµένος µε τον συνηθισµένο καθηµερινό συνολοθεωρητικό εξοπλισµό. Παρ όλα αυτά, θα παρουσιάσουµε συνοπτικά

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

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

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

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

Μεταθέσεις και πίνακες μεταθέσεων

Μεταθέσεις και πίνακες μεταθέσεων Παράρτημα Α Μεταθέσεις και πίνακες μεταθέσεων Το παρόν παράρτημα βασίζεται στις σελίδες 671 8 του βιβλίου: Γ. Χ. Ψαλτάκης, Κβαντικά Συστήματα Πολλών Σωματιδίων (Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

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

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων

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

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

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

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

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

ΕΜ201- Διακριτά Μαθηματικά. Χειμερινό Εξάμηνο Ημερολόγιο Μαθήματος

ΕΜ201- Διακριτά Μαθηματικά. Χειμερινό Εξάμηνο Ημερολόγιο Μαθήματος ΕΜ201- Διακριτά Μαθηματικά Χειμερινό Εξάμηνο 2009 2010 Ημερολόγιο Μαθήματος Οκτώβριος Πα16Οκτ2009 2 Τε14Οκτ2009 Διατάξεις, μεταθέσεις συνδυασμοί. Συζητήθηκαν τα παρακάτω θεωρήματα: 1 Αν έχουμε απεριόριστο

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

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα Ασκήσεις στους Γράφους 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα Ασκηση 1 η Να αποδείξετε ότι κάθε γράφημα περιέχει μια διαδρομή από μια κορυφή u σε μια κορυφή w αν και

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

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

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 6: Μη Κανονικές Γλώσσες ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 6: Μη Κανονικές Γλώσσες Τι θα κάνουμε σήμερα Εισαγωγικά Το Λήμμα της Άντλησης για κανονικές γλώσσες Παραδείγματα 1 Πότε μια γλώσσα δεν είναι κανονική;

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

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

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

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

Shmei seic Paradìsewn Pragmatik c Anˆlushc (TrÐth èkdosh)

Shmei seic Paradìsewn Pragmatik c Anˆlushc (TrÐth èkdosh) ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΕΘΝΙΚΟ ΜΕΤΣΟΒΕΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Shmei seic Paradìsewn Pragmatik c Anˆlushc (TrÐth èkdosh) Σπύρος Αργυρός Μάρτιος 2011 1 2 Perieqìmena 1 Οι ϕυσικοί αριθμοί

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

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

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

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

Αρχιμήδης Μεγάλοι 1996-1997. 1. Έστω μια ακολουθία θετικών αριθμών για την οποία: i) α ν 2 α ν. για κάθε ν φυσικό διαφορετικό του 0.

Αρχιμήδης Μεγάλοι 1996-1997. 1. Έστω μια ακολουθία θετικών αριθμών για την οποία: i) α ν 2 α ν. για κάθε ν φυσικό διαφορετικό του 0. Αρχιμήδης Μεγάλοι 1996-1997 1. Έστω μια ακολουθία θετικών αριθμών για την οποία: i) α ν 2 α ν = 1 4 για κάθε ν φυσικό διαφορετικό του 0. ii) α n 1 α n Να αποδείξετε: α ν 1 =1 για κάθε n - ν 1 α ν α) ότι

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

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

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

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 Αν

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

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 Μικρό Θεώρηµα του Fermat, η συνάρτηση του Euler και Μαθηµατικοί ιαγωνισµοί Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης

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

Περιεχόμενα ΑΡΙΘΜΟΙ ΠΡΟΛΕΓΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ. Κεφάλαιο Πρώτο Οι φυσικοί αριθμοί και η αναπαράστασή τους

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

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

Μη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση

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

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

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ (Α ΜΕΡΟΣ: ΣΥΝΑΡΤΗΣΕΙΣ) Επιμέλεια: Καραγιάννης Ιωάννης, Σχολικός Σύμβουλος Μαθηματικών

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

Εφαρμοσμένα Μαθηματικά

Εφαρμοσμένα Μαθηματικά Εφαρμοσμένα Μαθηματικά ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Ενότητα 6: Διπλά Ολοκληρώματα Δρ. Περικλής Παπαδόπουλος Τμήμα Ηλεκτρονικών Μηχανικών Τ.Ε Κάντε κλικ για

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

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Συνεκτικότητα Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε

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

ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟΔΟΣ. Σύμφωνα με τα παραπάνω, για μια αριθμητική πρόοδο που έχει πρώτο όρο τον ...

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

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

2 3x 5x x

2 3x 5x x ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΜΕ ΚΑΤΕΥΘΥΝΣΗ ΣΤΑΤΙΣΤΙΚΗ ΚΑΙ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΑ ΜΑΘΗΜΑΤΙΚΑ ΑΣΚΗΣΕΙΣ ΕΦΑΡΜΟΣΜΕΝΗΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ Ι ΙΩΑΝΝΗΣ Σ ΣΤΑΜΑΤΙΟΥ ΣΑΜΟΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ

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

Σχέδιο Μαθήματος - "Ευθεία Απόδειξη"

Σχέδιο Μαθήματος - Ευθεία Απόδειξη Σχέδιο Μαθήματος - "Ευθεία Απόδειξη" ΤΑΞΗ: Α Λυκείου Μάθημα: Άλγεβρα Τίτλος Ενότητας: Μέθοδοι Απόδειξης - Ευθεία απόδειξη Ώρες Διδασκαλίας: 1. Σκοποί Να κατανοήσουν οι μαθητές την διαδικασία της ευθείας

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΡΧΗ ΤΗΣ ΜΑΘΗΜΑΤΙΚΗΣ ΕΠΑΓΩΓΗΣ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΡΧΗ ΤΗΣ ΜΑΘΗΜΑΤΙΚΗΣ ΕΠΑΓΩΓΗΣ ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ - 11 - ΚΕΦΑΛΑΙΟ 4 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΡΧΗ ΤΗΣ ΜΑΘΗΜΑΤΙΚΗΣ ΕΠΑΓΩΓΗΣ Έστω Ρ(ν) ένας ισχυρισµός, ο οποίος αναφέρεται στους θετικούς ακέραιους Αν: i) o ισχυρισµός είναι αληθής για τον ακέραιο 1,

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

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

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

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

Χαρακτήρες διαιρετότητας ΜΚΔ ΕΚΠ Ανάλυση αριθμού σε γινόμενο πρώτων παραγόντων

Χαρακτήρες διαιρετότητας ΜΚΔ ΕΚΠ Ανάλυση αριθμού σε γινόμενο πρώτων παραγόντων Χαρακτήρες διαιρετότητας ΜΚΔ ΕΚΠ Ανάλυση αριθμού σε γινόμενο πρώτων παραγόντων TINΑ ΒΡΕΝΤΖΟΥ www.ma8eno.gr www.ma8eno.gr Σελίδα 1 Ορισμός Ευκλείδεια διαίρεση ονομάζεται η πράξη κατά την οποία ένας αριθμός

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

Α Δ Ι. Παρασκευή 13 Δεκεμβρίου 2013

Α Δ Ι. Παρασκευή 13 Δεκεμβρίου 2013 Α Δ Ι Α - Φ 7 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 13 Δεκεμβρίου

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

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

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση» 1 2.1 ΟΙ ΠΡΑΞΕΙΣ ΚΑΙ ΟΙ ΙΔΙΟΤΗΤΕΣ ΤΟΥΣ Ιδιότητες των πράξεων Στους πραγματικούς αριθμούς ορίστηκαν οι πράξεις της πρόσθεσης και του πολλαπλασιασμού και με την οήθειά τους η αφαίρεση και η διαίρεση. Για

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του

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

ΕΠΑΝΑΛΗΨΗ ΒΑΣΙΚΩΝ ΕΝΝΟΙΩΝ

ΕΠΑΝΑΛΗΨΗ ΒΑΣΙΚΩΝ ΕΝΝΟΙΩΝ ΕΠΑΝΑΛΗΨΗ ΒΑΣΙΚΩΝ ΕΝΝΟΙΩΝ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ Το σύνολο των πραγματικών αριθμών Υπενθυμίζουμε ότι το σύνολο των πραγματικών αριθμών αποτελείται από τους ρητούς και τους άρρητους αριθμούς και παριστάνεται

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

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

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12.

Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12. ΑΣΚΗΣΗ 1: Είναι το ακόλουθο γράφημα απλό; Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12. v 2 ΑΠΑΝΤΗΣΗ 1: Το παραπάνω γράφημα δεν είναι απλό, αφού υπάρχουν δύο ακμές που

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