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

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

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

Transcript

1 HY118- ιακριτά Μαθηµατικά Παρασκευή, 06/03/2015 Αντώνης Α. Αργυρός Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/8/ Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε Για να αποδείξουµε προτάσεις της µορφής p q, έχουµε τους εξής τρόπους: κενή απόδειξη: Απόδειξε ότι όπως και να έχει, ισχύει η p. Τετριµµένη απόδειξη: Απέδειξε ότι όπως και να έχει, ισχύει η q Άµεση απόδειξη: Υπέθεσε ότι η p είναι αληθής, και απόδειξε ότι τότε η q είναι αληθής. Έµµεση απόδειξη: Υπέθεσε ότι q, και απόδειξε ότι p. Aπόδειξη µε απαγωγή σε άτοπο: Υπέθεσε ότι (p q) F. Απόδειξη βάση περιπτώσεων: είξε ότι p (a b), και ότι (a q) και (b q). 2 Παράδειγµα άµεσης απόδειξης Παράδειγµα άµεσης απόδειξης Θεώρηµα: (Για όλους τους ακεραίους n) Εάν ο n είναι περιττός ακέραιος, τότε ο n 2 είναι επίσης περιττός ακέραιος. Απόδειξη: 1. n περιττός k ακέραιος: n = 2k+1 2. k ακέραιος: n = 2k+1 k ακέραιος: n 2 = (2k+1) 2 3. k ακέραιος: n 2 = (2k+1) 2 k ακέραιος: n 2 = 4k 2 + 4k k ακέραιος: n 2 = 4k 2 + 4k + 1 k ακέραιος: n 2 = 2(2k 2 +2k) k ακέραιος: n 2 = 2(2k 2 +2k)+1 m = 2k 2 +2k: n 2 = 2m+1 6. m ακέραιος : n 2 = 2m+1 n 2 - περιττός. Άρα n περιττός n 2 - περιττός 3 Θεώρηµα: (Για όλους τους ακεραίους n) Εάν ο n είναι περιττός ακέραιος, τότε ο n 2 είναι επίσης περιττός ακέραιος. Π(n) : O n είναι περιττός n (Π(n) Π(n 2 )) Απόδειξη: 1. Έστω ακέραιος n τέτοιος ώστε Π(n) 2. Π(n) k ακέραιος: n = 2k+1 3. k ακέραιος: n = 2k+1 k ακέραιος: n 2 = (2k+1) 2 4. k ακέραιος: n 2 = (2k+1) 2 k ακέραιος: n 2 = 4k 2 + 4k k ακέραιος: n 2 = 4k 2 + 4k + 1 k ακέραιος: n 2 = 2(2k 2 +2k)+1 6. k ακέραιος: n 2 = 2(2k 2 +2k)+1 m = 2k 2 +2k: n 2 =2m+1 7. m ακέραιος: n 2 = 2m+1 Π(n 2 ) Άρα Π(n) Π(n 2 ) 4 1

2 Πιο συνοπτική διατύπωση της ίδιας απόδειξης Θεώρηµα: (Για όλους τους ακεραίους n) Εάν ο n είναι περιττός ακέραιος, τότε ο n 2 είναι επίσης περιττός ακέραιος. Απόδειξη: Εάν ο n είναι περιττός, τότε n = 2k+1 για κάποιο ακέραιο k. Εποµένως, n 2 = (2k+1) 2 = 4k 2 +4k+1 = =2(2k 2 +2k)+1 = 2λ+1 για ακέραιο λ=k 2 + 2k. Εποµένως ο n 2 είναι περιττός. Έµµεση απόδειξη Θεώρηµα: Εάν p τότε q. Αρκεί να αποδείξουµε ότι q p 5 6 Γιατί η έµµεση απόδειξη είναι σωστή; Έµµεση απόδειξη Θεώρηµα: Εάν p τότε q.? Γνωρίζουµε ότι p q q p Άρα αν αποδείξουµε µε άµεσο τρόπο την q p αποδεικνύουµε µε έµµεσο τρόπο την p q 7 8 2

3 Παράδειγµα έµµεσης απόδειξης Θεώρηµα: (Για όλους τους ακεραίους n) Εάν ο 3n+2 είναι περιττός, τότε ο n είναι περιττός. Απόδειξη: Ας υποθέσουµε ότι ο n είναι άρτιος. Τότε, n=2k για κάποιο ακέραιο k. Τότε, 3n+2 = 3(2k)+2 = 6k+2 = 2(3k+1), ο οποίος είναι άρτιος (όχι περιττός). Απαγωγή σε άτοπο Θεώρηµα: Ισχύει ότι r. Αρκεί να αποδείξουµε ότι αν δεν ισχύει η r τότε οδηγούµαστε σε αντίφαση 9 10 Γιατί η απαγωγή σε άτοπο είναι σωστή διαδικασία απόδειξης;? Γιατί η απαγωγή σε άτοπο είναι σωστή διαδικασία απόδειξης; Θέλουµε να αποδείξουµε ότι ισχύει η r Πως µπορούµε να γράψουµε την πρόταση αν δεν ισχύει η r τότε οδηγούµαστε σε αντίφαση ; r F Αν αποδείξουµε ότι r F, αποδεικνύουµε ότι Η r είναι ψευδής ηλαδή ότι η r είναι αληθής

4 Απαγωγή σε άτοπο Θεώρηµα: Εάν p τότε q. Αρκεί να αποδείξουµε ότι (p q) F Γιατί η απαγωγή σε άτοπο είναι σωστή διαδικασία απόδειξης; Θέλουµε να αποδείξουµε ότι p q Αν αποδείξουµε ότι (p q) F, αποδεικνύουµε ότι Η (p q) είναι ψευδής ηλαδή ότι η p q είναι αληθής! Επίσης, το να αποδείξουµε ότι (p q) F είναι ισοδύναµο µε το να αποδείξουµε ότι p q F, δηλαδή µε το να αποδείξουµε ότι «εάν η υπόθεση ισχύει και δεν ισχύει το συµπέρασµα, οδηγούµαστε σε αντίφαση» Πως διαφέρει µία έµµεση απόδειξη από την απαγωγή σε άτοπο; Για προτάσεις της µορφής p q Έµµεση απόδειξη: αποδεικνύουµε ότι εάν δεν ισχύει η q δεν ισχύει η p. Απαγωγή σε άτοπο: Υπέθεσε ότι αν δεν ισχύει η πρόταση, τότε καταλήγουµε σε αντίφαση. Παράδειγµα απαγωγής σε άτοπο Θεώρηµα: Ο 2 είναι άρρητος. Απόδειξη: Ας υποθέσουµε πως ο 2 1/2 είναι ρητός. Τότε, υπάρχουν ακέραιοι i, j χωρίς κοινό διαιρέτη τέτοιοι ώστε 2 1/2 =i/j 2=i 2 /j 2 2(j 2 ) = i 2. Εποµένως, ο i 2 είναι άρτιος και εποµένως και ο i είναι άρτιος. ηλ. υπάρχει ακέραιος k, τέτοιος ώστε i=2k. Ας δούµε τώρα το j. Ξέρουµε ότι 2(j 2 ) = i 2 = (2k) 2 = 4k 2 j 2 = 2k 2. Εποµένως ο j 2 είναι άρτιος, και άρα και ο j είναι άρτιος. Αλλά τότε οι i και j έχουν κοινό διαιρέτη, (το 2), εποµένως έχουµε αντίφαση. Άρα ο 2 1/2 είναι άρρητος

5 Παράδειγµα απόδειξης ισοδυναµιών Θεώρηµα: είξτε ότι xp(x) xq(x) x y(p(x) Q(y)) Ένας κοινός τρόπος να αποδεικνύει κανείς ισοδυναµίες: Αποδεικνύουµε τις συνεπαγωγές και ξεχωριστά Παράδειγµα απόδειξης ισοδυναµιών Η στρατηγική απόδειξης αποτελεί ένα µείγµα άµεσης (πρώτο µισό) και απαγωγής σε άτοπο (δεύτερο µισό) απόδειξης Επίσης, ο χειρισµός διαζεύξεων απαιτεί µερικές φορές ανεξάρτητο χειρισµό των επιµέρους τµηµάτων της Πρώτα xp(x) xq(x) 2. x y(p(x) Q(y)) Ας υποθέσουµε ότι η 1 ισχύει, και ειδικότερα ότι ισχύει επειδή xp(x). Αυτό σηµαίνει πως η P(a) ισχύει για οποιοδήποτε a. Αυτό επίσης σηµαίνει πως ισχύει ότι P(a) Q(b), για οποιαδήποτε a και b (γιατί;;;). Εποµένως, ισχύει ότι x y(p(x) Q(y)). (Α) 1 2: χειριζόµαστε το δεύτερο κοµµάτι της διάζευξης της 1 1. xp(x) xq(x) 2. x y(p(x) Q(y)) Ας υποθέσουµε ότι η 1 ισχύει, και ειδικότερα ότι ισχύει επειδή xq(x). Αυτό σηµαίνει ότι η Q(b) ισχύει για οποιοδήποτε b. Αυτό επίσης σηµαίνει πως ισχύει ότι P(a) Q(b), για οποιαδήποτε a και b. Εποµένως ισχύει ότι x y(p(x) Q(y)). (Β) Από τα (Α) και (Β) προκύπτει ότι 1 2. (C)

6 2 1 Τώρα θα δείξουµε ότι xp(x) xq(x) 2. x y(p(x) Q(y)) Ας υποθέσουµε ότι ισχύει η 2 και δεν ισχύει η 1. Εποµένως, x P(x) y Q(y). Εποµένως, για κάποια a, b, P(a) Q(b). H (2) µέσω Καθολικής Συγκεκριµενοποίησης µας λέει ότι: y(p(a) Q(y)) (3) H (3) µέσω Καθολικής Συγκεκριµενοποίησης µας λέει ότι: P(a) Q(b) το οποίο όµως είναι αντιφατικό σε σχέση µε το P(a) Q(b). Επόµενο βήµα Κατασκευαστικές και µη κατασκευαστικές αποδείξεις ύπαρξης. Άτοπο! Εποµένως 2 1. (D) Από τα (C) και (D) προκύπτει ότι 1 2 ΟΕ Αποδεικνύοντας την ύπαρξη... Κατασκευαστική απόδειξη ύπαρξης Η απόδειξη µίας πρότασης της µορφής x P(x) ονοµάζεται απόδειξη ύπαρξης (existence proof). Εάν η απόδειξη δείχνει µε ποιό τρόπο µπορούµε να βρούµε ή να κατασκευάσουµε ένα στοιχείο a τέτοιο ώστε η P(a) να είναι αληθής, τότε µιλάµε για µία κατασκευαστική απόδειξη. Θεώρηµα: Υπάρχει ένας ακέραιος n ο οποίος να µπορεί να γραφεί σαν το άθροισµα δύο τέλειων κύβων µε δύο διαφορετικούς τρόπους. ηλαδή: n,j,k,l,m ( (n= j 3 +k 3 ) (n=l 3 +m 3 ) ({j,k} {l,m})) Απόδειξη: Έστω n = 1729, j = 9, k = 10, l = 1, m = 12. Σε αυτή την περίπτωση οι ισότητες του θεωρήµατος ισχύουν

7 Άλλη µία κατασκευαστική απόδειξη ύπαρξης Άλλη µία κατασκευαστική απόδειξη ύπαρξης Θεώρηµα: Για κάθε ακέραιο n>0, υπάρχει µία ακολουθία από n διαδοχικούς µηπρώτους ακεραίους Λέγοντας το ίδιο πράγµα µε άλλο τρόπο: Θεώρηµα: Για κάθε ακέραιο n>0, υπάρχει ένας ακέραιος x τέτοιος ώστε όλοι οι αριθµοί της µορφής: x+1, x+2,..., x+n, να είναι µην είναι πρώτοι. Θεώρηµα: Για κάθε ακέραιο n>0, υπάρχει µία ακολουθία από n διαδοχικούς µη-πρώτους ακεραίους: Λέγοντας το ίδιο πράγµα µε άλλο τρόπο: Θεώρηµα: Για κάθε ακέραιο n>0, υπάρχει ένας ακέραιος x τέτοιος ώστε όλοι οι αριθµοί της µορφής: x+1, x+2,..., x+n, να είναι µη-πρώτοι. Μπορείτε να το πείτε αυτό σε όρους κατηγορηµατικού λογισµού; Άλλη µία κατασκευαστική απόδειξη ύπαρξης Λίγη θεωρία αριθµών Θεώρηµα: Για κάθε ακέραιο n>0, υπάρχει µία ακολουθία από n διαδοχικούς µη-πρώτους ακεραίους: Έστω P(x) = O x είναι πρώτος αριθµός n>0 x i ((1 i n) P(x+i)) υσκολία ως προς την απόδειξη: Ο x εξαρτάται από τον n, εποµένως η απόδειξη δεν αρκεί να παρουσιάσει έναν µόνο αριθµό x και να συνάγει ότι i (1 i n) P(x+i) Ορισµός: Για n>0, n! σηµαίνει 1*2*...*n Π.χ., 5!=1*2*3*4*5=120. (0! = 1) Ορισµός: Για ακεραίους n, m, µε n 0, n m σηµαίνει x Ν(x*n=m). Λέµε Ο n διαιρεί ακέραια (ακριβώς) τον m Εύκολο θεώρηµα: Για κάθε ακέραιο i n, i n!

8 Και τώρα η απόδειξη... Για οποιοδήποτε n>0, έστω x = (n+1)! + 1. Θεωρείστε τον x+i, για κάποιο i τέτοιο ώστε 1 i n Τότε, x+i = (n + 1)! + (i + 1). (i+1) (n+1)!, αφού 2 i+1 n+1. Επίσης, (i+1) (i+1). Εποµένως, (i+1) (x+i). x+i µη-πρώτος. n x 1 i n : x+i µη πρώτος. ΟΕ. Αυτός ο x είναι ο x = (n+1)! + 1 Γιατί η απόδειξη αυτή είναι κατασκευαστική; Θυµηθείτε τη δοµή της: οσµένου n>0, έστω x = (n + 1)! + 1. Θεώρησε κάθε x+i για i 1 και i n και δείξε ότι είναι µη πρώτος. Η απόδειξη λοιπόν µας λέει πως να κατασκευάσουµε τον αριθµό x (από τον οποίο ξεκινάει η ακολουθία των n µη πρώτων αριθµών) Άλλη µία απόδειξη ύπαρξης Θεώρηµα: Υπάρχουν άπειροι πρώτοι αριθµοί. Κάθε πεπερασµένο σύνολο αριθµών πρέπει να περιέχει ένα µέγιστο στοιχείο, εποµένως µπορούµε να αποδείξουµε το θεώρηµα αν απλά µπορούµε να δείξουµε ότι δεν υπάρχει κανένας µέγιστος πρώτος αριθµός. ηλ., θα δείξουµε ότι για κάθε πρώτο αριθµό, υπάρχει ένας µεγαλύτερος αριθµός ο οποίος είναι κι αυτός πρώτος. Πιό τυπικά: Θα δείξουµε ότι n p>n : p είναι πρώτος Μία απόδειξη µε περιπτώσεις Για κάθε n>0, απόδειξε ότι υπάρχει πρώτος p>n. Θεωρείστε ότι x = n!+1. Εφόσον x>1, ξέρουµε ότι ο x είτε είναι πρώτος είτε δεν είναι. Περίπτωση 1: Ο x είναι πρώτος. Προφανώς, x>n, οπότε αν θέσουµε p=x έχουµε τελειώσει. Περίπτωση 2: Ο x δεν είναι πρώτος. O x έχει ένα πρώτο παράγοντα, έστω τον p. Αν p n, τότε x mod p = 1, οπότε ο p δεν είναι (πρώτος) παράγοντας του x Προκύπτει ότι p>n, και εφόσον ο p είναι πρώτος, συµπεραίνουµε ότι υπάρχει πρώτος µεγαλύτερος από τον n. Άρα σε κάθε περίπτωση, για κάθε n>0, υπάρχει πρώτος p>n

9 Κι άλλη απόδειξη µε περιπτώσεις Θεώρηµα: n Z ( (2 n 3 n) 24 (n 2 1) ) Απόδειξη: Αφού 2 3=6, η τιµή του n mod 6 µπορεί να µας πει κατά πόσον 2 n ή 3 n. Εάν (n mod 6) είναι ένα από τα {0,3} τότε 3 n; εάν είναι ένα από τα {0,2,4} τότε 2 n. Άρα εάν (2 n 3 n) τότε (n mod 6) είναι ένα από τα {1,5}. Περ. #1: Εάν n mod 6 = 1, τότε ( k) n=6k+1. n 2 =36k 2 +12k+1, άρα n 2 1=36k 2 +12k = 12(3k+1)k=12*2m = 24*m γιατί ο (3k+1)k είναι άρτιος *1. Άρα 24 (n 2 1). Περ. #2: Εάν n mod 6 = 5, τότε n=6k+5. n 2 1 = (n 1) (n+1) = (6k+4) (6k+6) = 12 (3k+2) (k+1). Είτε ο k+1 είτε ο 3k+2 είναι άρτιος *2. Άρα, 24 (n 2 1). *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός 33 9

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα. Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Εισαγωγή στην Αλγεβρα Τελική Εξέταση 15 Φεβρουαρίου 2017 1. (Οµάδα Α) Εστω η ακολουθία Fibonacci F 1 = 1, F 2 = 1 και F n = F n 1 + F n 2, για n

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

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

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

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

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

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

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

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

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

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

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

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

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

Η εξίσωση του Fermat για τον εκθέτη n=3. Μία στοιχειώδης προσέγγιση

Η εξίσωση του Fermat για τον εκθέτη n=3. Μία στοιχειώδης προσέγγιση Η εξίσωση του Fermat για τον εκθέτη n=3. Μία στοιχειώδης προσέγγιση Αλέξανδρος Γ. Συγκελάκης 6 Απριλίου 2006 Περίληψη Θέµα της εργασίας αυτής, είναι η απόδειξη οτι η εξίσωση x 3 + y 3 = z 3 όπου xyz 0,

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

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

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

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

ιαδικαστικά θέµατα HY118- ιακριτά Μαθηµατικά Συνάρτηση: Τυπικός ορισµός Ορολογία 17 - Η αρχή του περιστερώνα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Μαθηµατική Επαγωγή Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Επαγωγή 1 / 17 Υπενθύµιση: Ακολουθίες Ακολουθία είναι συνάρτηση από

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

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

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

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

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

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

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

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

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

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

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

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

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Ασκησεις - Επανάληψης ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt015b/nt015b.html Πέµπτη 1 Ιανουαρίου 016 Ασκηση 1. (1) Να λυθεί

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

1 Ορισµός ακολουθίας πραγµατικών αριθµών

1 Ορισµός ακολουθίας πραγµατικών αριθµών ΜΑΣ 02. Απειροστικός Λογισµός Ι Ορισµός ακολουθίας πραγµατικών αριθµών Ορισµός.. Ονοµάζουµε ακολουθία πραγµατικών αριθµών κάθε απεικόνιση του συνόλου N των ϕυσικών αριθµών, στο σύνολο R των πραγµατικών

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

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

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

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

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

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

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

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

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

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

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

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

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

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange 64 Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrage Ας υποθέσουµε ότι ένας δεδοµένος χώρος θερµαίνεται και η θερµοκρασία στο σηµείο,, Τ, y, z Ας υποθέσουµε ότι ( y z ) αυτού του χώρου δίδεται από

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

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

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

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

Όνοµα: Λιβαθινός Νικόλαος 2291

Όνοµα: Λιβαθινός Νικόλαος 2291 ΠΡΩΤΗ ΆΣΚΗΣΗ ΣΤΗΝ ΚΡΥΠΤΟΓΡΑΦΙΑ Όνοµα: Λιβαθινός Νικόλαος 9 Ηµεροµηνία: 3/5/003 Άσκηση ώστε όλες τις υποοµάδες των Z και Ζ 5 * Προκειµένου να δώσουµε τις υποοµάδες θα πρέπει αρχικά να ορίσουµε τα σύνολα

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

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

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

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

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

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

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

2.6 ΟΡΙΑ ΑΝΟΧΗΣ. πληθυσµού µε πιθανότητα τουλάχιστον ίση µε 100(1 α)%. Το. X ονοµάζεται κάτω όριο ανοχής ενώ το πάνω όριο ανοχής.

2.6 ΟΡΙΑ ΑΝΟΧΗΣ. πληθυσµού µε πιθανότητα τουλάχιστον ίση µε 100(1 α)%. Το. X ονοµάζεται κάτω όριο ανοχής ενώ το πάνω όριο ανοχής. 2.6 ΟΡΙΑ ΑΝΟΧΗΣ Το διάστηµα εµπιστοσύνης παρέχει µία εκτίµηση µιας άγνωστης παραµέτρου µε την µορφή διαστήµατος και ένα συγκεκριµένο βαθµό εµπιστοσύνης ότι το διάστηµα αυτό, µε τον τρόπο που κατασκευάσθηκε,

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

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

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

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

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

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

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

ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ

ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ ΕΛΑΧΙΣΤΑ ΑΝΩ ΜΕΓΙΣΤΑ ΚΑΤΩ ΦΡΑΓΜΑΤΑ Κασαπίδης Γεώργιος Μαθηµατικός Στο άρθρο αυτό µελετάµε την πιο χαρακτηριστική ιδιότητα του συνόλου R των πραγµατικών αριθµών. ΟΡΙΣΜΟΣ 1 Ένα σύνολο Α από πραγµατικούς

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

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n 236 5. Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες, τις υποοµάδες τους, και τους γεννήτο- ϱές τους. Οι ταξινοµήσεις αυτές ϑα ϐασιστούν στην

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Μάθηµα 1 Κεφάλαιο: Εισαγωγικό Θεµατικές Ενότητες: A. Το Λεξιλόγιο της Λογικής B. Σύνολα A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Ορισµός Πρόταση λέµε κάθε φράση που µε βάση το νοηµατικό της περιεχόµενο µπορούµε να

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

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1)

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1) Κεφάλαιο 4 Ευθέα γινόµενα οµάδων Στο Παράδειγµα 1.1.2.11 ορίσαµε το ευθύ εξωτερικό γινόµενο G 1 G 2 G n των οµάδων G i, 1 i n. Στο κεφάλαιο αυτό ϑα ασχοληθούµε λεπτοµερέστερα µε τα ευθέα γινόµενα οµάδων

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

Το σύνολο Z των Ακεραίων : Z = {... 2, 1, 0, 1, 2, 3,... } Να σηµειώσουµε ότι οι φυσικοί αριθµοί είναι και ακέραιοι.

Το σύνολο Z των Ακεραίων : Z = {... 2, 1, 0, 1, 2, 3,... } Να σηµειώσουµε ότι οι φυσικοί αριθµοί είναι και ακέραιοι. 1 E. ΣΥΝΟΛΑ ΘΕΩΡΙΑ 1. Ορισµός του συνόλου Σύνολο λέγεται κάθε συλλογή πραγµατικών ή φανταστικών αντικειµένων, που είναι καλά ορισµένα και διακρίνονται το ένα από το άλλο. Τα παραπάνω αντικείµενα λέγονται

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 236 5. Ταξινόµηση

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

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

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

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

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

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

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

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

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

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

ιαδικαστικά θέµατα HY118- ιακριτά Μαθηµατικά Συναρτήσεις ένα-προς-ένα Συναρτήσεις «επί» 17 - Η αρχή του περιστερώνα

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι

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

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

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

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

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

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

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

Οι πραγµατικοί αριθµοί

Οι πραγµατικοί αριθµοί Οι πραγµατικοί αριθµοί Προλεγόµενα Η ανάγκη απαρίθµησης αντικειµένων, οδήγησε στην εισαγωγή του συνόλου των φυσικών αριθµών Η ανάγκη µέτρησης µεγεθών, οδήγησε στην εισαγωγή του συνόλου των ρητών αριθµών

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

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

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

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

Θέµατα και απαντήσεις 1 στα «Σύνολα και Αριθµοί» Εξεταστική Ιανουαρίου 2012 ιδάξας Χ. Κορνάρος.

Θέµατα και απαντήσεις 1 στα «Σύνολα και Αριθµοί» Εξεταστική Ιανουαρίου 2012 ιδάξας Χ. Κορνάρος. Πανεπιστηµιο Αιγαιου Τµηµα Μαθηµατικων 8 200 Καρλοβασι Σαµος Καρλόβασι 09/02/2012 Θέµατα και απαντήσεις 1 στα «Σύνολα και Αριθµοί» Εξεταστική Ιανουαρίου 2012 ιδάξας Χ. Κορνάρος. 1. Απαντήστε µε α(αλήθεια)

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

Mathematics and its Applications, 5th

Mathematics and its Applications, 5th Μαθηµατικα για Πληροφορικη Εφαρµογες και τεχνικες Ηλιας Κουτσουπιάς Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών Σχετικα µε το µαθηµα Σχετικα µε το µαθηµα Το µαθηµα πραγµατευεται καποια ϑεµατα

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

KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR

KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR 6 Ορισµοί Ορισµός 6 Εστω α είναι µία πραγµατική ακολουθία και είναι πραγµατικοί αριθµοί Ένα άπειρο πολυώνυµο της µορφής: a ( ) () = καλείται δυναµοσειρά µε κέντρο το

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

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

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Τάξη στοιχείων και Οµάδων - Κυκλικές (Υπο-)Οµάδες Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 222 3.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 Αν

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

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

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

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

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

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

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

Ανοικτά και κλειστά σύνολα

Ανοικτά και κλειστά σύνολα 5 Ανοικτά και κλειστά σύνολα Στην παράγραφο αυτή αναπτύσσεται ο µηχανισµός που θα µας επιτρέψει να µελετήσουµε τις αναλυτικές ιδιότητες των συναρτήσεων πολλών µεταβλητών. Θα χρειαστούµε τις έννοιες της

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

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n Κεφάλαιο 8 Η οµάδα S n Στο κεφάλαιο αυτό ϑα µελετήσουµε την οµάδα µεταθέσεων ή συµµετρική οµάδα S n εφαρµόζοντας τη ϑεωρία που αναπτύχθηκε στα προηγούµενα κε- ϕάλαια. Η σηµαντικότητα της S n εµφανίστηκε

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

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

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ 1. Το προβληµα του διακριτου λογαριθµου Στο µάθηµα αυτό ϑα δούµε κάποιους αλγόριθµους για υπολογισµό διακριτών λογάριθµων. Θυµίζουµε ότι στο

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

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

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

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

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

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

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

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2.

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2. Κεφάλαιο 6 Πεπερασµένα παραγόµενες αβελιανές οµάδες Στο κεφάλαιο αυτό ϑα ταξινοµήσουµε τις πεπερασµένα παραγόµενες αβελιανές οµάδες. Αυτές οι οµάδες είναι από τις λίγες περιπτώσεις οµάδων µε µία συγκεκριµένη

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

Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι. Ενότητα: Διανυσµατικοί Υποχώροι και Κατασκευές. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι. Ενότητα: Διανυσµατικοί Υποχώροι και Κατασκευές. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Διανυσµατικοί Υποχώροι και Κατασκευές Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 3 ιανυσµατικοι Υποχωροι και Κατασκευες Το παρόν

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

Επιπλέον Ασκήσεις. Μαθηµατική Επαγωγή. ιαιρετότητα. Προβλήµατα ιαιρετότητας.

Επιπλέον Ασκήσεις. Μαθηµατική Επαγωγή. ιαιρετότητα. Προβλήµατα ιαιρετότητας. Επιπλέον Ασκήσεις Μαθηµατική Επαγωγή Για κάθε n 1: 2 = n(n + 1(2n + 1 6 Ορέστης Τελέλης telels@unpgr Για κάθε n 1: 3 = n2 (n + 1 2 4 Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Για κάθε n 10: 2 n

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

ΜΑΘΗΜΑ ΜΟΝΟΤΟΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ. Αντίστροφη συνάρτηση. ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗ Συνάρτηση 1-1. Θεωρία Σχόλια Μέθοδοι Ασκήσεις

ΜΑΘΗΜΑ ΜΟΝΟΤΟΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ. Αντίστροφη συνάρτηση. ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗ Συνάρτηση 1-1. Θεωρία Σχόλια Μέθοδοι Ασκήσεις ΜΑΘΗΜΑ 5. ΜΟΝΟΤΟΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗ Συνάρτηση - Αντίστροφη συνάρτηση Θεωρία Σχόλια Μέθοδοι Ασκήσεις ΘΕΩΡΙΑ. Ορισµός Συνάρτηση :Α R λέγεται συνάρτηση, όταν για οποιαδήποτε, Α µε ισχύει

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

3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009

3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009 3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009 ιαιρετότητα και Ισοτιµίες Β και Γ Λυκείου Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Ιούλιος 2009 1 ιαιρετοτητα και Ισοτιµιες ΠΡΟΛΟΓΟΣ Το

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

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Είδαµε στο προηγούµενο κεφάλαιο ότι κάθε ηµιαπλός δακτύλιος είναι δακτύλιος του Art. Επειδή υπάρχουν παραδείγµατα δακτυλίων του Art που δεν είναι ηµιαπλοί, πχ Z 2, > 1, τίθεται

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

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

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

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

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

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

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

KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ

KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ 4. Ορισµοί KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ Ορισµός 4.. Μία συνάρτηση : µε πεδίο ορισµού το σύνολο των φυσικών αριθµών και τιµές στην πραγµατική ευθεία καλείται ακολουθία πραγµατικών αριθµών.

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

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

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

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

Απλές επεκτάσεις και Αλγεβρικές Θήκες

Απλές επεκτάσεις και Αλγεβρικές Θήκες Κεφάλαιο 7 Απλές επεκτάσεις και Αλγεβρικές Θήκες Στο κεφάλαιο αυτό εξετάζουµε τις απλές επεκτάσεις σωµάτων και τις συγκρίνουµε µε τις επεκτάσεις Galois. Επίσης εξετάζουµε τις αλγεβρικά κλειστές επεκτάσεις

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

Θεωρια Αριθµων. Θεωρητικα Θεµατα. Ακαδηµαϊκο Ετος ιδασκοντες: Α. Μπεληγιάννης & Σ. Παπαδάκης

Θεωρια Αριθµων. Θεωρητικα Θεµατα. Ακαδηµαϊκο Ετος ιδασκοντες: Α. Μπεληγιάννης & Σ. Παπαδάκης Θεωρια Αριθµων Θεωρητικα Θεµατα Ακαδηµαϊκο Ετος 2012-2013 ιδασκοντες: Α. Μπεληγιάννης & Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html 2 Απριλίου 2013 Το παρόν κείµενο

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

( ) ΕΚΘΕΤΙΚΗ ΣΥΝΑΡΤΗΣΗ. Σηµείωση. 2. Παραδοχή α = Ιδιότητες x. αβ = α = α ( ) x. α β. α : α = α = α

( ) ΕΚΘΕΤΙΚΗ ΣΥΝΑΡΤΗΣΗ. Σηµείωση. 2. Παραδοχή α = Ιδιότητες x. αβ = α = α ( ) x. α β. α : α = α = α . ΕΚΘΕΤΙΚΗ ΣΥΝΑΡΤΗΣΗ ΘΕΩΡΙΑ. Σηµείωση Οι δυνάµεις α του κεφαλαίου έχουν βάση α > 0 και εκθέτη οποιονδήποτε πραγµατικό αριθµό.. Παραδοχή 0 α. Ιδιότητες α + α ( ) α α : α ( ) α α α αβ α β α β α β. Εκθετική

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Η Κανονική Μορφή Jordan - I Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 35 7 Η Κανονική Μορφή Jordan - I Στην

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

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα Κεφάλαιο 1 Εισαγωγικές Εννοιες Σ αυτό το κεφάλαιο ϑα αναφερθούµε συνοπτικά σε ϐασικές έννοιες για σύνολα και απεικονίσεις. Επιπλέον, ϑα αναφερθούµε στη µέθοδο της επαγωγής, η οποία αποτελεί µία από τις

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

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

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

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό Κεφάαιο 3 Εεύθερα Πρότυπα 3.1 Εεύθερα Πρότυπα Έστω Μ ένα R-πρότυπο. Μια οικογένεια Μ αν ) το σύνοο { Λ} τρόπο ως άθροισµα της µορφής πεπερασµένο πήθος από τα ( e ) στοιχείων του Μ καείται βάση του e παράγει

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

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

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

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

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ 1 1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ ΘΕΩΡΙΑ 1. Ταυτότητα Ευκλείδειας διαίρεσης : Για δύο οποιαδήποτε πολυώνυµα (x) και δ(x) µε δ(x) µπορούµε να βρούµε δύο άλλα πολυώνυµα π(x) και υ(x) τέτοια ώστε να ισχύει (x) = δ(x)π(x)

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

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

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 ιαιρετότητα και Ισοτιµίες Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης Στη µνήµη του δασκάλου µου, Χάρη Βαφειάδη... www.math.uoc.gr/

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

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

Μαθηµατικά για Πληροφορική Μαθηµατικά για Πληροφορική 1ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 2/10/08 2/10/08 1 / 1 Γενικό πλάνο 1 Σχετικά µε το µάθηµα 2 Υποθεσεις -

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

Πολυώνυµα - Πολυωνυµικές εξισώσεις

Πολυώνυµα - Πολυωνυµικές εξισώσεις 4 ΚΕΦΑΛΑΙΟ Πολυώνυµα - Πολυωνυµικές εξισώσεις Ορισµός πολυωνύµου Ονοµάζoυµε ΠΟΛΥΩΝΥΜΟ του κάθε παράσταση της µορφής α ν ν +α ν- ν- + +α +α 0, ν ΙΝ και α 0, α,, α ν-, α ν ΙR. Παρατηρήσεις α. Τα α ν ν, α

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

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( ) Συνεχείς συναρτήσεις πολλών µεταβλητών 7 Η Ευκλείδεια απόσταση που ορίσαµε στον R επιτρέπει ( εκτός από τον ορισµό των ορίων συναρτήσεων και ακολουθιών και τον ορισµό της συνέχειας συναρτήσεων της µορφής

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

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

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

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

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j Το θεώρηµα Tor στις πολλές µεταβλητές Ο σκοπός αυτής της παραγράφου είναι η απόδειξη ενός θεωρήµατος τύπου Tor για συναρτήσεις πολλών µεταβλητών Το θεώρηµα για µια µεταβλητή θα είναι ειδική περίπτωση του

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