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