Τμημα Πληροφορικης Πανεπιστημιου Ιωαννινων

ΜΥΥ204 : Διακριτά Μαθηματικά Ι

Ακαδημαϊκό Έτος 2017 -- 2018

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

Γενικές Πληροφορίες

Διδάσκων: Σπύρος Κοντογιάννης
Email -- URL -- Voice:   --  http://www.cse.uoi.gr/~kontog/  --  (26510) 08812
URL Μαθήματος: http://www.cse.uoi.gr/~kontog/courses/Discrete-Math-1/
Ώρες Διαλέξεων: Κάθε Τετάρτη (16:00--19:00) και κάθε Παρασκευή (09:00--11:00)
Χώρος Διαλέξεων: ΑΙΘΟΥΣΑ Ι5 ΜΗΥΠ (κάθε Τετάρτη), και ΑΜΦΙΘΕΑΤΡΟ ΜΗΥΠ (κάθε Παρασκευή)
Ώρες Επικοινωνίας:

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

Περιγραφή

Τα Διακριτά Μαθηματικά Ι αφορούν τη μελέτη διεργασιών που απαρτίζονται από ΞΕΧΩΡΙΣΤΑ (διακεκριμένα, ή διακριτά) βήματα. Θα εξετάσουμε βασικές τεχνικές που χρησιμοποιούμε για τη μελέτη και απαρίθμηση συλλογών από διακριτές οντότητες (πχ, το σύνολο των ακεραίων, το σύνολο των τοποθετήσεων αντικειμένων σε υποδοχές, το σύνολο των αποτελεσμάτων της ρίψης δυο όμοιων ζαριών,...). Στην Επιστήμη των Υπολογιστών τα διακριτά αντικείμενα αναπαριστώνται πολύ πιο εύκολα, και συνήθως οι αλγόριθμοι που κατασκευάζουμε αφορούν τη διαχείριση διακριτών οντοτήτων (δομών δεδομένων, ακεραίων αριθμών, αριθμών πεπερασμένης ακρίβειας, κ.λπ). Για το λόγο αυτό το μάθημα των Διακριτών Μαθηματικών αποτελεί τη βάση για όλα σχεδόν τα μαθήματα θεωρητικής κατεύθυνσης του Τμήματος, με εφαρμογές που αρχίζουν από την Σχεδίαση και Ανάλυση Αλγορίθμων, μέχρι τις Βάσεις Δεδομένων, τα Γραφικά, την Κρυπτογραφία, κ.λπ.

Ειδικότερα, θα εξετάσουμε σύνολα, λογικές προτάσεις, τη μέθοδο της επαγωγής, διμελείς σχέσεις, συναρτήσεις, μεταθέσεις και συνδυασμούς αντικειμένων, διακριτή και δεσμευμένη πιθανότητα, αριθμητικές συναρτήσεις και την ασυμπτωτική τους συμπεριφορά, γεννήτριες συναρτήσεις και αναδρομικές σχέσεις, εισαγωγικές έννοιες στα γραφήματα, μορφισμοί γραφημάτων, τρόποι αναπαράστασης γραφημάτων,  δένδρα, κυκλώματα / διαδρομές Euler και κύκλους / μονοπάτια Hamilton σε γραφήματα.

Αξιολόγηση του Μαθήματος

ΤΕΛΙΚΟΣ ΒΑΘΜΟΣ = ΒΓΕ + 0.2 * ΒΠ * δ(ΒΓΕ >= 3.5)

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

 

Ανακοινώσεις

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

 

Ημερολόγιο Μαθήματος

Διδακτική  Εβδομάδα Ημερομηνίες Διδασκαλίας Ύλη Εβδομάδας Συνοδευτικό Υλικό
Περιοχη Περιορισμενης Προσβασης
Διαφάνειες
password protected
Σημειώσεις & Αναθέσεις για το σπίτι
password protected
1η 14/02 Εισαγωγικά
Προτασιακή Λογική
--
Εκφράσεις, Τύποι, Δενδροδιαγράμματα, Αποτιμήσεις, Πίνακες Αλήθειας
-- Ικανοποιησιμότητα, Ταυτολογίες, Αντιφάσεις, Ταυτολογική Συνεπαγωγή & Ισοδυναμία
Εισαγωγικά
[εκτύπωση | ανάγνωση]
 
2η 23/02 Προτασιακή Λογική
--
Νόμοι της Προτασιακής Λογικής
-- Κανονική Διαζευκτική Μορφή
-- Πληρότητα Συνόλων Συνδέσμων

Διαφάνειες
Προτασιακής Λογικής

[εκτύπωση | ανάγνωση]

Σημειώσεις
Προτασιακής Λογικής

[εκτύπωση | ανάγνωση]

3η 28/02--02/03 Αποδεικτικές Τεχνικές
-- Συντακτική Προσέγγιση ΠΛ: Αξιωματικά Συστήματα, Τυπικές αποδείξεις
-- Μεταθεωρήματα Απαγωγής, Αντιθετοαναστροφής, Απαγωγής σε Άτοπο
-- Εγκυρότητα-Πληρότητα, Συμπάγεια.
Μαθηματική Επαγωγή
Διαφάνειες
Αποδεικτικών Τεχνικών

[εκτύπωση | ανάγνωση]
Διαφάνειες
Μαθηματικής Επαγωγής

[εκτύπωση | ανάγνωση]
4η 07/03--09/03 Εισαγωγή Στη Θεωρία Συνόλων
-- Σύνολα, Υποσύνολα
-- Πράξεις Συνόλων
-- Ταυτότητες Πράξεων σε Σύνολα
-- Ιδιότητες Πληθαρίθμων
-- Αρχή Εγκλεισμού-Αποκλεισμού
Διαφάνειες
Θεωρίας Συνόλων

[εκτύπωση | ανάγνωση]
 
5η 14/03--16/03 Άλγεβρες Boole
Παράδοξα Θεωρίας Συνόλων
--
Παράδοξο του Russell
-- Αδυναμία Ελέγχου Τερματισμού Προγραμμάτων
Διαφάνειες
Άλγεβρες Boole
Παράδοξα Θεωρίας Συνόλων

[εκτύπωση | ανάγνωση]
 
6η 21/03--23/03 Σχέσεις & Συνάρτήσεις
--
Ιδιότητες Σχέσεων
-- Σχέσεις Ισοδυναμίας και Διατάξεις
-- Πράξεις Σχέσεων
-- Αρχή Περιστερώνα
-- Ακρότατα και Φράγματα
Διαφάνειες
Σχέσεις & Συναρτήσεις

[εκτύπωση | ανάγνωση]
 
7η 28/03--30/03 Πληθικότητα Συνόλων
--
Άπειρα και Πεπερασμένα Σύνολα
-- Αριθμησιμότητα / Μη Αριθμησιμότητα Συνόλων
Διαφάνειες
Αριθμησιμότητα Συνόλων

[εκτύπωση | ανάγνωση]
 
  18/04--20/04 ΟΙ ΔΙΑΛΕΞΕΙΣ ΤΗΣ ΕΒΔΟΜΑΔΑΣ ΑΥΤΗΣ ΔΕ ΘΑ ΓΙΝΟΥΝ, ΛΟΓΩ ΑΠΟΥΣΙΑΣ ΤΟΥ ΔΙΔΑΣΚΟΝΤΑ    
8η 25/04-27/04

25/04: Επανάληψη Ύλης και Επίλυση Ασκήσεων

27/04: ΔΙΕΞΑΓΩΓΗ ΕΝΔΙΑΜΕΣΗΣ ΠΡΟΟΔΟΥ ΠΡΟΟΔΟΥ (09:00-11:00)

   
9η 02/05--04/05 Ακολουθίες και Αθροίσματα    
10η 12/5/2015 Συνδυαστική
-- Κανόνες Αθροίσματος & Γινομένου
-- Μεταθέσεις και Διατάξεις
-- Διατάξεις Ομάδων Αντικειμένων
Διαφάνειες
Συνδυαστικής

[εκτύπωση | ανάγνωση]
Επαναληπτικές Ασκήσεις Συνδυαστικής
[ανάγνωση]
11η 09/05--11/05 Συνδυαστική
-- Ρίψη Σφαιριδίων σε Υποδοχές
-- Επιλογές με/χωρίς Επανάληψη
12η 16/05--18/05 Συνδυαστική
-- Διωνυμικοί Συντελεστές & Τύπος του Pascal
-- Διωνυμικό Θεώρημα
13η 23/05--25/05 Διακριτή Πιθανότητα
--
Διακριτή Συνάρτηση Πιθανότητας
-- Δείγματα και Γεγονότα
-- Αναμενόμενη Τιμή Πειράματος με Αριθμητικές Τιμές
-- Παράδοξο των Γενεθλίων
Διαφάνειες
Διακριτής Πιθανότητας

[εκτύπωση | ανάγνωση]
 
 
14η 30/05 Διακριτή Πιθανότητα
--
Μέθοδος Monte Carlo
-- Πιθανοτική Μέθοδος
-- Δεσμευμένη Πιθανότητα
-- Θεώρημα του
Bayes
---- 11/06 ΕΞΕΤΑΣΗ ΜΑΘΗΜΑΤΟΣ:
-- Ώρα:
-- Αίθουσα: Ι5, ΑΜΦ-ΜΗΥΠ, ΑΜΦ-ΧΗΜ
 

-- Κανονισμός εξέτασης:

  • Οι διδακτικές σημειώσεις και τα βιβλία θα είναι κλειστά.
  • Απαγορεύεται η χρήση όλων των ηλεκτρονικών συσκευών (π.χ., κινητά), για οποιονδήποτε λόγο. Οποιασδήποτε μορφής χρήση τους επιφέρει μηδενισμό του γραπτού.
  • Επιτρέπεται μόνο η χρήση αριθμομηχανής, εφόσον αυτό κρίνεται απαραίτητο.
  • Θα διατεθεί από τον διδάσκοντα τυπολόγιο, κατά την έναρξη της εξέτασης, μαζί με τα θέματα.

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

 

Χρήσιμο Υλικό

Βιβλιογραφία Μαθήματος

Τα βασικά εγχειρίδια του μαθήματος είναι:

Τα ακόλουθα βιβλία είναι επίσης πολύ χρήσιμες αναφορές για το μάθημα:

 

Ενδεικτικές Λύσεις Αναθέσεων Εργασιών για το Σπίτι (για αναφορά πιθανών λαθών παρακαλείστε να επικοινωνήσετε με τον διδάσκοντα):

 

Ενδεικτικές Λύσεις Προόδων / Εξετάσεων (για αναφορά πιθανών λαθών παρακαλείστε να επικοινωνήσετε με τον διδάσκοντα):

 

[Γενικές Πληροφορίες][Περιγραφή][Ανακοινώσεις][Ημερολόγιο][Χρήσιμο Υλικό]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Δημιουργία και συντήρηση σελίδας μαθήματος: Σπύρος Κοντογιάννης. Ημερομηνία τελευταίας αλλαγής: 01/06/2018.