Matematika diskrit mendasari semua ilmu komputer. Buku-buku ini mencakup topik-topik penting: logika, teknik pembuktian, teori himpunan, kombinatorika, teori graf, dan teori bilangan.
Buku Teks Matematika Diskrit Dasar
Buku teks matematika diskrit standar untuk mahasiswa sarjana.
| Buku | Penulis | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Matematika Diskrit dan Aplikasinya Edisi ke-8, McGraw-Hill | Kenneth H. Rosen | 2019 | Beginner-Intermediate | Buku teks matematika diskrit yang paling banyak diadopsi. Cakupan yang jelas tentang logika, bukti, himpunan, kombinatorika, graf, dan teori bilangan. |
| Matematika Diskrit dengan Aplikasi Edisi ke-5, Cengage | Susanna S. Epp | 2019 | Beginner-Intermediate | Istimewa dalam mengajarkan penalaran matematis dan bukti. Teks terbaik untuk mahasiswa yang baru mengenal matematika formal. |
| Matematika Diskrit: Sebuah Pengantar Terbuka Edisi ke-3, Buku Teks Terbuka | Oscar Levin | 2019 | Beginner | Buku teks terbuka gratis yang mencakup kurikulum matematika diskrit standar. |
Kombinatorika
Enumerasi, permutasi, kombinasi, dan struktur kombinatorial.
| Buku | Penulis | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Jelajah Kombinatorika Edisi ke-4, World Scientific | Miklós Bóna | 2016 | Intermediate-Advanced | Pengantar yang menarik untuk kombinatorika dengan keseimbangan yang sangat baik antara kedalaman dan aksesibilitas. |
| Kombinatorika Enumeratif, Jilid 1 & 2 Cambridge University Press | Richard P. Stanley | 2012, 1999 | Advanced | Referensi definitif tingkat lanjut tentang kombinatorika enumeratif. |
| Kombinatorika: Topik, Teknik, Algoritma Cambridge University Press | Peter J. Cameron | 1994 | Advanced | Survei luas topik kombinatorial dengan nuansa algoritmik. |
Teori Graf
Teori dan aplikasi graf.
| Buku | Penulis | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Pengantar Teori Graf Edisi ke-2, Pearson | Douglas B. West | 2001 | Intermediate-Advanced | Buku teks teori graf standar dengan bukti yang ketat dan cakupan yang komprehensif. |
| Teori Graf Edisi ke-5, Springer | Reinhard Diestel | 2017 | Advanced | Buku teks teori graf tingkat pascasarjana yang mencakup hasil klasik dan modern. Tersedia secara gratis secara online melalui situs web penulis. |
| Graf dan Digraf Edisi ke-6, CRC Press | Gary Chartrand, Linda Lesniak, Ping Zhang | 2015 | Intermediate | Buku teks teori graf yang dapat diakses dengan contoh dan latihan yang luas. |
Logika dan Bukti
Logika matematis, teknik pembuktian, dan pembuktian teorema.
| Buku | Penulis | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Bagaimana Membuktikannya Edisi ke-3, Cambridge University Press | Daniel J. Velleman | 2019 | Beginner-Intermediate | Pengantar terbaik untuk menulis bukti matematis. Penting bagi mahasiswa CS yang beralih ke kursus teoretis. |
| Logika Matematis Edisi ke-2, Springer | H.-D. Ebbinghaus, J. Flum, W. Thomas | 1994 | Advanced | Pengantar yang ketat untuk logika matematis termasuk kelengkapan dan teorema Gödel. |
| Pengantar Matematis untuk Logika Edisi ke-2, Academic Press | Herbert B. Enderton | 2001 | Advanced | Buku teks logika standar yang digunakan di departemen matematika. |
Teori Bilangan dan Aplikasi
Teori bilangan klasik dan modern dengan aplikasi CS.
| Buku | Penulis | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Matematika Konkret Edisi ke-2, Addison-Wesley | Ronald L. Graham, Donald E. Knuth, Oren Patashnik | 1994 | Advanced | Campuran unik Knuth dari matematika kontinu dan diskrit. Penting untuk analisis algoritma. |
| Sebuah Pengantar ke Teori Bilangan Edisi ke-6, Oxford | G.H. Hardy, E.M. Wright | 2008 | Advanced | Buku teks teori bilangan klasik oleh dua matematikawan hebat abad ke-20. |
| Kursus dalam Teori Bilangan dan Kriptografi Edisi ke-2, Springer | Neal Koblitz | 1994 | Advanced | Teori bilangan yang dimotivasi oleh aplikasi kriptografi, cocok untuk mahasiswa CS. |