ΓραμματείαSecretariat: 2410 684574 | ΦοιτητικάStudents: 2410 684387 g-ds@uth.gr
Επιλογή Σελίδας

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

Κωδικός Μαθήματος

Υ201

Εξάμηνο Σπουδών

2 (Β)

Ώρες/Εβδομάδα - ECTS

5 – 5

Μαθησιακά Αποτελέσματα

Το μάθημα αποτελεί την βασική εισαγωγική στις έννοιες των διακριτών μαθηματικών αντικειμένων και των σχέσεων μεταξύ τους. Ή ύλη του μαθήματος στοχεύει στην εισαγωγή των σπουδαστών στις βασικές έννοιες των μαθηματικών δομών που είναι θεμελιωδώς διακριτές. Τα αντικείμενα που μελετώνται στα διακριτά μαθηματικά – όπως οι ακέραιοι, τα γραφήματα, οι προτάσεις της λογικής, αναδρομικές σχέσεις – αποτελούν την βάση για την μελέτη και περιγραφή αντικειμένων και προβλημάτων στην επιστήμη των υπολογιστών και συγκεκριμένα στους υπολογιστικούς αλγόριθμους, στις γλώσσες προγραμματισμού, στην κρυπτογραφία, στην αυτοματοποιημένη απόδειξη θεωρημάτων και στην ανάπτυξη λογισμικού.
Με την επιτυχή ολοκλήρωση του μαθήματος ο φοιτητής/-τρια:
  • θα έχει κατανοήσει τις βασικές έννοιες των διακριτών μαθηματικών,
  • θα έχει γνώση των μεθόδων και τεχνικών της Λογικής, της Απόδειξης, της Αρίθμησης, των Σχέσεων και των Γραφημάτων, και θα είναι σε θέση να τις εφαρμόσει για την επίλυση αλγοριθμικών προβλημάτων,
  • θα έχει μάθει να αναπτύσσει μαθηματικούς συλλογισμούς,
  • θα έχει μάθει να εξάγει μαθηματικά συμπεράσματα.

Ενδεικτικό Περιεχόμενο Μαθήματος

  • Εισαγωγή στη θεωρία συνόλων, πράξεις συνόλων, πεπερασμένα και άπειρα σύνολα.
  • Εισαγωγή στη λογική και στις αποδείξεις, μαθηματική επαγωγή. προτασιακός λογισμός.
  • Σχέσεις και συναρτήσεις, ιδιότητες διμελών σχέσεων, σχέσεις ισοδυναμίας, διάταξης και μερικής διάταξης.
  • Τυπικές γλώσσες, γραμματικές, μηχανές πεπερασμένων καταστάσεων, αναγνώριση γλωσσών.
  • Εισαγωγή στη θεωρία γραφημάτων, επίπεδα, βεβαρημένα και κατευθυνόμενα γραφήματα, μονοπάτια, κυκλώματα.
  • Mονοπάτια και κυκλώματα Euler, μονοπάτια και κυκλώματα Hamilton, το πρόβλημα του περιοδεύοντος πωλητή.
  • Δένδρα, επικαλύπτοντα δένδρα, δυαδικά δένδρα, αλγόριθμοι δένδρων και γράφων.
  • Άλγεβρα Boole, ελαχιστοποίηση κυκλωμάτων.
  • Αλγόριθμοι και εισαγωγή στην πολυπλοκότητα, διακριτές αριθμητικές συναρτήσεις, γεννήτριες συναρτήσεις.