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

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

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

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

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

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

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

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

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

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

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

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 Αλεξανδρος Γ. Συγκελακης

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematics and its Applications, 5th

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Στοιχεία Προτασιακής Λογικής

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

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

Q = (2 3 5... P) + 1.

Q = (2 3 5... P) + 1. Η ΑΠΟΛΟΓΙΑ ΕΝΟΣ ΜΑΘΗΜΑΤΙΚΟΥ G.H. Hardy ΘΑ ΠΡΕΠΕΙ ΝΑ ΕΙΝΑΙ Η Η ΦΑΝΕΡΟ ότι, αν θέλουµε να έχουµε οποιαδήποτε πιθανότητα να προχωρήσει η συζήτηση, οφείλω να δώσω παραδείγµατα «πραγµατικών» µαθηµατικών θεωρηµάτων

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

µηδενικό πολυώνυµο; Τι ονοµάζουµε βαθµό του πολυωνύµου; Πότε δύο πολυώνυµα είναι ίσα;

µηδενικό πολυώνυµο; Τι ονοµάζουµε βαθµό του πολυωνύµου; Πότε δύο πολυώνυµα είναι ίσα; ΘΕΩΡΙΑ ΠΟΛΥΩΝΥΜΩΝ 1. Τι ονοµάζουµε µονώνυµο Μονώνυµο ονοµάζεται κάθε γινόµενο το οποίο αποτελείται από γνωστούς και αγνώστους (µεταβλητές ) πραγµατικούς αριθµούς. Ο γνωστός πραγµατικός αριθµός ονοµάζεται

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

ΜΑΘΗΜΑΤΙΚΑ B ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ

ΜΑΘΗΜΑΤΙΚΑ B ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ Γιώργος Πρέσβης ΜΑΘΗΜΑΤΙΚΑ B ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΚΕΦΑΛΑΙΟ 3 Ο : ΚΩΝΙΚΕΣ ΤΟΜΕΣ ΕΠΑΝΑΛΗΨΗ Φροντιστήρια Φροντιστήρια ΜΕΘΟΔΟΛΟΓΙΑ ΠΑΡΑΔΕΙΓΜΑΤΑ η Κατηγορία : Ο Κύκλος και τα στοιχεία

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

Σηµειώσεις στις σειρές

Σηµειώσεις στις σειρές . ΟΡΙΣΜΟΙ - ΓΕΝΙΚΕΣ ΕΝΝΟΙΕΣ Σηµειώσεις στις σειρές Στην Ενότητα αυτή παρουσιάζουµε τις βασικές-απαραίτητες έννοιες για την µελέτη των σειρών πραγµατικών αριθµών και των εφαρµογών τους. Έτσι, δίνονται συστηµατικά

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

Ι. ΠΡΑΞΕΙΣ. Ορισµός 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. Η ισότητα

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

Επαναληπτικά θέματα στα Μαθηματικά προσανατολισμού-ψηφιακό σχολείο ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ

Επαναληπτικά θέματα στα Μαθηματικά προσανατολισμού-ψηφιακό σχολείο ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΚΕΦΑΛΑΙΟ 1 ο -ΣΥΝΑΡΤΗΣΕΙΣ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Απο το Ψηφιακό Σχολείο του ΥΠΠΕΘ Επιμέλεια: Συντακτική Ομάδα mathpgr Συντονιστής:

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

(GNU-Linux, FreeBSD, MacOsX, QNX

(GNU-Linux, FreeBSD, MacOsX, QNX 1.7 διαταξεις (σελ. 17) Παράδειγµα 1 Θα πρέπει να κάνουµε σαφές ότι η επιλογή των λέξεων «προηγείται» και «έπεται» δεν έγινε απλώς για λόγους αφαίρεσης. Μπορούµε δηλαδή να ϐρούµε διάφορα παραδείγµατα στα

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

ΑΣΚΗΣΕΙΣ ΕΠΑΝΑΛΗΨΗΣ 2 η ΕΚΑ Α

ΑΣΚΗΣΕΙΣ ΕΠΑΝΑΛΗΨΗΣ 2 η ΕΚΑ Α 1 ΑΣΚΗΣΕΙΣ ΕΠΑΝΑΛΗΨΗΣ 2 η ΕΚΑ Α 11. Έστω η παράσταση Α = [(30 : 6) 2] 2 [(15 5) : 3 + 2 2 6] 3 (2 5 3 3 + 2 1 ) Να υπολογίσετε την τιµή της παράστασης Α Αν Α = 30, i) να αναλύσετε τον αριθµό Α σε γινόµενο

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

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β. ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Εξετάσεις στη Μαθηµατική Ανάλυση Ι Φεβρουαρίου, 3 Θ. (α ) Εστω A, B µη κενά ϕραγµένα σύνολα πραγµατικών αριθµών. είξτε ότι αν inf A

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

2.3. Ασκήσεις σχ. βιβλίου σελίδας 100 104 Α ΟΜΑ ΑΣ

2.3. Ασκήσεις σχ. βιβλίου σελίδας 100 104 Α ΟΜΑ ΑΣ .3 Ασκήσεις σχ. βιβλίου σελίδας 00 04 Α ΟΜΑ ΑΣ. Έξι διαδοχικοί άρτιοι αριθµοί έχουν µέση τιµή. Να βρείτε τους αριθµούς και τη διάµεσό τους. Αν είναι ο ποιο µικρός άρτιος τότε οι ζητούµενοι αριθµοί θα είναι

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

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

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

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

Σηµειώσεις για τα Μαθήµατα Εισαγωγή στην Ανάλυση Ι και Εισαγωγή στην Ανάλυση ΙΙ Θέµης Μήτσης

Σηµειώσεις για τα Μαθήµατα Εισαγωγή στην Ανάλυση Ι και Εισαγωγή στην Ανάλυση ΙΙ Θέµης Μήτσης Σηµειώσεις για τα Μαθήµατα Εισαγωγή στην Ανάλυση Ι και Εισαγωγή στην Ανάλυση ΙΙ Θέµης Μήτσης Τµηµα Μαθηµατικων Πανεπιστηµιο Κρητης Ηρακλειο Περιεχόµενα Κεφάλαιο. Το Αξίωµα τής Πληρότητας 5 Ασκήσεις 9

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

1.5 Αξιοσημείωτες Ταυτότητες

1.5 Αξιοσημείωτες Ταυτότητες 1.5 Αξιοσημείωτες Ταυτότητες Ορισμός: Κάθε ισότητα που περιέχει μεταβλητές και αληθεύει για όλες τις τιμές των μεταβλητών της λέγεται ταυτότητα. Ταυτότητες που πρέπει να γνωρίζουμε: Τετράγωνο αθροίσματος

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

Κεφάλαιο 5 Οι χώροι. Περιεχόµενα 5.1 Ο Χώρος. 5.3 Ο Χώρος C Βάσεις Το Σύνηθες Εσωτερικό Γινόµενο Ασκήσεις

Κεφάλαιο 5 Οι χώροι. Περιεχόµενα 5.1 Ο Χώρος. 5.3 Ο Χώρος C Βάσεις Το Σύνηθες Εσωτερικό Γινόµενο Ασκήσεις Σελίδα 1 από 6 Κεφάλαιο 5 Οι χώροι R και C Περιεχόµενα 5.1 Ο Χώρος R Πράξεις Βάσεις Επεξεργασµένα Παραδείγµατα Ασκήσεις 5. Το Σύνηθες Εσωτερικό Γινόµενο στο Ορισµοί Ιδιότητες Επεξεργασµένα Παραδείγµατα

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

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

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

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

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

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

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

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:

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

Κεφάλαιο 6 Παράγωγος

Κεφάλαιο 6 Παράγωγος Σελίδα από 5 Κεφάλαιο 6 Παράγωγος Στο κεφάλαιο αυτό στόχος µας είναι να συνδέσουµε µία συγκεκριµένη συνάρτηση f ( ) µε µία δεύτερη συνάρτηση f ( ), την οποία και θα ονοµάζουµε παράγωγο της f. Η τιµή της

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

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

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

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

Υποθετικές προτάσεις και λογική αλήθεια

Υποθετικές προτάσεις και λογική αλήθεια Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας

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

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος;

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος; ΙΝΥΣΜΤ ΘΕΩΡΙ ΘΕΜΤ ΘΕΩΡΙΣ Τι ονοµάζουµε διάνυσµα; AB A (αρχή) B (πέρας) Στη Γεωµετρία το διάνυσµα ορίζεται ως ένα προσανατολισµένο ευθύγραµµο τµήµα, δηλαδή ως ένα ευθύγραµµο τµήµα του οποίου τα άκρα θεωρούνται

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

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

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

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

Ανάλυση Fourier και Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος

Ανάλυση Fourier και Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος Ανάλυση Fourier και Ολοκλήρωµα Lebesgue Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Πανεπιστήµιο Αθηνών Αθήνα 2015 Περιεχόµενα 1 Μέτρο Lebesgue 3 1.1 Εξωτερικό µέτρο Lebesgue........................... 3

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

5.2 ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ

5.2 ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ 5. ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ ΘΕΩΡΙΑ. Ορισµός Μια ακολουθία λέγεται αριθµητική πρόοδος, αν και µόνο αν κάθε όρος της προκύπτει από τον προηγούµενο του µε πρόσθεση του ίδιου πάντοτε αριθµού.. Μαθηµατική έκφραση

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

Σηµειώσεις Θεωρίας Αριθµών. Θ. Θεοχάρη-Αποστολίδη

Σηµειώσεις Θεωρίας Αριθµών. Θ. Θεοχάρη-Αποστολίδη Σηµειώσεις Θεωρίας Αριθµών Θ. Θεοχάρη-Αποστολίδη Ευχαριστώ ιδιαίτερα τη ϕοιτήτριά µου Μαρίνα Παλαιστή για τη µεταφορά του χειρογράφου µου σε κείµενο "tex" Κεφάλαιο 1 Βασικές Ιδιότητες Ισοδυναµιών Η ϑεωρία

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

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x.

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x. Κεφάλαιο 4 Μήκη και ορθές γωνίες Μήκος διανύσµατος Στο επίπεδο, R 2, ϐρίσκουµε το µήκος ενός διανύσµατος x = (x 1, x 2 ) χρησιµοποιώντας το Πυθαγόρειο ϑεώρηµα : x 2 = x 2 1 + x 2 2. Στο χώρο R 3, εφαρµόζουµε

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

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

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ 1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων

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

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07)

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07) ΤΕΙ ΥΤΙΚΗΣ ΜΑΚΕ ΟΝΙΑΣ ΠΑΡΑΡΤΗΜΑ ΚΑΣΤΟΡΙΑΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07) Επιµέλεια Σηµειώσεων : Βασιλειάδης Γεώργιος Καστοριά, εκέµβριος 2006

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθος Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://wwwmathuoigr/ abeligia/linearalgebrai/laihtml

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Βοηθος Ασκησεων: Χ. Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://www.math.uoi.gr/ abeligia/linearalgebrai/lai.html

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

. Ερωτήσεις διάταξης. να διαταχθούν από τη µικρότερη προς τη µεγαλύτερη οι τιµές: f (3), f (0), f (-1), f (5), f (-2), f ( ), f (1).

. Ερωτήσεις διάταξης. να διαταχθούν από τη µικρότερη προς τη µεγαλύτερη οι τιµές: f (3), f (0), f (-1), f (5), f (-2), f ( ), f (1). . Ερωτήσεις διάταξης. Οι συναρτήσεις f (x) = x, g (x) = x, h (x) = x, φ (x) = 3x, ρ (x) = 5x, t (x) = 7x έχουν κοινό πεδίο ορισµού το Α = [- 3, 3]. Να γράψετε τις συναρτήσεις σε µια σειρά έτσι ώστε η γραφική

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

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

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

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

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

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

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

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

e-mail@p-theodoropoulos.gr

e-mail@p-theodoropoulos.gr Ασκήσεις Μαθηµατικών Κατεύθυνσης Γ Λυκείου Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύµβουλος Μαθηµατικών e-mail@p-theodoropoulos.gr Στην εργασία αυτή ξεχωρίζουµε και µελετάµε µερικές περιπτώσεις ασκήσεων

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

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

ΓΕΩΜΕΤΡΙΑ Α ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΓΕΩΜΕΤΡΙΑ Α ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΠΡΟΛΟΓΟΣ Αγαπητοί συνάδελφοι, Φίλοι µαθητές και µαθήτριες Η καινούργια µας σειρά βιβλίων µε τον τίτλο ΒΙΒΛΙΟµαθήµατα δηµιουργήθηκε από µια ιδέα µας για το περιοδικό

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

Μαθηματικά. Γ'Γυμνασίου. Μαρίνος Παπαδόπουλος

Μαθηματικά. Γ'Γυμνασίου. Μαρίνος Παπαδόπουλος Μαθηματικά Γ'Γυμνασίου Μαρίνος Παπαδόπουλος ΠΡΟΛΟΓΙΚΟ ΣΗΜΕΙΩΜΑ Σας καλωσορίζω στον όµορφο κόσµο των Μαθηµατικών της Γ Γυµνασίου. Τα µαθηµατικά της συγκεκριµένης τάξης αποτελούν ίσως το αποκορύφωµα των

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

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

ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ Ε.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 Σύνολο

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ Τελικές Εξετάσεις Παρασκευή 16 Οκτωβρίου 2007 ιάρκεια εξέτασης: 3 ώρες (15:00-18:00) ΘΕΜΑ 1

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 19/05/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/21/2015 1 1 5/21/2015 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

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

Σηµειώσεις στις συναρτήσεις

Σηµειώσεις στις συναρτήσεις Σηµειώσεις στις συναρτήσεις 4 Η έννοια της συνάρτησης Ο όρος «συνάρτηση» χρησιµοποιείται αρκετά συχνά για να δηλώσει ότι ένα µέγεθος, µια κατάσταση κτλ εξαρτάται από κάτι άλλο Και στα µαθηµατικά ο όρος

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

Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού

Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού Σελίδα 1 από Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού Στο κεφάλαιο αυτό θα ασχοληθούµε µε τα βασικά θεωρήµατα του διαφορικού λογισµού καθώς και µε προβλήµατα που µπορούν να επιλυθούν χρησιµοποιώντας

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

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) TEΛΙΚΕΣ ΕΞΕΤΑΣΕΙΣ 4 Ιουνίου 7 Από τα κάτωθι Θέµατα καλείστε να λύσετε το ο που περιλαµβάνει ερωτήµατα από όλη την ύλη

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

Δραστηριότητα για τους µαθητές µε το κόσκινο του Ερατοσθένη:.. (και άσκηση 10 σελ. 219 «Η φύση και η δύναµη των µαθηµατικών»)

Δραστηριότητα για τους µαθητές µε το κόσκινο του Ερατοσθένη:.. (και άσκηση 10 σελ. 219 «Η φύση και η δύναµη των µαθηµατικών») Πρώτοι αριθµοί: Τι µας λέει στο βιβλίο (σελ.25-26): 1. Μου αρέσουν οι πρώτοι αριθµοί, γι αυτό αρίθµησα µε πρώτους τα κεφάλαια. Οι πρώτοι αριθµοί είναι αυτό που αποµένει όταν αφαιρέσεις όλα τα στερεότυπα

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

4.6 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ

4.6 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ 174 46 Η ΓΡΑΜΜΙΚΗ ΔΙΟΦΑΝΤΙΚΗ ΕΞΙΣΩΣΗ Εισαγωγή Ένα από τα αρχαιότερα προβλήματα της Θεωρίας Αριθμών είναι η αναζήτηση των ακέραιων αριθμών που ικανοποιούν κάποιες δεδομένες σχέσεις Με σύγχρονη ορολογία

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

2. Στοιχεία Πολυδιάστατων Κατανοµών

2. Στοιχεία Πολυδιάστατων Κατανοµών Στοιχεία Πολυδιάστατων Κατανοµών Είναι φανερό ότι έως τώρα η µελέτη µας επικεντρώνεται κάθε φορά σε πιθανότητες που αφορούν µία τυχαία µεταβλητή Σε αρκετές όµως περιπτώσεις ενδιαφερόµαστε να εξετάσουµε

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

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ Κεφάλαιο ο Μεικτές Στρατηγικές Τώρα θα δούµε ένα παράδειγµα στο οποίο κάθε παίχτης έχει τρεις στρατηγικές. Αυτό θα µπορούσε να είναι η µορφή που παίρνει κάποιος µετά που έχει απαλείψει όλες τις αυστηρά

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

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

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

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

4.1 Το αόριστο ολοκλήρωµα - Βασικά ολοκληρώ-

4.1 Το αόριστο ολοκλήρωµα - Βασικά ολοκληρώ- Κεφάλαιο 4 ΟΛΟΚΛΗΡΩΜΑ 4.1 Το αόριστο ολοκλήρωµα - Βασικά ολοκληρώ- µατα Ορισµός 4.1.1. Αρχική ή παράγουσα συνάρτηση ή αντιπαράγωγος µιας συνάρτησης f(x), x [, b], λέγεται κάθε συνάρτηση F (x) που επαληθεύει

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

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

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

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

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

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

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

Μεθοδολογία Επίλυσης Προβλημάτων ============================================================================ Π. Κυράνας - Κ.

Μεθοδολογία Επίλυσης Προβλημάτων ============================================================================ Π. Κυράνας - Κ. Μεθοδολογία Επίλυσης Προβλημάτων ============================================================================ Π. Κυράνας - Κ. Σάλαρης Πολλές φορές μας δίνεται να λύσουμε ένα πρόβλημα που από την πρώτη

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

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις ΚΕΦΑΛΑΙΟ 2 Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις 2.1 ΕΙΣΑΓΩΓΗ Όπως έχουµε δει, για να προσδιορίσουµε τις αποκρίσεις ενός κυκλώµατος, πρέπει να λύσουµε ένα σύνολο διαφορικών

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

ÖÑÏÍÔÉÓÔÇÑÉÏ ÏÑÏÓÇÌÏ

ÖÑÏÍÔÉÓÔÇÑÉÏ ÏÑÏÓÇÌÏ ΘΕΜΑ Α ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ & ΕΠΑΛ Β 6 ΜΑΪΟΥ ΑΠΑΝΤΗΣΕΙΣ Α Θεωρία (θεώρ Frmat) σχολικό βιβλίο, σελ 6-6 Α Θεωρία (ορισµός) σχολικό βιβλίο, σελ 8 Α3 ΘΕΜΑ Β α β γ δ ε Σ Σ Λ Λ Σ B Έχουµε από υπόθεση

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

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

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

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

Κεφάλαιο 8 1. Γραµµικές Απεικονίσεις

Κεφάλαιο 8 1. Γραµµικές Απεικονίσεις Σελίδα 1 από 9 Κεφάλαιο 8 1 Γραµµικές Απεικονίσεις Τα αντικείµενα µελέτης της γραµµικής άλγεβρας είναι σύνολα διανυσµάτων που χαρακτηρίζονται µε την αλγεβρική δοµή των διανυσµατικών χώρων. Όπως λοιπόν

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

5.10 5.11. 2 η ιδιότητα της διαµέσου. 4. Ορισµός Ισοσκελές τραπέζιο λέγεται το τραπέζιο του οποίου οι µη παράλληλες πλευρές είναι ίσες.

5.10 5.11. 2 η ιδιότητα της διαµέσου. 4. Ορισµός Ισοσκελές τραπέζιο λέγεται το τραπέζιο του οποίου οι µη παράλληλες πλευρές είναι ίσες. 5.0 5. ΘΕΩΡΙ. Ορισµοί Τραπέζιο λέγεται το τετράπλευρο που έχει µόνο δύο πλευρές παράλληλες. άσεις τραπεζίου λέγονται οι παράλληλες πλευρές του. Ύψος τραπεζίου λέγεται η απόσταση των βάσεων. ιάµεσος τραπεζίου

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

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής:

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής: ΣΕΙΡΕΣ TAYLOR Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων Πολυώνυµο είναι κάθε συνάρτηση της µορφής: p( ) = a + a + a + a + + a, όπου οι συντελεστές α i θα θεωρούνται

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

(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 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

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

Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών

Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών TINΑ ΒΡΕΝΤΖΟΥ www.ma8eno.gr www.ma8eno.gr Σελίδα 1 Πρόσθεση, αφαίρεση και πολλαπλασιασμός φυσικών αριθμών Στους πραγματικούς αριθμούς ορίστηκαν οι

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

ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Παρουσίαση εργασίας φοιτητή (x,a) 1) (xy)a=x(ya) x,y G και a A 1) a(xy)=(ax)y 2) ae=a

ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Παρουσίαση εργασίας φοιτητή (x,a) 1) (xy)a=x(ya) x,y G και a A 1) a(xy)=(ax)y 2) ae=a ικτυωτά διαγράµµατα και οµάδες αυτοµορφισµών Ν. Λυγερός Παρουσίαση εργασίας φοιτητή Θα µιλήσουµε για το θεώρηµα του Lagrange. Αλλά προτού φτάσουµε εκεί, θα ήθελα να εισάγω ορισµένες έννοιες που θα µας

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

Μαθηµατικά της Πληροφορικής Επιστήµης

Μαθηµατικά της Πληροφορικής Επιστήµης Μαθηµατικά της Πληροφορικής Επιστήµης Περιεχόµενα Περιεχόµενα 3 Σύνολα................................ 7 Άλλα Σύµβολα............................ 7 Υποθέσεις και Θεωρήµατα 9. Παρατήρηση - Υπόθεση - Απόδειξη.................

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

Θεωρια Αριθµων. Εκπαιδευτικο Υλικο Μαθηµατος

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

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

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ Συναρτήσεις, Ορια, Συνέχεια ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 05 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύνοψη της ϑεωρίας των συναρτήσεων,

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

ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής

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

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

ΜΑΘΗΜΑ 7. 2.3 Μέτρο µιγαδικού Ασκήσεις Γεωµετρικών τόπων ΑΣΚΗΣΕΙΣ

ΜΑΘΗΜΑ 7. 2.3 Μέτρο µιγαδικού Ασκήσεις Γεωµετρικών τόπων ΑΣΚΗΣΕΙΣ ΑΣΚΗΣΕΙΣ ΜΑΘΗΜΑ 7.3 Μέτρο µιγαδικού Ασκήσεις Γεωµετρικών τόπων. Να βρείτε το γεωµετρικό τόπο των µιγαδικών z, για τους οποίους οι εικόνες των µιγαδικών z, i, iz είναι συνευθειακά σηµεία. Έστω z = x + i,

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

5. Γεννήτριες Τυχαίων Αριθµών.

5. Γεννήτριες Τυχαίων Αριθµών. 5. Γεννήτριες Τυχαίων Αριθµών. 5.1. Εισαγωγή. Στο Κεφάλαιο αυτό θα δούµε πώς µπορούµε να δηµιουργήσουµε τυχαίους αριθµούς από την οµοιόµορφη κατανοµή στο διάστηµα [0,1]. Την κατανοµή αυτή, συµβολίζουµε

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

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

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

ΜΑΘΗΜΑΤΙΚΑ II ΕΚΦΩΝΗΣΕΙΣ

ΜΑΘΗΜΑΤΙΚΑ II ΕΚΦΩΝΗΣΕΙΣ ΜΑΘΗΜΑΤΙΚΑ II ΕΠΑΛ (ΟΜΑ Α Β ) ΕΚΦΩΝΗΣΕΙΣ ΘΕΜΑ Α A Έστω f µια συνάρτηση ορισµένη σε ένα διάστηµα Αν F είναι µια παράγουσα της f στο, τότε να αποδείξετε ότι: όλες οι συναρτήσεις της µορφής G() F() + c, c

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

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

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

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

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

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

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

Καθηγητήσ Μαθηματικών: Κωτςάκησ Γεώργιοσ e-mail: kotsakis @ windowslive. com.

Καθηγητήσ Μαθηματικών: Κωτςάκησ Γεώργιοσ e-mail: kotsakis @ windowslive. com. Καθηγητήσ Μαθηματικών: Κωτςάκησ Γεώργιοσ e-mail: kotsakis @ windowslive. com. A. Οι κανόνες De L Hospital και η αρχική συνάρτηση κάνουν πιο εύκολη τη λύση των προβλημάτων με το Θ. Rolle. B. Η αλγεβρική

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

ΟΡΙΑ. 0 : Παραγοντοποιώ αριθµητή και παρονοµαστή και διώχνω τους παράγοντες x, x 0 που προκύπτουν.

ΟΡΙΑ. 0 : Παραγοντοποιώ αριθµητή και παρονοµαστή και διώχνω τους παράγοντες x, x 0 που προκύπτουν. ΟΡΙΑ Πηλίκα πολυωυµικώ µε µορφή 0 0 : Παραγοτοποιώ αριθµητή και παροοµαστή και διώχω τους παράγοτες, 0 που προκύπτου Περιπτώσεις µε ρίζες µορφής 0 0 Περιπτώσεις στις οποίες χρειάζεται α πολλαπλασιάσω µε

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

if(συνθήκη) {... // οµάδα εντολών } C: Από τη Θεωρία στην Εφαρµογή 5 ο Κεφάλαιο

if(συνθήκη) {... // οµάδα εντολών } C: Από τη Θεωρία στην Εφαρµογή 5 ο Κεφάλαιο C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 5 ο Έλεγχος Προγράµµατος Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Η εντολή if (Ι) Η εντολή if είναι µία από τις βασικότερες δοµές ελέγχου ροής στη C, αλλά και στις περισσότερες

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

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA Αριθµοθεωρητικοί Αλγόριθµοι και το Κρυπτοσύστηµα RSA Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Υπολογισµός Μέγιστου Κοινού ιαιρέτη Αλγόριθµος του Ευκλείδη Κλάσεις Ισοδυναµίας και Αριθµητική modulo

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

ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α

ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΞΕΤΑΣΗ ΣΤΟ ΜΑΘΗΜΑ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» - 6/2/2014 Διάρκεια Εξέτασης: 2 ώρες και 50 λεπτά Ομάδα Α 1. (2.5 μονάδες) Ο κ. Ζούπας παρέλαβε μία μυστηριώδη τσάντα από το ταχυδρομείο. Όταν

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

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

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

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

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι Γιάννης Σαραντόπουλος Αθήνα 7 Οκτωβρίου 5 Περιεχόµενα Συµβολισµός

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

Μηχανές Πεπερασµένων Καταστάσεων

Μηχανές Πεπερασµένων Καταστάσεων Μηχανές Επεξεργασίας Πληροφοριών Μηχανές Πεπερασµένων Καταστάσεων Είναι µηχανές που δέχονται ένα σύνολο από σήµατα εισόδου και παράγουν ένα αντίστοιχο σύνολο σηµάτων εξόδου Σήµατα Εισόδου Μηχανή Επεξεργασίας

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

e-mail: s97130@math.aegean.gr soviet@teivos.samos.aegean.gr http://iris.math.aegean.gr/software/kerkis/

e-mail: s97130@math.aegean.gr soviet@teivos.samos.aegean.gr http://iris.math.aegean.gr/software/kerkis/ A Π α ν ε π ι ς τ ή µ ι ο Α ι γ α ί ο υ Σ χ ο λ ή Θ ε τ ι κ ώ ν Ε π ι ς τ η µ ώ ν Τ µ ή µ α Μ α θ η µ α τ ι κ ώ ν Πτυχιακή εργασία Εκπονητής Χουσαΐνοβ Αλέξανδρος Α.Μ. 311/1997130 Σάµος, 2002 Τίτλος : Θεωρία

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

Aλγεβρα A λυκείου α Τομος

Aλγεβρα A λυκείου α Τομος Aλγ ε β ρ α A Λυ κ ε ί ο υ Α Τό μ ο ς Κάθε γνήσιο αντίτυπο φέρει την υπογραφή του συγγραφέα Σειρά: Γενικό Λύκειο, Θετικές Επιστήμες Άλγεβρα Α Λυκείου, Α Τόμος Παναγιώτης Γριμανέλλης Στοιχειοθεσία-σελιδοποίηση,

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