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

Το βιβλίο αυτό αποτελεί φυσικό επακόλουθο πολλών συναντήσεων και ακόμη περισσότερων συζητήσεων για τα Μαθηματικά γενικότερα και τα Διακριτά Μαθηματικά ειδικότερα. Συγκεκριμένα, οι προτάσεις τόσο της Ένωσης Υπολογιστών του Ινστιτούτου Ηλεκτρολόγων και Ηλεκτρονικών Μηχανικών (Institute of Electrical and Electronics Engineers, Computer Society – IEEE-CS) όσο και της Ένωσης Μηχανικών Υπολογιστών (Association for Computing Machinery – ACM) συγκαταλέγουν τα Διακριτά Μαθηματικά στο σύνολο των βασικών γνώσεων που πρέπει να κατέχει ένας φοιτητής της Επιστήμης Υπολογιστών.

Η ανάπτυξη του υλικού σε κάθε κεφάλαιο του βιβλίου συνοδεύεται από τμήματα κώδικα στο σύγχρονο υπολογιστικό περιβάλλον SageMath, που αποτελεί ελεύθερο ανοιχτού κώδικα σύστημα λογισμικού για την εκτέλεση συμβολικών, αλγεβρικών και αριθμητικών υπολογισμών. Με τον τρόπο αυτό, θέλουμε να ενισχύσουμε τη διδασκαλία των βασικών εννοιών των Διακριτών Μαθηματικών και να βοηθήσουμε στην εμπέδωσή τους με έναν βιωματικό τρόπο –ζητώντας, για παράδειγμα, τη δημιουργία και εμφάνιση ακεραίων της τάξης των 1024 bit.

Βασική προϋπόθεση για τον αναγνώστη του βιβλίου αποτελεί ένα καλό επίπεδο στην Άλγεβρα, γεγονός που το καθιστά κατάλληλο για φοιτητές Τμημάτων Πληροφορικής ή Μηχανικών. Άλλωστε, οι απορίες των φοιτητών, τα σχόλια και οι προβληματισμοί τους αποτέλεσαν πολύτιμο υλικό για τη σχεδίαση, τη δόμηση και την ανάπτυξη του περιεχομένου.

Περιέχει: Πρόλογος - Μαθηματικοί Τύποι Δεδομένων - Λογική - Μέθοδοι Απόδειξης - Απαριθμητική Συνδυαστική - Πιθανότητες - Σχέσεις-Πράξεις-Δομές - Θεωρία Αριθμών-Κυκλικές Ομάδες και Εφαρμογές - Πεπερασμένα Σώματα - Ασυμπτωτική Ανάλυση Αλγορίθμων - SageMath - Βιβλιογραφία - Ευρετήριο