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 merupakan catatan katalog, bukan pengukuran baru kemajuan terjemahan. Untuk edisi terbaru, ikuti tautan rilis setiap kursus. Cakupan integrasi saat ini dihitung dari matriks bukti backend; angka pada kartu rilis historis tetap menyatakan snapshot masing-masing.

40mata kuliah terpilih
40edisi selesai
0masih diproduksi
40punya 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
Latihan & diagnosis — A00A00 · Konsep, prasyarat dan pilihan belajar — A00Buka sumber utama — A00 (terbuka di tab baru)
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
C90 — C90Buka sumber utama — C90 (terbuka di tab baru)
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 terverifikasi3
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
Buka Riset Operasi — Buku 1 — C130C130 · Perencana tugas Riset Operasi — C130C130 · Cari istilah dan catatan koreksi — C130Buka sumber utama — C130 (terbuka di tab baru)
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
Alat belajar terverifikasi1
HTML semantiktersedia; belum diverifikasi penuh
Format cetaktersedia; belum diverifikasi penuh
D110 · Matematika dalam Lean — D110Buka sumber utama — D110 (terbuka di tab baru)

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

40 dari 40 peran kurikulum mempunyai adapter bersama yang tervalidasi, mencakup 33 dari 33 keluarga sumber. Sebanyak 0 peran belum mempunyai adapter tervalidasi.

Kesetaraan kemampuan backend asli tercatat terverifikasi untuk 16 dari 40 peran. Adapter yang lulus bukan bukti bahwa seluruh backend, penerjemahan, bahan pengajar, atau edisi Inggris telah selesai. Angka ini dihitung dari matriks bukti, bukan dari snapshot rilis historis.

Periksa bukti dan pekerjaan tersisa per mata kuliah · Matriks sumber angka

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.

Sidecar rute pembaca CLP — proyeksi terintegrasi Sidecar rute pembaca CLP — snapshot v0.62.17 Input rute dan batas whole-file Bukti identitas sumber rute Skema sidecar rute pembaca

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, dan snapshot historis tersebut memuat 13 ikatan peran melalui 9 paket. Untuk cakupan saat ini, gunakan matriks bukti yang ditautkan di atas.

Metode dan temuan 33 keluarga Indeks pola v1 — snapshot rilis tidak berubah Bukti publik per keluarga backend Batas bukti dan klaim historis Paket sumber dan backend native terverifikasi Indeks adapter v1 — lima bukti publik rilis Indeks adapter penerus v0.62.17 — CLP Indeks pola penerus v0.62.17 — skema v2.1 Indeks adapter historis v2 — sembilan ikatan publik v0.62.14 Indeks pola historis v2 — 33 keluarga dengan ikatan snapshot Ledger adopsi fitur tujuh lapis Manifest bukti perbandingan Tanda terima validasi snapshot v2 Skema indeks adapter v2 Skema indeks pola v2 Skema ledger adopsi fitur Skema manifest bukti Unduh JSONL kanonis JSON untuk aplikasi Skema JSON Manifest pembangunan Tanda terima validasi Kebijakan backend tipis, netral-format, zero-copy Baseline publik v0.62.12 Skema kebijakan backend Skema baseline publik