01 A. b = 2 b = n b = n + 1

Σχετικά έγγραφα
{3k + a : k N a = 1,2}.

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

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

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

P P Ó P. r r t r r r s 1. r r ó t t ó rr r rr r rí st s t s. Pr s t P r s rr. r t r s s s é 3 ñ

ss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s

P r s r r t. tr t. r P

rs r r â t át r st tíst Ó P ã t r r r â

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

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

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

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

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

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

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

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

r t t r t t à ré ér t é r t st é é t r s s2stè s t rs ts t s

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

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

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

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

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

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

Couplage dans les applications interactives de grande taille

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

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

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

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

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

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

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

ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t

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

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

ΜΑΘΗΜΑΤΙΚΑ ΙΙ ιδάσκων : Ε. Στεφανόπουλος 12 ιουνιου 2017

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

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

Radio détection des rayons cosmiques d ultra-haute énergie : mise en oeuvre et analyse des données d un réseau de stations autonomes.

Ανω Φράγµα στην Τάξη των Συναρτήσεων. Ρυθµός Αύξησης (Τάξη) των Συναρτήσεων. Παράδειγµα (1/2) O( g(n) ) είναι σύνολο συναρτήσεων:

< 1 για κάθε k N, τότε η σειρά a k συγκλίνει. +, τότε η η σειρά a k αποκλίνει.

Consommation marchande et contraintes non monétaires au Canada ( )

Physique des réacteurs à eau lourde ou légère en cycle thorium : étude par simulation des performances de conversion et de sûreté

e 5t (sin 5t)u(t)e st dt e st dt e 5t e j5t e st dt s j5 j10 (s + 5 j5)(s j5)

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

Transformations d Arbres XML avec des Modèles Probabilistes pour l Annotation

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

Forêts aléatoires : aspects théoriques, sélection de variables et applications

Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes

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

Émergence des représentations perceptives de la parole : Des transformations verbales sensorielles à des éléments de modélisation computationnelle

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

Κεφάλαιο 1. Μετρικοί χώροι. 1.1 Βασικές έννοιες. Εστω σύνολο X και έστω η απεικόνιση d : X X R έτσι ώστε για κάθε x, y, z X ισχύουν :

Annulations de la dette extérieure et croissance. Une application au cas des pays pauvres très endettés (PPTE)

r r t r r t t r t P s r t r P s r s r r rs tr t r r t s ss r P s s t r t t tr r r t t r t r r t t s r t rr t Ü rs t 3 r r r 3 rträ 3 röÿ r t

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ 12) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 3

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

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

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

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

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

Vers un assistant à la preuve en langue naturelle

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E.

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

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

ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου

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

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

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

Σ Υ Ν Α Ρ Τ Η Σ Ε Ι Σ

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

ACI sécurité informatique KAA (Key Authentification Ambient)

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις δεύτερου φυλλαδίου ασκήσεων.

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

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

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

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

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

P P Ô. ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t

1 Ανάλυση αλγορίθµων. 2 Συµβολισµοί O, Ω και Θ. 3 Αναδροµικές εξισώσεις

Alterazioni del sistema cardiovascolare nel volo spaziale

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ.

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

Hygromécanique des panneaux en bois et conservation du patrimoine culturel. Des pathologies... aux outils pour la conservation

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

Ασκήσεις Γενικά Μαθηµατικά Ι Οµάδα 5 (λύσεις)

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Assessment of otoacoustic emission probe fit at the workfloor

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών. HY-217: Πιθανότητες - Χειµερινό Εξάµηνο 2016 ιδάσκων : Π. Τσακαλίδης. Λύσεις Τρίτης Σειράς Ασκήσεων

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

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

6 Εφαρµογές των παραγώγων στον υπολογισµό ορίων α- προσδιόριστων µορφών - Κανόνες L Hôpital

[Κεφάλαιο 1 Μέρος Β' του σχολικού βιβλίου] x είναι συνεχής στο σαν άθροισμα συνεχών συναρτήσεων. για x. άρα g(x) 0 και αφού είναι συνεχής

Transcript:

P P 1èt s Ð P Ôst ì t è t Ð Ð t èr è ❼ ❼s t t s s Ð s Ð sô t r s Ð t s Ô ❼r rì ì èq Ð ì r t t èr Ôt r t r trðt rìq r r❼2t r rqðs 1èt s t r t ì s s ❼ ì s èq Ð r❼2t st r t ì st Ôt r ì st trðt ì P t r tè r❼s t è 1 Ð s t ì s t t Ð Ô t Ð s st❼ t r tì s r❼2t ❼ st è t t ì ❼ s Prè t strè2 t ì t ì t rìq r è t rt Ô st s Ð t t trè t s s Ð r q è rô t t t❼ s t r s ❼ t s ì ì t s tèq t èt s r è t 1 t st t t rð r Ðt s s t ❼ st r tì s Ðt r st Ð Ð s ìt Ð ❼t ì ❼ ❼q st ❼s t ❼ss t t q Ô tèt Ðt P ❼s ts ❼ st F t sô t s rt s Ð r s Ô t sô t s r Ð t Ðs t sô t s r Ð1t ìt t sô F Ð r s r st t sô A t s s r t t {0,1} rð3 t t 1 r ì r s ì 01 A w A tìt w1w A P ì sô Ð t A P r r❼2t t rìt s t è st Ðs r t r r Ð1t r s t ❼ ìt t r r s t r❼3 t sô A st ìt rðq b ❼ s n q Ð ❼ ❼ rðq t ì r t st q Ð 1❼rt t ì t ì ❼ Ðst t ìt t ìt è q Ð r èq Ô r ssìt r ❼ ìt b = 2 b = n b = n + 1

❼s tr t i Ð y + 4y = 3cos 2t ii Ð (3y + e t ) + (3t + cos y)y = 0 s Ð t è t r t Ð t r I = 2π 0 dθ 1 + α sin θ, α ( 1, 1) \ {0}. Ð y (t) = Ay(t) ì A = 2 3 0 3 2 0 0 0 1. i s Ð i i ii s Ð t C z dz Ð t C = C 1 Ô ì t z = 0 st z = 1 ì Ð st z = 1 + i C = C 2 t Ô r t ì t z = 0 st z = 1 + i q ❼st t t ès t❼ s r t r Cauchy-Goursat

ΜΑΘΗΜΑΤΙΚΑ ΠΛΗΡΟΦΟΡΙΚΗΣ και ΤΗΛΕΠΙΚΟΙΝΩΝΙ ΩΝ ΜΕΡΟΣ Α : ΜΑΘΗΜΑΤΙΚΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ιδάσκων: Η.Κουτσουπιάς Λύσεις εξέτασης 16 Ιουνίου 2005 Πρόβληµα 1. Εστω F το σύνολο των συναρτήσεων µε πεδίο ορισµού το σύνολο των ϕυσικών αριθµών και µε πεδίο τιµών επίσης το σύνολο των ϕυσικών αριθµών. είξτε ότι το σύνολο F δεν είναι αριθµήσιµο. Λύση. Με χρήση της µεθόδου της ιαγωνίου. Εστω ότι το σύνολο F είναι αριθµήσιµο. Τότε µπορούµε να ϐάλουµε τα στοιχεία του σε σειρά f 1, f 2,... έτσι ώστε όλα τα στοιχεία του να εµφανίζονται στην ακολουθία αυτή. Το κάθε στοιχείο f i είναι µία συνάρτηση µε πεδίο ορισµού και πεδίο τιµών το σύνολο των ϕυσικών αριθµών. Θα κατασκευάσουµε τώρα ένα στοιχείο f του συνόλου F που διαφέρει από τα f 1, f 2,...: f(n) = f n (n) + 1 Η συνάρτηση f διαφέρει από την f 1 στην τιµή f(1), από την f 2 στην τιµή f(2) κοκ. Η f είναι συνάρτηση από τους ϕυσικούς στους ϕυσικούς, είναι δηλαδή στοιχείο του F, και διαφέρει από κάθε όρο της ακολουθίας f 1, f 2,... Άτοπο, αφού υποθέσαµε ότι όλα τα στοιχεία του F εµφανίζονται στην ακολουθία. Πρόβληµα 2. Θεωρήστε το σύνολο A των συµβολοσειρών του αλφαβήτου {0, 1} που ορίζεται µε τον εξής αναδροµικό ορισµό: 01 A. Αν w A, τότε w1w A. 1. Ποιό σύνολο είναι το A; Περιγράψτε το µε µια πρόταση της καθοµιλουµένης. 2. ώστε επίσης µια ακριβή µαθηµατική περιγραφή. 3. Αποδείξτε προσεκτικά ότι η µαθηµατική περιγραφή που δώσατε εκ- ϕράζει το σύνολο A. Λύση. Οι συµβολοσειρές του συνόλου A αποτελούνται από 2 n διαδοχικά 011 από τις οποίες έχουµε αφαιρέσει το τελευταίο 1. Ισοδύναµα, κάθε συµ- ϐολοσειρά περιέχει 2 n 1 διαδοχικά 011 ακολουθούµενα από ένα 01. Πιο συγκεκριµένα, αν (011) k συµβολίζει τη συµβολοσειρά αποτελούµενη από την παράθεση k αντιγράφων του 011, τότε A = {(011) 2n 1 01 : n N} 1

Θα δείξουµε τώρα ότι αυτό είναι πράγµατι το σύνολο A. Για να το δείξουµε αυτό πρέπει να δείξουµε δυο προτάσεις: Πρώτα ότι κάθε συµβολοσειρά που ανήκει στο A, δηλαδή κάθε συµβολοσειρά που παράγεται µε τους παραπάνω κανόνες, έχει τη µορφή (011) 2n 1 01 για κάποιον ϕυσικό αριθµό n. Και το αντίστροφο, ότι δηλαδή κάθε συµβολοσειρά που είναι της µορφής (011) 2n 1 01 µπορεί να παραχθεί µε τους παραπάνω κανόνες. Για το πρώτο ϑα χρησιµοποιήσουµε δοµική επαγωγή και για το δεύτερο µαθηµατική επαγωγή στο n. Πρόταση 1. Κάθε στοιχείο του συνόλου A είναι της µορφής (011) 2n 1 01 για κάποιο ϕυσικό αριθµό n. Απόδειξη. Με δοµική επαγωγή. Βάση δοµικής επαγωγής: Το 01 είναι της µορφής (011) 2n 1 01 γιατί για n = 0: (011) 2n 1 01 = (011) 0 01 = 01. Επαγωγικό ϐήµα: Εστω w A. Από την επαγωγική υπόθεση υπάρχει n τέτοιο ώστε w = (011) 2n 1 01. Θα δείξουµε ότι το w1w είναι της ίδιας µορφής. Πράγµατι w1w = (011) 2n 1 01 1(011) 2n 1 01 = (011) 2n 1+1+2 n 1 = (011) 2n+1 1 01 είναι της ίδιας µορφής. Πρόταση 2. Κάθε συµβολοσειρά της µορφής (011) 2n 1 01, όπου n ϕυσικός αριθµός, παράγεται µε τους κανόνες που ορίζουν το σύνολο A. Απόδειξη. Με µαθηµατική επαγωγή στο n. Βάση της επαγωγής: Αν n = 0, τότε η συµβολοσειρά (011) 2n 1 01 = (011) 0 01 = 01 ανήκει στο σύνολο A, σύµφωνα µε τον πρώτο κανόνα. Επαγωγικό ϐήµα: Εστω ότι η πρόταση είναι αληθής για κάποιο n, δηλαδή (011) 2n 1 01 A. Θα δείξουµε ότι η πρόταση είναι αληθής για n + 1, δηλαδή ότι το (011) 2n+1 1 01 µπορεί να παραχθεί µε τους παραπάνω κανόνες. Πράγ- µατι, αν ϑέσουµε w = (011) 2n 1 01, τότε σύµφωνα µε τον δεύτερο κανόνα, το w1w ανήκει στο A και είναι ίσο µε w1w = (011) 2n+1 1 01. Πρόβληµα 3. Εστω ότι ϱίχνουµε b µπαλάκια σε n δοχεία. Το κάθε µπαλάκι ϱίχνεται µε οµοιόµορφη κατανοµή στα δοχεία και ανεξάρτητα από τα υπόλοιπα µπαλάκια. Υπολογίστε την πιθανότητα ότι κανένα δοχείο δεν περιέχει δυο ή περισσότερα µπαλάκια όταν 1. b = 2 2. b = n. 2

3. b = n + 1. Λύση. Υπάρχουν n b διαφορετικοί τρόποι να τοποθετήσουµε b (αριθµηµένα) µπαλάκια σε n δοχεία (το πρώτο µπαλάκι µπορεί να πάει σε n δοχεία, το δεύτερο σε n δοχεία κοκ). Από αυτούς τους τρόπους, οι n(n 1) (n b+1) έχουν το κάθε µπαλάκι σε διαφορετικό δοχείο (το πρώτο µπαλάκι µπορεί να πάει σε n δοχεία, το δεύτερο σε n 1 δοχεία γιατί το ένα είναι ήδη κατειληµ- µένο, κοκ το b-οστό µπαλάκι µπορεί να πάει σε n (b 1) = n b+1 δοχεία γιατί b 1 δοχεία είναι ήδη κατειληµµένα). Άρα η πιθανότητα τα b µπαλάκια να καταλήξουν σε διαφορετικά δοχεία είναι p b = n(n 1) (n b + 1) n b 1. Για b = 2 η πιθανότητα αυτή είναι p 2 = n(n 1) n 2 = (n 1)/n. 2. Για b = n η πιθανότητα είναι p n = n!/n n. 3. Για b = n + 1 η πιθανότητα είναι p n+1 = 0, αφού ο τελευταίος πολλαπλασιαστής του αριθµητή είναι n b+1 = 0. Το τελευταίο αποτέλεσ- µα προκύπτει άµεσα και από την Αρχή του Περιστερώνα: εν µπορούµε να ϐάλουµε n+1 µπαλάκια σε n δοχεία χωρίς κάποιο δοχείο να περιέχει τουλάχιστον 2 µπαλάκια. 3