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

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

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

Σύνοψη Προηγούµενου. Ισοδυναµίες, Μερικές ιατάξεις. Σχέσεις Ισοδυναµίας. Σχέσεις, Ιδιότητες, Αναπαράσταση. Ανακλαστικές (a, a) R

Ισοδυναµίες, Μερικές ιατάξεις

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

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

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

i) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a

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

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

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

, για κάθε n N. και P είναι αριθμήσιμα.

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

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

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

f(t) = (1 t)a + tb. f(n) =

Πέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής. ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σχέσεις ισοδυναµίας. 15 Σχέσεις

a = a a Z n. a = a mod n.

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

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

Α Δ Ι Θ Θ Α Ε Ι Μ :

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ

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

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W

Συνδυαστική Απαρίθμηση

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

α Α και α Β, β Α και β Β, γ Α και γ Β, δ Α και δ Β, ε Α και ε Β, ζ Β και ζ Β, η Α και η Β, θ Α και θ Β.

x < A y f(x) < B f(y).

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



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

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

ΕΡΓΑΣΊΑ ΠΡΟΌΔΟΥ #1 ΕΡΓΑΣΤΗΡΙΟ ΜΑΘΗΜΑΤΙΚΩΝ, ΔΙΔΑΚΤΙΚΗΣ. και ΠΟΛΥΜΕΣΩΝ. "ΕΙΣΑΓΩΓΗ στις ΒΑΣΕΙΣ και στις ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ των ΜΑΘΗΜΑΤΙΚΩΝ Ι"

Συνδυαστική Απαρίθμηση

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις

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

Συνδυαστική Απαρίθμηση

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

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

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

Συνδυαστική Απαρίθμηση

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

Επανάληψη. ΗΥ-180 Spring 2019

το σύνολο των πολυωνυµικών συναρτήσεων βαθµού d στους φυσικούς και µε P= U P το σύνολο των πολυωνυµικών συναρτήσεων. Να εξετάσετε αν τα σύνολα P

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης

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

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

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

Μαθηματικά στην Πολιτική Επιστήμη:

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

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Σχέσεις Μερικής Διάταξης

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

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

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

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

mail:

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

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

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

Πρόλογος. Πρόλογος 13. Πώς χρησιμοποείται αυτό το βιβλίο 17

Κανονικές μορφές - Ορισμοί

Σχέσεις Μερικής ιάταξης

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

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Διατάξεις με επανάληψη: Με πόσους τρόπους μπορώ να διατάξω r από n αντικείμενα όταν επιτρέπονται επαναληπτικές εμφανίσεις των αντικειμένων; Στην αρχή

HY118-Διακριτά Μαθηματικά

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF

Σχέσεις Μερικής ιάταξης

HY118-Διακριτά Μαθηματικά

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Κλάσεις ισοδυναµίας. Σχέσεις ισοδυναµίας. 15 -Σχέσεις

Abstract Algebra: The Basic Graduate Year: Robert B. Ash

(β ) ((X c Y ) (X c Y c )) c

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

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

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

Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF

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

Διακριτά Μαθηματικά 1ο Φροντιστήριο 07/10/2016 1

Εισαγωγή στις Βάσεις Δεδομζνων II

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

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

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3...,

p p p q p q p q p q

HY118-Διακριτά Μαθηματικά

(ii) X P(X). (iii) X X. (iii) = (i):

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

Μαθηματική Λογική και Απόδειξη

Συνδυαστική Απαρίθμηση

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

Περιεχόμενα 2ης Διάλεξης 1 Σύνοψη προηγούμενου μαθήματος 2 Αξιωματικός ορισμός και απαρίθμηση 3 Διατάξεις - Συνδυασμοί 4 Παραδείγματα υπολογισμού πιθα

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό

Transcript:

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

Οκτώβριος Πα16Οκτ2009 2

Τε14Οκτ2009 Διατάξεις, μεταθέσεις συνδυασμοί. Συζητήθηκαν τα παρακάτω θεωρήματα: 1 Αν έχουμε απεριόριστο αριθμό αντικειμένων τα οποία είναι n διαφορετικών ειδών, και διαλέξω r από αυτά, τότε ο συνολικός αριθμός των διαφορετικών δυνατών αποτελεσμάτων ως προς τις επιλογέςμουθαείναι n r. 2 Αν έχουμε r διαφορετικά αντικείμενα και n επιλογές για αυτά, έτσι ώστε σε κάθε επιλογή να αντιστοιχεί ένα αντικείμενο, τότε ο συνολικός αριθμός διαφορετικών τρόπων με τους οποίους μπορούν να επιλεγούν τα αντικείμενα είναι: n(n 1)(n 2)...(n r + 1) = n! = P(n, r). (n r)! 3 Ανέχουμε r = q 1 + q 2 +... + q t αντικείμενατέτοιαώστεναέχουμε q 1 αντικείμενααπόένα είδος, q 2 αντικείμενααπόέναάλλοείδος,κ.ο.κ.,και nεπιλογές,έτσιώστεσεκάθεεπιλογήνα αντιστοιχεί ένα αντικείμενο, τότε ο συνολικός αριθμός διαφορετικών τρόπων με τους οποίους μπορούν να επιλεγούν τα αντικείμενα είναι: P(n, r) q 1! q 2!... q t! = n! (n r)! q 1! q 2!... q t!. 4 Ειδικάανμιλάμεγιατιςδυνατέςδιατάξεις n = q 1 + q 2 +... + q t αντικειμένων,όπου q i αντικείμενα είναι του ιδίου είδους(και διαφορετικά από τα υπόλοιπα), τότε έχουμε συνολικά διαφορετικές διατάξεις. n! q 1! q 2!... q t! 5 Εστω ότι έχουμε r αντικείμενα του ιδίου είδους και n επιλογές. Τότε οι διαφορετικοί τρόποι διατάξεως των r αντικειμένων είναι: P(n, r) r! = n! = C(n, r). r! (n r)! 6 Εστωότιέχω rόμοιααντικείμενακαι nεπιλογές,καιέστωότισεκάθεεπιλογήμπορώνα αντιστοιχίσω πάνω από ένα αντικείμενα(δηλ. όσα αντικείμενα θέλω). Τότε ο συνολικός αριθμός τοποθέτησης/επιλογής των αντικειμένων είναι C(n + r 1, r) = (n + r 1)! r! (n 1)!. Επίσης συζητήθηκε το παρακάτω πρόβλημα: (α) Εστω ότι δεν επιτρέπονται επαναλήψεις. Πόσοι τετραψήφιοι αριθμοί είναι δυνατόν να σχηματιστούναπόταψηφία {1, 2, 3, 5, 7, 8}; (β) Πόσοι από τους αριθμούς του ερωτήματος(α) είναι μικρότεροι του 4000; (γ) Πόσοι από τους αριθμούς του ερωτήματος(α) είναι άρτιοι; (δ) Πόσοι από τους αριθμούς του ερωτήματος(α) είναι περιττοί; (ε) Πόσοι από τους αριθμούς του ερωτήματος(α) είναι πολλαπλάσια του 5; (ϛ) Πόσοιαπότουςαριθμούςτουερωτήματος(α)περιέχουντοψηφίο3καιτοψηφίο5; 3

Τρ13Οκτ2009 Στην εν λόγω διάλεξη έγιναν ασκήσεις. Πιο συγκεκριμένα, παρουσιάστικαν οι λύσεις για τα παρακάτω προβλήματα: 1 Εστω R ανακλαστική σχέση επί του συνόλου A. Δείξτε ότι η R είναι σχέση ισοδυναμίας αν καιμόνοαν (, b), (, c) R (b, c) R. 2 Εστω S, Tσύνολακαισυνάρτηση f : S T.Αν R 1 είναισχέσηισοδυναμίαςαπότου Tκαι R 2 διμελήςσχέσηαπίτου S,τέτοιαώστε (x, y) R 2 (f(x), f(y)) R 1,δείξτεότιηR 2 είναι σχέση ισοδυναμίας. 3 Εστω σύνολο A με 10 διαφορετικά στοιχεία. (α) Πόσες διαφορετικές διμελείς σχέσεις επί του A υπάρχουν; (β) Πόσες από τις διμελείς σχέσεις του ερωτήματος(α) είναι ανακλαστικές; (γ) Πόσες από τις διμελείς σχέσεις του ερωτήματος(α) είναι συμμετρικές; (δ) Πόσες από τις διμελείς σχέσεις του ερωτήματος(α) είναι ανακλαστικές και συμμετρικές; (ε) Πόσες διαφορερικές σχέσεις ολικής διάταξης επί του A υπάρχουν; Πα9Οκτ2009 Σχέσεις Ολικής Διάταξης. Ολικώς διαταγμένα σύνολα. Αντιαλυσίδες. Θεώρημα: Αν (P, ) μερικώς διατεταγμένο σύνολο με μήκος μακρύτερων αλυσίδων n, τότε το P μπορεί να διαμεριστεί σε n αντιαλυσίδες. ΑπόδειξηΠορίσματος:Αν (P, )μερικώςδιατεταγμένοσύνολομε mn + 1στοιχεία,τότεστο P υπάρχειείτεμίααντιαλυσίδαμε m + 1στοιχείαείτεμίααλυσίδαμεμήκους n + 1. Άνω φράγμα δύο στοιχείων σε Σ.Μ.Δ. Κάτω φράγμα δύο στοιχείων σε Σ.Μ.Δ. Ελάχιστο άνω φράγμα. Μέγιστο κάτω φράγμα. Παραδείγματα Σ.Μ.Δ. και εύρεση άνω φραγμάτων, κάτω φραγμάτων, ελαχίστων άνω φραγμάτων και μεγίστων κάτω φραγμάτων: j k h h f i g e f g b c b c e 4

Τε7Οκτ2009 Σχέσεις ισοδυναμίας. Διαμέριση συνόλου και σύμπλοκα. Κλάσεις ισοδυναμίας. Παραδείγματα σχέσεων ισοδυναμίας: R = {(n, m) n, m N, n m = 2k, k Z}. Οιδύοκλάσειςισοδυναμίαςτης Rείναιτα σύνολα των ζυγών και των μονών φυσικών αριθμών. Ησχέση Rπουδίνεταιαπότονπαρακάτωπίνακα: b c e f b c e f Οικλάσειςισοδυναμίαςτης Rείναιτασύνολα: {{, b}, {c}, {, e, f}}. Θεωρούμετοσύνολο A = {οιβουλευτέςτουελληνικούκοινοβουλίου},καιτησχέση R = {(X, Y ) X, Y Aκαιοι Xκαι Y ανήκουνστοίδιοκόμμα}. Οικλάσειςισοδυναμίαςτης R είναι το σύνολο των κομμάτων του Ελληνικού Κοινοβουλίου: { ΠΑΣΟΚ, ΝΔ, ΚΚΕ, ΛΑΟΣ, ΣΥΡΙΖΑ }. Σχέσεις μερικής διάταξης. Διαγράμματα Hsse. Μερικώς διατεταγμένα σύνολα. Ο συμβολισμός : b ανκαιμόνοαν (, b) R. Ορισμός αλυσίδας. Μήκος αλυσίδας. Παράδειγμα σχέσης μερικής διάταξης(δεξιά πίνακας, αριστερά διάγραμμα Hsse): e b c e c b c b e Τρ6Οκτ2009 Η διάλεξη δεν έγινε λόγω βουλευτικών εκλογών Πα20Σεπ2009 Η διάλεξη δεν έγινε λόγω βουλευτικών εκλογών 5

Σεπτέμβριος Τε20Σεπ2009 Σχέσεις. Διμελείς, τριμελείς, τετραμελείς, κ.ο.κ. σχέσεις. Διμελείς σχέσεις επί συνόλου A. Ιδιότητες σχέσεων επί συνόλου: ανακλαστική, συμμετρική, αντισυμμετρική, μεταβατική. Παραδείγματα διμελών σχέσεων επί συνόλου: Σχέση που δεν είναι ούτε ανακλαστική, ούτε συμμετρική, ούτε αντισυμμετρική, ούτε μεταβατική: b c b c Σχέση που είναι ανακλαστική, συμμετρική και μεταβατική: b c e f b c e f Σχέση που είναι ανακλαστική, συμμετρική, αντισυμμετρική και μεταβατική: b c b c Σχέση που είναι μόνο ανακλαστική: Σχέση που είναι μόνο συμμετρική: b c b c b c b c 6

Τε30Σεπ2009-Συνέχεια Σχέση που είναι μόνο αντισυμμετρική: b c b c Σχέση που είναι μόνο μεταβατική: b c b c Η έννοια της μεταβατικής επέκτασης και μεταβατικής θήκης. Στο παρακάτω παράδειγμα αριστερά είναιμίασχέση R,στομέσοη(πρώτη)μεταβατικήεπέκτασήτης R 1,καιδεξιάηδεύτερημεταβατική τηςεπέκταση R 2 πουείναικαιημεταβατικήτηςθήκη R. Ταστοιχείατης R 1 \ Rφαίνονταιμε κόκκινοκαιτης R 2 \ R 1 μεπράσινο. b c b c b c b c b c b c Τρ29Σεπ2009 Προτάσεις, ταυτολογίες, αντιφάσεις. Τιμή αληθείας μιας πρότασης, αληθείς και ψευδείς προτάσεις. Διάζευξη, σύζευξη, άρνηση, συνεπαγωγή, ισοδυναμία. Ισοδύναμες προτάσεις. Πίνακες αληθείας. Παράδειγμα χρήσης πινάκων αληθείας για λύση του παρακάτω προβλήματος: Αποδείξτεότιοιπροτάσεις ((p q) (p r)) sκαι ( p ( q r)) sείναιισοδύναμες. Χρήση του προτασιακού λογισμού για θεμελίωση των παρακάτω μεθόδων απόδειξης δείχνοντας ότι κάποιες προτάσεις είναι ταυτολογίες: 1. Απόδειξη ισοδυναμίας δύο προτάσεων μέσω απόξειδης της ισχύος των δύο επιμέρους συνεπαγωγών. Ανθέλουμεναδείξουμεότι p qαυτόείναιισοδύναμομετοναδείξουμεότι (p q) (q p).μεάλλαλόγια,ηπαρακάτωπρότασηείναιταυτολογία: (p q) ((p q) (q p)) 2.Επαγωγήειςάτοπο.Ανθέλουμεναδείξουμεότι p qαυτόείναιισοδύναμομετοναδείξουμε ότι p q.μεάλλαλόγια,ηπαρακάτωπρότασηείναιταυτολογία: (p q) (p q) 3.Αντιθετοαντιστοφή.Ανθέλουμεναδείξουμεότι p qαυτόείναιισοδύναμομετοναδείξουμε ότι q p.μεάλλαλόγια,ηπαρακάτωπρότασηείναιταυτολογία: (p q) ( q p) 7

Πα25Σεπ2009 Ισχυρή μορφή της επαγωγής. Απόδειξη των παρακάτω λημμάτων χρησιμποιώντας την ισχυρή επαγωγή: 1. Κάθε θετικός ακέραιος n 2 γράφεται είτε είναι πρώτος είτε γράφεται ως γινόμενο πρώτων αριθμών. 2. Σε κάθε οικογενειακό δέντρο με τουλάχιστον έναν κόμβο, ο αριθμός των φύλλων είναι κατά ένα μεγαλύτερος από τον αριθμό των εσωτερικών κόμβων. Το διαγώνιο επιχείρημα. Απλό παράδειγμα με πεπερασμένο σύνολο. Απόδειξη του γεγονότος ότι το διάστημα [0, 1] των πραγματικών αριθμών είναι μη αριθμήσιμο χρησιμοποιώντας το διαγώνιο επιχείρημα. Τε23Σεπ2009 Ολοκλήρωση της απόδειξης του Θεωρήματος 2 της προηγούμενης διάλεξης. Επαγωγή και ειδικότερα ασθενής επαγωγή. Παραδείγματα χρήσης της ασθενούς επαγωγής για την απόδειξη των παρακάτω τύπων: n i=1 i = n(n+1) 2, n 1 n i=1 i2 = n(n+1)(2n+1) 6, n 1 2 n > n 3, n 10 n i=1 1 i > n, n > 1 Αποδείξεις Θεωρημάτων: 1.Αν A, Bσύνολα, Aαριθμήσιμοκαι fσυνάρτηση 1-1 και επί,απότο Bστο Aμε f(b) = A, τότε και A αριθμήσιμο. Τρ22Σεπ2009 Διαδικαστικά μαθήματος. Περιεχόμενο μαθήματος. Σύνολα: πεπερασμένα, απείρως αριθμήσιμα και μη αριθμήσιμα σύνολα. Η έννοια του υποσυνόλου. Τεχνικές απόδειξης ότι ένα σύνολο είναι αριθμήσιμο. Παραδείγματα & αποδείξεις συνόλων που είναι αριθμήσιμα: Z, N N, Z Z, Q. Αποδείξεις Θεωρημάτων: 1.Αν Aαριθμήσιμοκαι B A,τότεκαι Bαριθμήσιμο. 2.Αν Aκαι Bαριθμήσιμασύνολα,τότεκαιτοκαρτεσιανόγινόμενο A Bαριθμήσιμο. 8