Αρχική Σελίδα:

Καλώς ορίσατε στην ιστοσελίδα του μαθήματος HMY 311 - Διακριτή Ανάλυση και Δομές. Το μάθημα αυτό προσφέρεται από το Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστημίου Κύπρου το χειμερινό εξάμηνο στους φοιτητές του τρίτου έτους οι οποίοι έχουν επιλέξει ως κατεύθυνση τη μηχανική υπολογιστών. .

Κατά την ακαδημαϊκή χρονιά 2011-2012 το μάθημα θα διδάσκεται από τον Δρ. Χριστόφορο Χ΄΄Κωστή.
Η διδασκαλία του μαθήματος θα γίνει μέσω μιας σειράς διαλέξεων και φροντιστηρίων. 

Οι διαλέξεις θα γίνονται:
κάθε Δευτέρα και Πέμπτη 15:00 – 16:30 στο κτίριο ΧΩΔ01-104.

Τα φροντιστήρια θα γίνονται από τον βοηθό μαθήματος Χριστόφορο Κέρογλου:

Την Τετάρτη 10.00-11.00 πμ, Λατσιά ΛΑ122 (ίσως αλλάξει ώρα και αίθουσα).

Οι κυριότεροι στόχοι του μαθήματος αυτού είναι:

• Η ανάπτυξη του μαθηματικού τρόπου σκέψης του φοιτητή.
  
• Η κατανόηση, εκ μέρους του φοιτητή, βασικών εννοιών (όπως λογική, σύνολα, σχέσεις, συναρτήσεις κτλ.) και τεχνικών των διακριτών μεθόδων και της συνδυαστικής και η εφαρμογή τους στην επίλυση συγκεκριμένων προβλημάτων της επιστήμης των υπολογιστών.
• Η απόκτηση, εκ μέρους του φοιτητή, κατάλληλης μαθηματικής υποδομής έτσι ώστε να μπορεί, μεταξύ άλλων, να σχεδιάζει, ευκολότερα, ένα αποδοτικό αλγόριθμο για την επίλυση κάποιου προβλήματος, να υπολογίζει την πολυπλοκότητα ενός αλγόριθμου και να αποδεικνύει την ορθότητα του. Οι γνώσεις που θα αποκτήσει ένας φοιτητής σε αυτό το μάθημα θα τον βοηθήσουν επίσης να αναπτύσσει αποδοτικότερα προγράμματα.
• Ένας ακόμα στόχος του μαθήματος είναι η παρουσίαση βασικών θεμάτων των Διακριτών Μαθηματικών τα οποία βρίσκουν πολλές και συγκεκριμένες εφαρμογές στην επιστήμη των υπολογιστών. Τέτοια θέματα απορρέουν κυρίως από την θεωρεία γραφημάτων. Στο μάθημα αυτό θα μελετήσουμε βασικές έννοιες σε γραφήματα καθώς επίσης και μερικά βασικά προβλήματα σε γραφήματα τα οποία έχουν πληθώρα εφαρμογών. Θα μελετήσουμε επίσης και συγκεκριμένες οικογένειες γραφημάτων και θα δούμε πως οι ιδιότητες και τα χαρακτηριστικά τους μας βοηθούν να λύσουμε βέλτιστα και αποδοτικά προβλήματα που στην γενική περίπτωση είναι υπολογιστικά δύσκολα. Παραδείγματα προβλημάτων που θα μελετήσουμε είναι: το πρόβλημα της εύρεσης του συντομότερου μονοπατιού και το πρόβλημα της ελάχιστης τομής σε γραφήματα , τα οποίο έχουν εφαρμογές, μεταξύ άλλων, στον αυτοματισμό του φυσικού σχεδιασμού VLSI κυκλωμάτων.