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

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

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

Transcript

1 Σύνοψη Προηγούµενου Σχέσεις, Ιδιότητες, Αναπαράσταση Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ανακλαστικές (, ) R Συµµετρικές (, ) R = (, ) R Αντισυµµετρικές (, ) R (, ) R = = Μεταβατικές (, ) R (, ) R = (, ) R Αναπαράσταση µε Πίνακες 0 Συνολοθεωρητικές Πράξεις (και µε Πίνακες). Σύνθεση Σχέσεων (και µε Πίνακες). υνάµεις Σχέσεων και Μεταβατικότητα. Κλειστότητες Σχέσεων (ανακλαστική, συµµετρική, µεταβατική) Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Σχέσεις Ισοδυναµίας Σχέσεις Ισοδυναµίας η R είναι σχέση ισοδυναµίας αν: Ανακλαστική, Μεταβατική, Μη Συµµετρική η R είναι ανακλαστική η R είναι συµµετρική η R είναι µεταβατική Ανακλαστική, Συµµετρική, Μη Μεταβατική Συχνά γράφουµε για να δηλώσουµε ισοδυναµία του µε το. Σχέση Ισοδυναµίας: f f Π.χ., η (διµελής) σχέση R, συµβολοσειρών που έχουν ίδια τα τρία τελευταία σύµβολα, είναι σχέση ισοδυναµίας. Σε µια σχέση ισοδυναµίας δύο στοιχεία ενός συνόλου «σχετίζονται» αν µοιράζονται κάποια κοινές ιδιότητες ή ικανοποιούν κοινές προϋποθέσεις. Τότε τα στοιχεία του συνόλου που συνδέονται µέσω της σχέσης είναι ισοδύναµα ως προς τις κοινές τους ιδιότητες. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8

2 Ποιές από τις παρακάτω είναι σχέσεις ισοδυναµίας; R = { (, ) : = ή = }, επί του Z. Κλάσεις Ισοδυναµίας Θεωρούµε σχέση ισοδυναµίας R επί συνόλου A Η κλάση ισοδυναµίας του στοιχείου A είναι: R = { (, ) : Z }, επί του R. [] R = { s A : (, s) R } R = { (, ) : = }, επί συµβολοσειρών ελληνικών γραµµάτων R = { (, ) : ο διαιρεί τον } επί του Z +. Θεώρηµα: Εστω R σχέση ισοδυναµίας επί συνόλου A. Για κάθε, A: R [] R = [] R [] [] R = { (, ) : < } επί του R. Είναι ανακλαστική, συµµετρική, αλλά όχι µεταβατική. Π.χ., x =.8, y =.9, z =.: xry, yrz, αλλά (x, z) R. Παράδειγµα: Για την R = { (, ) : = ή = }, επί του Z, ποιά είναι η κλάση ισοδυναµίας ενός ακεραίου; [0] = { 0 } και για κάθε 0: [] = {, } Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 5 / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 6 / 8 Σχέσεις Μερικής ιάταξης Παρατηρήσεις Ορισµός: ιµελής σχέση R επί συνόλου A είναι σχέση µερικής διάταξης αν: Η R είναι ανακλαστική και η R είναι αντισυµµετρική και η R είναι µεταβατική. Συµβολίζουµε µε (A, R) ένα µερικώς διατεταγµένο σύνολο (που είναι «εφοδιασµένο» µε µια µερική διάταξη R επί του A). Ποιές από τις παρακάτω σχέσεις είναι µερικές διατάξεις; Η σχέση επί του συνόλου Z. Σε σχέση µ.δ. δύο στοιχεία σχετίζονται αν το ένα είναι «κατώτερο» του άλλου, σύµφωνα µε ορισµένα κριτήρια. Μπορεί δύο στοιχεία στο σύνολο να µη σχετίζονται στη σχέση µ.δ. Για το λόγο αυτό η διάταξη λέγεται µερική. Το σύνολο A µαζί µε τη σχέση µερικής διάταξης R επί του A λέγεται µερικώς διατεταγµένο σύνολο και συµβολίζεται µε (A, R). Συχνά συµβολίζουµε µια σχέση µερικής διάταξης µε : Η σχέση «ο διαιρεί τον» επί του Z +. Η σχέση επί του P(S), για οποιοδήποτε σύνολο S. Η R επί συνόλου προσώπων: R = {(x, y) : ο x είναι πιο ηλικιωµένος από τον y} «µικρότερο ίσο» από το : «µικρότερο» από το : και «µεγαλύτερο ίσο» από το : Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 7 / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 8 / 8

3 Αλυσίδες και Αντιαλυσίδες Αλυσίδα: υποσύνολο µ.δ. (A, ), κάθε στοιχεία του οποίου σχετίζονται στην. Λέγεται και ολικώς διατεταγµένο. Κάθε αλυσίδα {,,..., k } µε πεπερασµένο πλήθος k στοιχείων: έχει στοιχείο i που είναι µικρότερο από τα υπόλοιπα, έχει στοιχείο i που είναι µικρότερο από τα υπόλοιπα, εκτός του i, κ.ο.κ. Αντιαλυσίδα: υποσύνολο µ.δ. (A, ), κάθε στοιχεία του οποίου δε σχετίζονται στη ιαγράµµατα Hss Μέθοδος δηµιουργίας διαγράµµατος Hss:. Απεικονίζουµε γραφικά, µε προσανατολισµό ακµών προς τα πάνω.. Αφαιρούµε ακµές που αντιστοιχούν σε R για κάθε A.. Επαναλαµβάνουµε, όσο είναι εφικτό: Αλυσίδες: {,,, }, {}, {,, }, {,, } Αντιαλυσίδες: {, }, {, }, {}. Σηµαδεύουµε κάθε ακµή που αναπαριστά x y, αν υπάρχει z S ώστε: x z και z y. Αφαιρούµε τις σηµαδεµένες ακµές. 5. Αφαιρούµε τις κεφαλές (κατευθύνσεις) των εναποµείναντων ϐελών. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 9 / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 0 / 8 ιαγράµµατα Hss: Παράδειγµα Το διάγραµµα Hss του µερικώς διατεταγµένου ( {,,, }, ): Παράδειγµα Το διάγραµµα Hss της µερικής διάταξης επί του {,,,, 6, 8, }: {(, ) : ο διαιρεί τον } Βήµα. Βήµα. Βήµα -. Βήµα 5. Αρχικό πλήρες διάγραµµα ιάγραµµα Hss Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8

4 Παράδειγµα Το διάγραµµα Hss του µερικώς διατεταγµένου (P({,, }), ). Μέγιστα και Ελάχιστα Στοιχεία Σε µερικώς διατεταγµένο σύνολο (A, ): Το A είναι µεγιστικό (mximl) στοιχείο αν δεν υπάρχει A µε. {,, } {,, } ισοδύναµα, αν για κάποιο A, τότε = {, } {, } {, } {, } {, } {, } Το A είναι ελαχιστικό (miniml) στοιχείο αν δεν υπάρχει A µε. ισοδύναµα, αν για κάποιο A, τότε =. Το A είναι µέγιστο (mximum) στοιχείο αν για κάθε A. {} {} {} {} {} {} ιάγραµµα Hss το µέγιστο είναι µοναδικό, αν υπάρχει. Το A είναι ελάχιστο (minimum) στοιχείο αν για κάθε A. το ελάχιστο είναι µοναδικό, αν υπάρχει. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις / 8 Ποια στοιχεία του µερικώς διατεταγµένου συνόλου ({,, 5, 0,, 0, 5}, ) είναι µεγιστικά και ποιά ελαχιστικά; Ποιά από τα παρακάτω µερικώς διατεταγµένα σύνολα έχουν µέγιστο/ελάχιστο στοιχείο; 0 Μεγιστικά:, 0, Ελαχιστικά:, 5 5 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 5 / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 6 / 8

5 Ανω και Κάτω Φράγµατα. Στο απεικονιζόµενο µερικώς διατεταγµένο σύνολο: Σε µερικώς διατεταγµένο σύνολο (A, ): Το A είναι άνω φράγµα των στοιχείων του S A, αν για κάθε S. Ποιά τα άνω και κάτω ϕράγµατα των υποσυνόλων: {,, } ; άνω:, f, h, j, κάτω: { j, h } ; άνω δεν έχουν, κάτω:,,,,, f g h j f είναι ελάχιστο άνω φράγµα των στοιχείων του S A, αν δεν υπάρχει άνω ϕράγµα A \ {} των στοιχείων του S µε. Το A είναι κάτω φράγµα των στοιχείων του S A, αν για κάθε S. είναι µέγιστο κάτω φράγµα των στοιχείων του S A αν δεν υπάρχει κάτω ϕράγµα A \ {} των στοιχείων του S A µε. Παρατήρηση: Τα άνω και κάτω ϕράγµατα δεν ανήκουν απαραίτητα στο S A. {,,, } ; άνω: f, h, j, κάτω: Ποιό το µέγιστο κάτω και ελάχιστο άνω ϕράγµα του υποσυνόλου {,, g }; µέγιστο κάτω:, ελάχιστο άνω: g. Να ϐρεθούν το µέγιστο κάτω και ελάχιστο άνω ϕράγµα στο ( Z +, ), των συνόλων: (όπου είναι η σχέση «ο διαιρεί τον» ) {, 9, } και {,,, 5, 0 } Μέγιστοι Κοινοί ιαιρέτες και Ελάχιστα Κοινά Πολλαπλάσια αντίστοιχα. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 7 / 8 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 8 / 8

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

Ισοδυναµίες, Μερικές ιατάξεις Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 1 / 18 Σύνοψη Προηγούµενου Σχέσεις, Ιδιότητες, Αναπαράσταση

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

Representing Relations Using Digraph

Representing Relations Using Digraph M R n = M R, Κλειστότητες, Ισοδυναµίες, Μερικές ιατάξεις Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Σύνοψη Προηγούµενου EXAMPLE 6 from th finition of Booln powrs. Exris

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

Σχέσεις, Ιδιότητες, Κλειστότητες

Σχέσεις, Ιδιότητες, Κλειστότητες Σχέσεις, Ιδιότητες, Κλειστότητες Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σχέσεις 1 / 26 Εισαγωγή & Ορισµοί ιµελής Σχέση R από

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

Σχέση Μερικής ιάταξης Σχέση Μερικής ιάταξης (ή µερική διάταξη): ανακλαστική, αντισυµµετρική, και µεταβατική. Αριθµοί: α β (αλλά όχι α < β), α β, Σύνολ

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

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

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

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

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

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

Πέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής. ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων ιακριτά Μαθηματικά Ι https://www.icsd.aegean.gr/t.tzouramanis/courses/dm1 ttzouram@aegean.gr Πέμπτη 8 εκεμβρίου 2016 Θεόδωρος Τζουραμάνης Επίκουρος Καθηγητής ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μηχανικών Πληροφοριακών

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

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

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

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

Σχέσεις Ισοδυναµίας και Πράξεις

Σχέσεις Ισοδυναµίας και Πράξεις Κεφάλαιο 1 Σχέσεις Ισοδυναµίας και Πράξεις Στο παρόν Κεφάλαιο ϑα αναπτύξουµε τα ϐασικά στοιχεία από τη ϑεωρία σχέσεων µερικής διάταξης, σχέσεων ισοδυναµίας και διαµερίσεων οι οποίες ορίζονται επί ενός

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

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

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

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

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r ιαιρετότητα Στοιχεία Θεωρίας Αριθµών ο a διαιρεί τον b: συµβολισµός: a b Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς a b και a c a (b + c) a b a bc, για κάθε c Z +

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

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

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης Μάθημα 7α Δρ. Βασίλειος Γ. Καμπουρλάζος Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΤΕΙ Ανατολικής Μακεδονίας και Θράκης 2017-2018 Μια Ενοποιητική Προσέγγιση στην ΥΝ Η Θεωρία Πλεγμάτων στην ΥΝ. Υπολογιστικές Μεθοδολογίες

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

Κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs)

Κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs) Μη κατευθυνόµενα γραφήµατα Στοιχεία Θεωρίας Γραφηµάτων (1) Απλό µη κατευθυνόµενο γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E) µε σύνολο κορυφών/κόµβων V Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων,

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

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

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

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

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

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

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

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες

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

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

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

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

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

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

Ασκησεις Βασικης Αλγεβρας

Ασκησεις Βασικης Αλγεβρας Ασκησεις Βασικης Αλγεβρας Αποστολος Μπεληγιαννης Απόστολος Μπεληγιάννης Καθηγητής Τµήµα Μαθηµατικών Πανεπιστήµιο Ιωαννίνων Ασκήσεις Βασικής Αλγεβρας Ιωαννινα εκεµβριος 2015 Ασκήσεις Βασικής Αλγεβρας Συγγραφή

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

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

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

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

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

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

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

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

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

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

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

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

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

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

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

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

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα.

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα. Σύνοψη Προηγούµενου Κανονικές Γλώσσες (3) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς (Ντετερµινιστική) Κλειστότητα Κανονικών Γλωσσών ως προς Ενωση. Κατασκευή: DFA

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

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

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

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

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

το σύνολο των πολυωνυµικών συναρτήσεων βαθµού d στους φυσικούς και µε P= U P το σύνολο των πολυωνυµικών συναρτήσεων. Να εξετάσετε αν τα σύνολα P Θέµα ( ιαδικασίες Απαρίθµησης 0 µονάδες) (α) Μια συνάρτηση p : N N είναι πολυωνυµική βαθµού όταν υπάρχουν φυσικοί ( a a a ) τέτοιοι ώστε 0 l = 0 l p( n) = a l n για κάθε n N Συµβολίζουµε µε P το σύνολο

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

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή Κεφάλαιο 1 Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή 11 Συνοπτική Θεωρία Στην παρούσα ενότητα υπενθυµίζουµε εν συντοµία ϐασικές έννοιες και αποτελέσµατα αναφορικά µε : (α) τις σχέσεις µερικής διάταξης

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

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

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

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

Στοιχεία Θεωρίας Γραφηµάτων (1)

Στοιχεία Θεωρίας Γραφηµάτων (1) Στοιχεία Θεωρίας Γραφηµάτων (1) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Γραφηµάτων (1) 1 / 23 Μη κατευθυνόµενα γραφήµατα

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

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

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

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

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017

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

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

Η NTM αποδέχεται αν µονοπάτι στο δέντρο που οδηγεί σε αποδοχή.

Η NTM αποδέχεται αν µονοπάτι στο δέντρο που οδηγεί σε αποδοχή. Μη ντετερµινιστικές Μηχανές Turing - NTMs (1/6) Μηχανές Turing: Μη ντετερµινισµός, Επιλύσιµα Προβλήµατα Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 10 εκεµβρίου 2016

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

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

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

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

ιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι

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

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

Μη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα.

Μη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα. Κατευθυνόµενα γραφήµατα Απλό κατευθυνόµενο Γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E), µε: Στοιχεία Θεωρίας Γραφηµάτων (1) σύνολο κορυφών / κόµβων V, Ορέστης Τελέλης tllis@unipi.r Τµήµα Ψηφιακών Συστηµάτων,

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

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

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

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

Στοιχεία Θεωρίας Γραφηµάτων (4) - έντρα

Στοιχεία Θεωρίας Γραφηµάτων (4) - έντρα Στοιχεία Θεωρίας Γραφηµάτων (4) - έντρα Ορέστης Τελέλης tllis@unipi.r Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς έντρα 1 / 27 έντρα έντρο είναι απλό συνδεδεµένο µη

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

ΘΕΩΡΙΑ ΣΥΝΟΛΩΝ. x Σ και. x Σ και διαβάζουµε «το x δεν ανήκει στο Σ». ΕΙΣΑΓΩΓΗ :

ΘΕΩΡΙΑ ΣΥΝΟΛΩΝ. x Σ και. x Σ και διαβάζουµε «το x δεν ανήκει στο Σ». ΕΙΣΑΓΩΓΗ : ΕΙΣΑΓΩΓΗ : ΘΕΩΡΙΑ ΣΥΝΟΛΩΝ Η έννοια του συνόλου στα µαθηµατικά είναι έννοια πρωταρχική και έτσι δεν ορίζεται αυστηρά µαθηµατικά. Μπορούµε όµως επεξηγηµατικά αντί ορισµού να πούµε: Σύνολο, είναι µια συλλογή

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

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

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

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

Βασικές Προτάσεις. έντρα. υαδικά έντρα Αναζήτησης ( Α) Ισοζυγισµένα έντρα και Υψος. Κάθε δέντρο µε n κόµβους έχει n 1 ακµές.

Βασικές Προτάσεις. έντρα. υαδικά έντρα Αναζήτησης ( Α) Ισοζυγισµένα έντρα και Υψος. Κάθε δέντρο µε n κόµβους έχει n 1 ακµές. Βασικές Προτάσεις έντρα Ορέστης Τελέλης Κάθε δέντρο µε n κόµβους έχει n ακµές. ικαιολόγηση: Με επαγωγή στο πλήθος των κόµβων, n. έντρο µε k εσωτερικούς κόµβους και l ϕύλλα έχει n = k + l κόµβους. tllis@unipi.r

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

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

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

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

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος. Σύνοψη Προηγούµενου Κανονικές Γλώσσες () ιαδικαστικά του Μαθήµατος. Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Εισαγωγή: Υπολογισιµότητα και Πολυπλοκότητα. Βασικές

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

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

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

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

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

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n! Διακριτά Μαθηματικά Σύνοψη Θεωρίας Τυπολόγιο Αναστασία Κόλλια 20/11/2016 1 / 55 Κανόνες γινομένου και αθροίσματος Κανόνας αθροίσματος: Αν ένα γεγονός μπορεί να συμβεί κατά m τρόπους και ένα άλλο γεγονός

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

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

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

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

Στοιχεία Θεωρίας Γραφηµάτων (3)

Στοιχεία Θεωρίας Γραφηµάτων (3) Στοιχεία Θεωρίας Γραφηµάτων (3) Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Γραφηµάτων (3) 1 / 23 Απαρίθµηση Μονοπατιών Εστω

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

Απαρίθµηση Μονοπατιών. Στοιχεία Θεωρίας Γραφηµάτων (3) Μονοπάτια και Κυκλώµατα Euler. Ορέστης Τελέλης

Απαρίθµηση Μονοπατιών. Στοιχεία Θεωρίας Γραφηµάτων (3) Μονοπάτια και Κυκλώµατα Euler. Ορέστης Τελέλης Απαρίθµηση Μονοπατιών Εστω γράφηµα G(V, E) µε πίνακα γειτνίασης A Στοιχεία Θεωρίας Γραφηµάτων (3) Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς ως προς µια διάταξη των

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Φροντιστήριο #5 Λυμένες Ασκήσεις σε Σχέσεις 22/3/2018

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

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

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 4: Ισοδυναμία, διάταξη, άπειρα σύνολα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,

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

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

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

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

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

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

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

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

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

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

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης. Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό

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

Στοιχεία Θεωρίας Γραφηµάτων (2)

Στοιχεία Θεωρίας Γραφηµάτων (2) Στοιχεία Θεωρίας Γραφηµάτων (2) Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Γραφηµάτων (2) 1 / 21 Παράδειγµα (2) s t w x h g

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

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

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

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

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

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

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

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

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

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

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

i) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Άσκηση 1.9 (σελ. 17), από τις σημειώσεις του Σκανδάλη. Εστω A, B δεδομένα σύνολα. Θα χρησιμοποιήσουμε τα αξιώματα αλλά αναφερόμενοι, αποκλειστικά, είτε

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

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 1: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 1: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Εισαγωγικά (0.1) Σύνολα (0.2.1, 0.2.2) Συναρτήσεις & Σχέσεις (;;) (0.2.3) 1 Περιοχές που θα μελετήσουμε

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:

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

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

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ. Γνωριµία ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr Ωρες γραφείου (502, Γρ.Λαµπράκη 26): ευτέρα

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

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά

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

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

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

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

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

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 Γνωριµία ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις

Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού

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

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 13: Ελαχιστοποίηση αυτομάτων Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που

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

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

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

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

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

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

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

Πόσες από αυτές τις σκακιέρες είναι αλήθεια διαφορετικές;

Πόσες από αυτές τις σκακιέρες είναι αλήθεια διαφορετικές; Η ύλη συνοπτικά... Στοιχειώδης συνδυαστική Γεννήτριες συναρτήσεις Σχέσεις αναδρομής Θεωρία Μέτρησης Polyá Αρχή Εγκλεισμού - Αποκλεισμού Πόσες από αυτές τις σκακιέρες είναι αλήθεια διαφορετικές; Αυτές οι

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai208/lai208html Παρασκευή 2 Οκτωβρίου 208 Ασκηση Να γράψετε

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

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

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

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

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

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

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

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

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

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

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

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Μαθηµατική Επαγωγή Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Επαγωγή 1 / 20 Επιπλέον Ασκήσεις Για κάθε n 1: n i 2 = n(n + 1)(2n

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2): Αυτόµατα Στοίβας. Παραδείγµατα Σχεδιασµού CFG. Παράδειγµα 1.

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2): Αυτόµατα Στοίβας. Παραδείγµατα Σχεδιασµού CFG. Παράδειγµα 1. Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα 2): Αυτόµατα Στοίβας Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Μη Κανονικές Γλώσσες Το Λήµµα της Αντλησης για τις

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

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

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

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

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

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

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

Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α.

Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α. Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α. Δύο Π.Α. Μ 1 και Μ 2 είναι ισοδύναμα ανν L(M 1 ) = L(M 2 ). Έστω Μ = (Q, Σ, q 0, Δ, F) μη Αιτ. Π.Α. Για κάθε κατάσταση q Q, ορίζουμε ως Ε(q) Q το σύνολο των καταστάσεων

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

Παράδειγµα (4) Στοιχεία Θεωρίας Γραφηµάτων (2) Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς. v 2. u 3.

Παράδειγµα (4) Στοιχεία Θεωρίας Γραφηµάτων (2) Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς. v 2. u 3. Παράδειγµα (2) s t Στοιχεία Θεωρίας Γραφηµάτων (2) w x Ορέστης Τελέλης z y tllis@unipi.r v u Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Τα δύο γραφήµατα δεν είναι ισόµορφα. Ο κόµβος (αριστερά) είναι

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

ιµελής σχέση 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

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Την προηγούµενη φορά. Αντισυµµετρικότητα. 13 Σχέσεις

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

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

Περιεχόμενα Τι περιγράφει ένα ΣΔ ΣΔ και παραγωγές Θεωρία Υπολογισμού Ενότητα 15: Συντακτικά Δέντρα Επ. Καθ. Π. Κατσαρός Τμήμα Πληροφορικής Επ. Καθ. Π.

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

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

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

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό 81 3.2 Το θεώρημα Tychooff. Στην παράγραφο αυτή θα ασχοληθούμε με το θεώρημα Tychooff, δηλαδή ότι ένα αυθαίρετο καρτεσιανό γινόμενο συμπαγών χώρων είναι, με την τοπολογία γινόμενο, συμπαγής χώρος. Το θεώρημα

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

Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών

Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών Συμβολισμοί Σε αναλογία με τους ορισμούς συμβολίζουμε μια ακολουθία: 1 είτε μέσω του διανυσματικού ορισμού, παραθέτοντας αναγκαστικά

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

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σύνθεση σχέσεων Σχέσεις

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Σύνθεση σχέσεων Σχέσεις HY118- ιακριτά Μαθηµατικά Παρασκευή, 01/04/2016 Σχέσεις Αντώνης Α. Αργυρός -mil: rgyros@s.uo.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Ks vn Dmtr, από το Univrsity of Arn 4/3/2016 1 4/3/2016

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

5.1 ΣΥΝΟΛΑ. 2. Παράσταση συνόλου. 3. Εποπτική παράσταση συνόλου : Γίνεται µε το διάγραµµα Venn, δηλαδή µε

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

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

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Διακριτά Μαθηματικά Ι Ενότητα 4: Θεωρία Μέτρησης Po lya Μέρος 1 Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

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

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

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

ΚΕΦΑΛΑΙΟ 4 Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ

ΚΕΦΑΛΑΙΟ 4 Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ 50 ΚΕΦΑΛΑΙΟ Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ Εισαγωγή. Η αρχή του εγκλεισμού αποκλεισμού είναι ένα ισχυρό μέσο απαρίθμησης με το οποίο υπολογίζεται ο αριθμός των στοιχείων της ένωσης και της τομής των συμπληρωμάτων

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

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

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

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