Program Matematika Indonesia

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.

← Kembali ke peta belajar utama

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.

40mata kuliah terpilih
40edisi selesai
0masih diproduksi
35punya bahan pengajar terindeks

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.

A00Edisi selesai

Praaljabar dan Fondasi Kuantitatif

Fondasi & Kalkulus

Mengolah representasi numerik dengan andal dan mengenali apakah kesalahan berikutnya bersifat aritmetis atau konseptual.

Prasyarattidak ada

Kesiapan aksestersedia; belum diverifikasi penuh
Alat belajar terverifikasi2
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
C90Edisi selesai

Topologi Himpunan-Titik

Geometri & Topologi

Menggunakan invarian dan konstruksi topologis sebagai bahasa bersama analisis, geometri, dan aljabar.

PrasyaratB10, C10

Kesiapan aksestersedia; belum diverifikasi penuh
Alat belajar terverifikasi1
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
C130Edisi selesai

Optimisasi Linear dan Integer / Riset Operasi

Komputasi & Optimisasi

Merumuskan, menyelesaikan, dan mengkritik model optimisasi tanpa bergantung pada solver proprieter.

PrasyaratB40, B80, C70

Kesiapan aksestersedia; belum diverifikasi penuh
Alat belajar terverifikasi1
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
D20Edisi selesai

Analisis Fungsional

Analisis

Bernalar dengan ruang dan operator berdimensi tak hingga pada tingkat pascasarjana awal.

PrasyaratD10, B40

Kesiapan aksestersedia; belum diverifikasi penuh
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
D50Edisi selesai

Lipatan Mulus dan Geometri Diferensial

Geometri & Topologi

Menggunakan bahasa geometri bebas koordinat dan membuktikan hasil dasar tentang lipatan serta kelengkungan.

PrasyaratC90, B60, C30

Kesiapan aksestersedia; belum diverifikasi penuh
HTML semantikbelum dibuat
Format cetakbelum dibuat
D60Edisi selesai

Topologi Aljabar

Geometri & Topologi

Menerjemahkan pertanyaan geometri menjadi invarian aljabar yang dapat dihitung dan merekonstruksi bukti standar.

PrasyaratC90, C30

Kesiapan aksestersedia; belum diverifikasi penuh
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
D110Edisi selesai

Matematika Terformalisasi dalam Lean

Praktik Riset

Mengodekan dan memverifikasi matematika nontrivial serta menyumbangkan koreksi atau contoh berbatas.

PrasyaratB10, B40, C10, C30

Kesiapan aksestersedia; belum diverifikasi penuh
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh

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.