Peta sumber terbuka • Bahasa Indonesia
Belajar, mengajar, dan merakit ulang satu program.
Pilih sudut pandang yang Anda perlukan. Setiap mata kuliah tetap memakai sumber kanonisnya sendiri; halaman ini hanya menyatukan jalur, bukti, bahan, dan tautannya tanpa menyalin isi buku.
Status edisi di bawah berasal dari snapshot sumber 1 September 2026, bukan daftar pekerjaan terjemahan hari ini. Untuk edisi terbaru, ikuti tautan rilis setiap kursus. Status adapter pusat diperbarui terpisah pada 6 September 2026.
Pilih kebutuhan
Buka edisi, lihat prasyarat, dan temukan format daring atau luring yang benar-benar tersedia.
Katalog kerja
Empat puluh mata kuliah, satu peta yang dapat disaring.
40 mata kuliah tersedia. Saringan diaktifkan setelah data dimuat.
Praaljabar dan Fondasi Kuantitatif
Fondasi & Kalkulus
Mengolah representasi numerik dengan andal dan mengenali apakah kesalahan berikutnya bersifat aritmetis atau konseptual.
Prasyarattidak ada
Aljabar Dasar
Fondasi & Kalkulus
Menerjemahkan hubungan kuantitatif ke bentuk aljabar dan menyelesaikannya dengan langkah yang dapat dijelaskan.
PrasyaratA00
Aljabar Menengah
Fondasi & Kalkulus
Memasuki prakalkulus dengan kefasihan simbolik dan pemahaman fungsi yang stabil.
PrasyaratA10
Prakalkulus dan Trigonometri
Fondasi & Kalkulus
Memodelkan dengan fungsi elementer dan memulai kalkulus tanpa menyembunyikan kebutuhan perbaikan aljabar.
PrasyaratA20
Pembuktian, Logika, dan Struktur Diskrit
Diskrit & Logika
Membaca, menyusun, dan mengkritik bukti elementer sebelum memasuki teori tingkat lanjut.
PrasyaratA30
Kalkulus Diferensial
Fondasi & Kalkulus
Menggunakan turunan secara komputasional dan konseptual serta menjelaskan hipotesis yang dipakai.
PrasyaratA30
Kalkulus Integral
Fondasi & Kalkulus
Memilih dan membenarkan metode integral atau deret serta menghubungkan akumulasi dengan laju lokal.
PrasyaratB20
Aljabar Linear
Aljabar
Berpindah dengan lancar antara perhitungan, struktur, dan pembuktian dalam matematika berdimensi hingga.
PrasyaratA30, B10
Kalkulus Multivariabel
Fondasi & Kalkulus
Menganalisis fungsi skalar multivariabel dan menghubungkan linearisasi lokal dengan geometri.
PrasyaratB30, B40
Kalkulus Vektor
Fondasi & Kalkulus
Menafsirkan teorema integral utama yang menghubungkan struktur diferensial lokal dengan besaran global.
PrasyaratB50
Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
Fondasi & Kalkulus
Merumuskan, menganalisis, mendekati, dan mengomunikasikan solusi model PDB standar.
PrasyaratB30, B40
Komputasi Matematis dan Eksperimen Reprodusibel
Komputasi & Optimisasi
Menerapkan objek dan eksperimen matematis sambil membedakan komputasi, bukti pendukung, dan pembuktian.
PrasyaratA30
Probabilitas Berbasis Kalkulus
Peluang & Statistika
Membangun dan menganalisis model peluang serta menghubungkan hasil analitik dengan simulasi.
PrasyaratB30
Statistika Terapan dan Analisis Data
Peluang & Statistika
Mengkritik proses pembentukan data dan melakukan analisis statistik awal secara transparan.
PrasyaratA30, B90
Analisis Real I
Analisis
Mengendalikan kuantor dan menyusun argumen rigor tentang limit, kontinuitas, turunan, dan integral.
PrasyaratB10, B30
Analisis Real II
Analisis
Bekerja fasih dengan abstraksi ruang metrik dan bukti analitik multivariabel.
PrasyaratC10, B50
Aljabar Abstrak I
Aljabar
Bernalar secara struktural dengan objek aljabar dan membuktikan hasil dari aksioma.
PrasyaratB10, B40
Aljabar Abstrak II
Aljabar
Menggunakan struktur aljabar untuk menganalisis persamaan, faktorisasi, dan perluasan medan.
PrasyaratC30
Analisis Kompleks
Analisis
Membaca dan menghasilkan pembuktian analisis kompleks pada tingkat masuk pascasarjana.
PrasyaratC20
Teori Bilangan dan Kriptologi
Diskrit & Logika
Membuktikan hasil teori bilangan elementer dan menganalisis asumsi matematika di balik kriptosistem dasar.
PrasyaratB10, C30
Kombinatorika Terapan
Diskrit & Logika
Memilih dan membenarkan model serta teknik pembuktian kombinatorial untuk berbagai masalah diskrit.
PrasyaratB10
Logika Matematis, Teori Himpunan, dan Komputabilitas
Diskrit & Logika
Memahami batas formal dan kerangka fondasional dalam praktik matematika biasa.
PrasyaratB10
Topologi Himpunan-Titik
Geometri & Topologi
Menggunakan invarian dan konstruksi topologis sebagai bahasa bersama analisis, geometri, dan aljabar.
PrasyaratB10, C10
Geometri: Euklides, Afin, Projektif, dan Non-Euklides
Geometri & Topologi
Membandingkan geometri melalui aksioma, transformasi, dan invarian, bukan sebagai satu konvensi tunggal.
PrasyaratB10, B40, B60
Analisis Numerik
Komputasi & Optimisasi
Menurunkan, menerapkan, dan menilai algoritma numerik dengan alasan stabilitas dan galat yang eksplisit.
PrasyaratB30, B40, B80, C10
Pemodelan Matematis dan Dinamika Nonlinear
Komputasi & Optimisasi
Bergerak iteratif antara asumsi, struktur matematika, komputasi, data, dan kritik model.
PrasyaratB70, B80, C10
Optimisasi Linear dan Integer / Riset Operasi
Komputasi & Optimisasi
Merumuskan, menyelesaikan, dan mengkritik model optimisasi tanpa bergantung pada solver proprieter.
PrasyaratB40, B80, C70
Statistika Matematis
Peluang & Statistika
Menurunkan dan menilai prosedur statistik, bukan sekadar menerapkannya sebagai kotak hitam.
PrasyaratB90, B95, B40, C10
Ukuran dan Integrasi
Analisis
Menggunakan teori integrasi modern sebagai dasar peluang, analisis fungsional, dan PDP.
PrasyaratC20, C90
Analisis Fungsional
Analisis
Bernalar dengan ruang dan operator berdimensi tak hingga pada tingkat pascasarjana awal.
PrasyaratD10, B40
Probabilitas Teoretis-Ukuran dan Proses Stokastik
Peluang & Statistika
Membaca literatur peluang modern dan proses stokastik dengan kefasihan teori ukuran.
PrasyaratD10, B90, C140
Persamaan Diferensial Parsial
Analisis
Mengenali tipe PDP, membuktikan hasil dasar, dan membedakan solusi klasik, lemah, serta numerik.
PrasyaratB70, C110, D10, D20
Lipatan Mulus dan Geometri Diferensial
Geometri & Topologi
Menggunakan bahasa geometri bebas koordinat dan membuktikan hasil dasar tentang lipatan serta kelengkungan.
PrasyaratC90, B60, C30
Topologi Aljabar
Geometri & Topologi
Menerjemahkan pertanyaan geometri menjadi invarian aljabar yang dapat dihitung dan merekonstruksi bukti standar.
PrasyaratC90, C30
Aljabar Pascasarjana
Aljabar
Memasuki literatur aljabar pascasarjana dengan penguasaan konstruksi universal dan bukti struktural.
PrasyaratC40, B40
Teori Kategori dan Metode Homologis
Aljabar
Menggunakan bahasa kategoris sebagai matematika kerja, bukan hiasan abstrak.
PrasyaratC30, C80, D70
Optimisasi Lanjut dan Analisis Konveks
Komputasi & Optimisasi
Menganalisis masalah optimisasi kontinu dan algoritma modern melampaui program linear/integer.
PrasyaratC110, C130, D20
Jembatan Geometri Aljabar
Geometri & Topologi
Berpindah dari aljabar pascasarjana ke geometri aljabar tingkat sumber dan menavigasi korpus rujukan hidup.
PrasyaratD70, D80, C90, D60
Matematika Terformalisasi dalam Lean
Praktik Riset
Mengodekan dan memverifikasi matematika nontrivial serta menyumbangkan koreksi atau contoh berbatas.
PrasyaratB10, B40, C10, C30
Membaca Riset, Eksposisi, dan Kerja Matematis Reprodusibel
Praktik Riset
Berpartisipasi secara konstruktif dalam komunitas matematika sambil menyatakan dependensi, bukti, dan ketidakpastian secara tepat.
PrasyaratC20, C40, B80
Metode konvergensi backend
Tiga puluh tiga implementasi nyata lebih dahulu; antarmuka bersama sesudahnya.
Empat puluh peran kurikulum dikerjakan oleh korpus yang berbeda. Setiap jalur mempertahankan format, identitas, hak, validator, dan kebutuhan pedagogisnya sendiri. Setelah implementasi itu benar-benar dipakai, 33 keluarga backend native dibandingkan pada sepuluh sumbu. Pola yang terbukti berguna kemudian diproyeksikan ke kapsul kecil bersama—tanpa mengganti backend kanonis kursus atau menyalin seluruh isi buku.
Kebijakan bersama ini tipis, netral-format, zero-copy, dan selalu tujuh lapis. MyST, Quarto, dan XLIFF dapat ditambahkan sebagai adapter opsional setelah ada konsumen nyata dan pertukaran bolak-baliknya diverifikasi; ketiganya tidak diklaim sudah diterapkan dan bukan syarat untuk merilis korpus native.
Verifikasi adapter hanya berlaku untuk pemetaan yang disebutkan. Itu tidak otomatis memverifikasi ledger terjemahan, pembangunan ulang sumber asli, atau keselarasan bahan pengajar. Kemampuan yang belum mempunyai bukti khusus tetap berstatus “belum diketahui”.
Halaman ini juga membedakan snapshot rilis yang tidak berubah dari overlay penerus yang masih bergerak. Tanggal pemeriksaan HTTP hanya membuktikan keterjangkauan pada saat itu; identitas byte, status publik, dan versi tetap dicatat terpisah.
1. Biarkan perbedaan muncul
Jalur OpenStax, CLP, Judson, Lebl, Lean, dan korpus lain memecahkan masalah sumber, latihan, hak, replay, dan pembaca dengan cara yang sesuai dengan bukunya.
2. Bandingkan bukti, bukan slogan
Audit menilai identitas stabil, relasi, provenance, status terjemahan, aset, aksesibilitas, replay deterministik, pertukaran reversibel, pemakaian oleh pembaca, dan beban pemeliharaan.
3. Ambil pola terbaik secara aditif
Kapsul bersama membawa identitas kursus, unit, relasi, status, hak, rute pelajar, dan tanda terima. Shard khusus tetap tersedia untuk formula, notebook, eksperimen, dan bukti formal.
4. Jaga dua pintu yang berbeda
Pelajar membuka HTML, PDF, atau EPUB. Mesin membuka JSONL, JSON, skema, manifest, dan adapter. Lapisan mesin mendukung pembelajaran; ia tidak menggantikan halaman belajar.
Snapshot rilis v0.62.13
Lima ikatan peran melalui lima paket adapter telah dipreservasi dan dibaca balik publik. Indeks v1 tetap byte-identik dengan rilis itu.
Overlay pascapublikasi v0.62.14
Sembilan ikatan peran memakai delapan paket yang semuanya sudah publik dan dibaca balik. C30 dan C40 tetap dua tampilan kursus atas satu paket Judson; overlay ini mencatat keadaan rilis tanpa mengubah byte v0.62.14.
Rilis pusat dan kursus native
Penerus pusat v0.62.17 sudah terbit di GitHub dan Zenodo; rilis terdahulu tetap tersedia. Buku, pembaca, dan rilis course-native tetap berwenang pada jalurnya sendiri. Integrasi tidak menggandakan prosa atau menurunkan akses.
Cakupan integrasi saat ini
Dua puluh sembilan dari 33 keluarga kini terwakili oleh adapter bersama yang diuji secara lokal: 36 dari 40 peran kurikulum. Empat peran masih belum mempunyai adapter bersama yang tervalidasi; ini bukan jumlah buku yang belum diterjemahkan. Angka rilis historis pada kartu lain tetap menyatakan snapshot publiknya sendiri.
Saksi terminologi native
Konkordansi teori bilangan Indonesia tetap menjadi bukti perbandingan untuk A10. D100 memakai source-lock edisi Inggris, ledger terjemahan dan terminologi, catatan koreksi, serta adapter semantik yang direplay deterministik; bukti A10 tidak dipakai untuk D100.
Proyeksi penerus v0.62.17 • CLP
Tujuh rute PDF pembaca yang sudah diverifikasi.
Empat jalur Kalkulus (B20, B30, B50, dan B60) mempertahankan buku native masing-masing. Kartu pelajar di atas menampilkan tujuh aksi PDF whole-file dari sidecar penerus ini; metadata mencatat halaman, byte, hash, lisensi, dan bukti readback tanpa menyalin isi buku.
Integrasi CLP kini publik melalui GitHub v0.62.17 dan Zenodo 22303203. Seluruh 121 berkas GitHub dan 100 berkas Zenodo telah dibaca balik anonim dengan byte dan hash yang cocok. Empat ikatan CLP tidak lagi menunggu publikasi pusat.
Cara membaca status
Jujur tentang yang ada—dan yang belum ada.
Terverifikasi
Bukti berkas atau pembangunan ulang telah diperiksa terhadap identitas yang tercatat.
Tersedia; belum diverifikasi penuh
Sumber dapat dibuka, tetapi lapisan pusat belum memiliki bukti lengkap untuk semua sifatnya.
Belum dibuat
Kemampuan itu belum dihasilkan sebagai struktur yang dapat dipakai ulang. Ini bukan alasan untuk menyembunyikan buku yang sudah tersedia.
Belum diketahui
Belum ada bukti yang cukup di indeks pusat. Ini tidak berarti bahan tersebut belum pernah dibuat oleh jalur kursus.
Zero-copy
Komponen tetap berada di repositori atau edisi kanonisnya. Peta pusat menyimpan identitas dan tautan, bukan salinan isi.
Untuk pengembang, perpustakaan, dan program lain
Data yang sama tersedia sebagai kontrak terbuka.
JSONL adalah pertukaran kanonis untuk kapsul, bukan format master wajib bagi buku. JSON adalah proyeksi untuk antarmuka. Manifest dan tanda terima validasi mengikat input, jumlah byte, dan hash.
Arsip v0.62.14 di Zenodo tetap tersedia dengan byte aslinya. Koreksi status bahan pengajar dan tautan PDP dipertahankan. Angka 35 edisi selesai, 5 masih diproduksi, dan 31 rekaman DOI berbeda adalah snapshot sumber 1 September, bukan audit terjemahan terkini. Indeks historis v2 mencatat sembilan ikatan peran memakai delapan paket yang telah terbit dan dibaca balik. Indeks penerus v0.62.17 menambahkan keluarga CLP, sehingga keadaan publik saat ini memuat 13 ikatan peran melalui 9 paket.