Buku teks ini menyajikan konsep-konsep esensial aljabar linear yang memiliki kegunaan langsung dalam analisis himpunan data berskala besar (large data sets). Berbeda dengan pendekatan tradisional yang berfokus pada sistem linear kecil dan determinan, materi di dalam buku ini dialihkan untuk kebutuhan sains data modern. Pembahasan berfokus pada deskripsi data yang efisien menggunakan kombinasi l…
Ditulis oleh matematikawan legendaris Michael Spivak, buku tipis ini dirancang sebagai panduan santai namun bermakna untuk mendampingi buku teks kalkulus utama di perguruan tinggi. Materi di dalamnya mengulas konsep kemiringan garis, fungsi nonlinear, interpretasi fisis kecepatan, turunan fungsi trigonometri (sinus), teorema nilai rata-rata (MVT), teorema Rolle, hingga landasan Teorema Dasar Ka…
Buku referensi ini digunakan sebagai diktat utama untuk mata kuliah ilmu komputer teoretis tingkat lanjut di Harvard University dan MIT. Penulis mengambil pendekatan modern dengan mendefinisikan komputer sebagai fungsi matematika, bukan perangkat fisik. Cakupan materi meliputi Mesin Turing, pembuktian teori P vs NP, sirkuit Boolean, batasan komputasi tidak terputuskan (uncomputability), dasar-d…
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) Teor…
Buku referensi pengantar ini dikembangkan dan digunakan secara resmi untuk mata kuliah Honors Computer Science I di University of Nebraska–Lincoln. Dirancang untuk menegaskan prinsip bahwa "Ilmu Komputer bukan sekadar pemrograman biasa", materi di dalamnya mencakup dasar pemecahan masalah, struktur kontrol, fungsi, tipe data dasar, larik (arrays), hingga manajemen memori dasar. Teks digital l…
Bahan ajar tingkat lanjut ini dirancang untuk membekali mahasiswa pascasarjana ilmu komputer dengan fondasi logika formal yang kuat. Fokus utama materi ini adalah menjembatani teori logika murni dengan aplikasi praktis dalam komputasi, seperti spesifikasi formal perangkat lunak, verifikasi program, dan penalaran otomatis (automated reasoning). Dokumen digitalnya didistribusikan secara terbuka u…
Dokumen ajar ini dirancang untuk memberikan landasan teoretis dan praktis yang kuat bagi mahasiswa tahun pertama di bidang teknologi informasi. Pembahasan dimulai dari pemetaan fungsi komponen utama (unit masukan, unit keluaran, unit penyimpanan, dan CPU). Selanjutnya, buku ini mengupas sistem bilangan (biner, oktal, heksadesimal) dan dasar logika sirkuit digital. Pada bagian akhir, pembaca dib…
Buku referensi ini disusun untuk membantu mahasiswa, peneliti, dan praktisi teknologi memahami ekosistem Python dalam konteks ilmu data secara komprehensif. Materi di dalamnya dirancang secara aplikatif, menjembatani teori statistika komputasi dengan contoh pengodean langsung. Dokumen buku ini telah dipublikasikan secara terbuka melalui platform repositori penerbit Repository Media Penerbit Ind…
Buku ajar ini dirancang untuk membekali mahasiswa dan praktisi teknologi informasi dengan pemahaman holistik mengenai pemanfaatan data bervolume besar. Pembahasan di dalamnya mencakup karakteristik dasar Big Data, arsitektur penyimpanan data modern, serta implementasi algoritma analitik prediktif seperti analisis regresi, pemodelan deret waktu (time series), dan teknik machine learning dasar. M…
: Buku referensi ini ditujukan untuk mahasiswa, peneliti, maupun praktisi awam yang ingin terjun ke dunia sains data tanpa latar belakang pemrograman yang kuat. Pembahasan di dalamnya disusun runut mulai dari eksplorasi data, statistika dasar, hingga pengenalan algoritma populer seperti Linear Regression, Decision Trees, Support Vector Machines, dan Neural Networks. Buku versi digitalnya telah …