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