Electronic Resource
e-Book - Mathematics for Computer Science
Buku teks legendaris ini menjabarkan fondasi matematika yang melandasi seluruh ilmu komputer dan rekayasa perangkat lunak. Materi di dalamnya terbagi ke dalam tiga pilar utama: (1) Konsep dasar pembuktian matematika formal, logika proposisi, induksi, dan rekursi; (2) Struktur diskret yang mencakup teori graf, mesin keadaan (state machines), dan teori bilangan modular untuk kriptografi; (3) Teori probabilitas diskret serta variabel acak. Buku ini sangat populer karena mengajarkan mahasiswa cara berpikir logis dan membuktikan kebenaran sebuah algoritma secara matematis. Versi digital penuhnya didistribusikan secara gratis untuk edukasi melalui MIT OpenCourseWare
Tidak tersedia versi lain