Program Matematika — Jalur Belajar Terbuka

40 mata kuliah, dari fondasi hingga matematika tingkat lanjut. Pilih mata kuliah, periksa prasyarat, lalu buka bahan belajar.

Mata kuliahSemua bahasa tersedia — halaman unduhan ZIP

Peta, pencarian, prasyarat, dan catatan lokal dapat digunakan tanpa internet. Buku yang ditautkan perlu diunduh terpisah; tautan eksternal memerlukan internet.

Tombol bahasa pada berkas tunggal membuka situs daring. Untuk berpindah bahasa tanpa internet, unduh ZIP multibahasa, ekstrak seluruh isinya, lalu buka START-HERE.html.

Kemajuan saya —

Catatan disimpan hanya di browser ini, tidak dikirim ke server. Bahasa yang berbeda memakai catatan yang sama pada situs ini. Ini catatan pribadi, bukan sertifikasi.

Mata kuliah

Semua 40 mata kuliah dan tautannya dapat digunakan tanpa JavaScript. Pencarian dan catatan kemajuan memerlukan JavaScript.

A00Fondasi & Kalkulus

Praaljabar dan Fondasi Kuantitatif

Bilangan bulat, pecahan, desimal, persen, rasio, pengukuran, dan persamaan dasar dengan jalur diagnosis yang dapat dilewati.

Prasyarat

Tidak ada — Anda dapat mulai di sini.

Lanjut ke

A10 — Aljabar Dasar
Tentang mata kuliah

Hasil belajar

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

A10Fondasi & Kalkulus

Aljabar Dasar

Persamaan dan pertidaksamaan linear, grafik, sistem, eksponen, polinom, faktorisasi, bentuk rasional, dan akar.

Tentang mata kuliah

Hasil belajar

Menerjemahkan hubungan kuantitatif ke bentuk aljabar dan menyelesaikannya dengan langkah yang dapat dijelaskan.

Pembaca yang dihosting program

Baca Aljabar Dasar — 82 modul lengkapHTML · Bahasa IndonesiaBuku teks lengkap — 1627 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Original publisher page — OpenStax Elementary Algebra 2eHTML · English
A10 · Modul, latihan dan cakupan solusitool · Bahasa Indonesia

82 modul, 9.406 latihan dan cakupan 6.106 solusi sumber; pemilih modul dapat dipakai kembali. 82 rute PDF membuka awal modul, bukan halaman latihan atau solusi tertentu. Tautan HTML terpisah membuka tepat 9.406 latihan, 9.406 soal dan 6.106 solusi dalam pembaca Bahasa Indonesia; 3.300 latihan tetap tanpa solusi sumber. 9.406 identitas latihan dipertahankan: 6.106 memiliki solusi sumber dan 3.300 tidak. Nomor urutan bukan nomor soal tercetak. 600 catatan istilah terkurasi berbeda dari 460 kemunculan sumber. Riwayat penggantian istilah tetap terlihat. Pemilih pengajar mengekspor metadata modul dan latihan, bukan buku, panduan guru resmi atau silabus baru. Hak per komponen dan 678 status koreksi dipertahankan; validasi identitas tidak menyatakan semua isu hak atau terminologi telah selesai. Antarmuka tersedia dalam Bahasa Indonesia dan Inggris. Buku Inggris adalah cermin sumber asli; tautan modul PDF tetap berbahasa Indonesia.

Bahan tambahan / sumber / backend
A20Fondasi & Kalkulus

Aljabar Menengah

Fungsi, model kuadrat dan rasional, akar, bilangan kompleks, eksponensial, logaritma, irisan kerucut, dan barisan.

Tentang mata kuliah

Hasil belajar

Memasuki prakalkulus dengan kefasihan simbolik dan pemahaman fungsi yang stabil.

Pembaca yang dihosting program

Buku teks lengkap — 3438 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Original publisher reader — OpenStax Intermediate Algebra 2eHTML · English
A20 · Aljabar Menengahtool · Bahasa Indonesia

Sebanyak 174.535 rekaman native, 83 modul, 8.209 identitas latihan/masalah, 5.238 identitas solusi, 236 konsep, 340 istilah, 1.614 koreksi, dan 17 rekaman hak komponen. Adapter adalah proyeksi identitas, struktur, istilah, status, hak, dan bukti zero-copy; badan buku, segmen, latihan, masalah, dan solusi tetap pada edisi native publik. Hanya 5.238 dari 8.209 latihan memiliki identitas solusi; 2.971 latihan tanpa identitas solusi dipertahankan dan tidak diisi atau disamarkan. Delapan puluh tiga rute modul menunjuk tepat ke halaman pembuka PDF, bukan jangkar HTML semantik per unit. Pembaca Bahasa Indonesia berbasis PDF. HTML semantik, MathML, EPUB, paket HTML luring, PDF/UA, dan kepatuhan WCAG tidak diklaim. Prasyarat A10 adalah lapisan kurikulum pusat, bukan klaim prasyarat dari ekspor native. Cermin HTML bahasa Inggris adalah presentasi sumber asli, bukan terjemahan atau bukti konsumsi adapter bersama. Tujuh belas rekaman hak dan 1.614 status koreksi dipertahankan terpisah; pertukaran reversibel tidak diklaim.

Bahan tambahan / sumber / backend
A30Fondasi & Kalkulus

Prakalkulus dan Trigonometri

Transformasi fungsi, model polinom, rasional, eksponensial dan logaritmik, trigonometri, geometri analitik, sistem, barisan, dan limit awal.

Tentang mata kuliah

Hasil belajar

Memodelkan dengan fungsi elementer dan memulai kalkulus tanpa menyembunyikan kebutuhan perbaikan aljabar.

Pembaca yang dihosting program

Buku teks lengkap — 3165 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Original publisher reader — OpenStax Precalculus 2eHTML · English
A30 · Prakalkulus dan Trigonometritool · Bahasa Indonesia

Sebanyak 220.680 rekaman native, 87 modul, 7.250 identitas latihan/masalah, 4.183 identitas solusi, 497 konsep, 513 istilah, 703 koreksi, dan 1.875 rekaman hak komponen. Adapter adalah proyeksi identitas, struktur, status, hak, dan bukti zero-copy; badan buku, segmen sumber/target, latihan, masalah, dan solusi tetap pada edisi native publik. Hanya 4.183 dari 7.250 latihan memiliki identitas solusi; 3.067 kasus tanpa dukungan solusi native dipertahankan dan tidak diisi atau disamarkan. Rute 87 modul menunjuk halaman pembuka PDF; tujuan PDF per latihan tidak tersedia dan tidak diklaim. Pembaca Bahasa Indonesia berbasis PDF. HTML semantik, MathML, EPUB, paket HTML luring, PDF/UA, dan kepatuhan WCAG tidak diklaim. Prasyarat A20 adalah lapisan kurikulum pusat, bukan klaim prasyarat dari ekspor native. Komponen hak tetap terpisah: 1.835 admitted, 38 quarantined, dan dua tanpa status admission; tidak ada lisensi selimut yang diciptakan. Status segmen bahasa dan status istilah/koreksi dipertahankan apa adanya; teks sumber, teks target, dan badan koreksi tidak disalin. Paket sumber pendamping diperlukan untuk replay raw penuh. Pertukaran reversibel, replay raw mandiri, revisi Git final derivatif, laboratorium, runtime, dan manual pengajar resmi tidak diklaim.

Bahan tambahan / sumber / backend
B10Diskrit & Logika

Pembuktian, Logika, dan Struktur Diskrit

Logika proposisional dan predikat, himpunan, fungsi, relasi, teknik bukti, teori graf, pencacahan, dan barisan.

Tentang mata kuliah

Hasil belajar

Membaca, menyusun, dan mengkritik bukti elementer sebelum memasuki teori tingkat lanjut.

B20Fondasi & Kalkulus

Kalkulus Diferensial

Limit, kontinuitas, turunan, pendekatan, optimisasi, dan pemodelan dengan masalah terpecahkan yang terintegrasi.

Tentang mata kuliah

Hasil belajar

Menggunakan turunan secara komputasional dan konseptual serta menjelaskan hipotesis yang dipakai.

Pembaca yang dihosting program

Buku teks — 442 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Original authors’ website — CLP-1 textbook, problems and PDFsHTML · English
Buku soal dan penyelesaian — 646 halamanPDF · Bahasa Indonesia · Luring setelah diunduhB20 · Rute baca keluarga CLPtool · Bahasa Indonesia

2 PDF seluruh berkas, 1.088 halaman; identitas byte, SHA-256, lisensi, dan rekaman publik dipertahankan. Tampilan hanya memproyeksikan rute PDF seluruh berkas yang telah diverifikasi. Jangkar bab atau unit dan pembaca HTML native tidak diklaim. Unduhan awal memerlukan jaringan; setiap PDF dapat dibaca luring setelah diunduh. Isi buku, identitas native, lisensi, dan bukti publik tetap berada pada edisi sumber.

Bahan tambahan / sumber / backend
B30Fondasi & Kalkulus

Kalkulus Integral

Integral, teorema dasar kalkulus, teknik integrasi, penerapan, barisan, deret, dan persamaan diferensial awal.

Tentang mata kuliah

Hasil belajar

Memilih dan membenarkan metode integral atau deret serta menghubungkan akumulasi dengan laju lokal.

Pembaca yang dihosting program

Buku gabungan teks dan soal — 1243 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Original authors’ website — CLP-2 textbook, problems and PDFsHTML · English
B30 · Rute baca keluarga CLPtool · Bahasa Indonesia

1 PDF seluruh berkas, 1.243 halaman; identitas byte, SHA-256, lisensi, dan rekaman publik dipertahankan. Tampilan hanya memproyeksikan rute PDF seluruh berkas yang telah diverifikasi. Jangkar bab atau unit dan pembaca HTML native tidak diklaim. Unduhan awal memerlukan jaringan; setiap PDF dapat dibaca luring setelah diunduh. Isi buku, identitas native, lisensi, dan bukti publik tetap berada pada edisi sumber.

Bahan tambahan / sumber / backend
B40Aljabar

Aljabar Linear

Sistem linear, ruang vektor, pemetaan linear, matriks, determinan, nilai dan vektor eigen, serta penerapan.

Tentang mata kuliah

Hasil belajar

Berpindah dengan lancar antara perhitungan, struktur, dan pembuktian dalam matematika berdimensi hingga.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Hefferon: Linear Algebra, answers, and Sage labHTML · English
B40 · Aljabar Lineartool · Bahasa Indonesia

Tiga pembaca, 17 bab, 57 bagian, seluruh 3.541 unit dan 13.999 relasi native, 1.037 pasangan latihan-jawaban eksak, 114 konsep/istilah, 307 koreksi, 11 rekaman hak komponen, dan proyeksi common-v1 reversibel 22.131 rekaman. Adapter adalah proyeksi metadata dan bukti zero-copy; segmen, badan buku, sumber LaTeX, dan PDF tetap pada edisi publik native. Halaman publik native adalah halaman arahan rilis, bukan buku teks HTML; format pembaca yang terbukti adalah tiga PDF. Dua jawaban dipasok oleh edisi Indonesia dan diotorisasi oleh HLA-A0300; keduanya tidak dinyatakan sebagai terjemahan jawaban hulu. Backend native tidak menyatakan hasil belajar atau prasyarat. Prasyarat program A30 dan B10 tetap milik pembungkus kurikulum pusat. Sebanyak 302 aset dinyatakan dihasilkan saat build dan delapan bergantung pada toolchain eksternal; adapter tidak menjanjikan berkas unduhan yang tidak ada. Hak tetap pada 11 rekaman komponen; adapter tidak menerapkan satu lisensi payung. EPUB, HTML semantik buku, PDF bertag, MathML, runtime interaktif terhost, dan kesesuaian aksesibilitas tidak diklaim.

Jawaban Bekerja Aljabar Linearcompanion · Bahasa IndonesiaLaboratorium Sage Aljabar Linearcompanion · Bahasa Indonesia
Bahan tambahan / sumber / backend
B50Fondasi & Kalkulus

Kalkulus Multivariabel

Geometri beberapa variabel, turunan parsial, integral lipat, optimisasi berkendala, dan sistem koordinat.

Tentang mata kuliah

Hasil belajar

Menganalisis fungsi skalar multivariabel dan menghubungkan linearisasi lokal dengan geometri.

Pembaca yang dihosting program

Buku teks — 410 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

CLP-3: textbook and problemsHTML · English
Buku soal dan penyelesaian — 534 halamanPDF · Bahasa Indonesia · Luring setelah diunduhB50 · Rute baca keluarga CLPtool · Bahasa Indonesia

2 PDF seluruh berkas, 944 halaman; identitas byte, SHA-256, lisensi, dan rekaman publik dipertahankan. Tampilan hanya memproyeksikan rute PDF seluruh berkas yang telah diverifikasi. Jangkar bab atau unit dan pembaca HTML native tidak diklaim. Unduhan awal memerlukan jaringan; setiap PDF dapat dibaca luring setelah diunduh. Isi buku, identitas native, lisensi, dan bukti publik tetap berada pada edisi sumber.

Bahan tambahan / sumber / backend
B60Fondasi & Kalkulus

Kalkulus Vektor

Medan vektor, integral garis dan permukaan, serta teorema Green, Stokes, dan divergensi.

Tentang mata kuliah

Hasil belajar

Menafsirkan teorema integral utama yang menghubungkan struktur diferensial lokal dengan besaran global.

Pembaca yang dihosting program

Buku teks — 316 halamanPDF · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

CLP-4: textbook and problemsHTML · English
Buku soal dan penyelesaian — 486 halamanPDF · Bahasa Indonesia · Luring setelah diunduhB60 · Rute baca keluarga CLPtool · Bahasa Indonesia

2 PDF seluruh berkas, 802 halaman; identitas byte, SHA-256, lisensi, dan rekaman publik dipertahankan. Tampilan hanya memproyeksikan rute PDF seluruh berkas yang telah diverifikasi. Jangkar bab atau unit dan pembaca HTML native tidak diklaim. Unduhan awal memerlukan jaringan; setiap PDF dapat dibaca luring setelah diunduh. Isi buku, identitas native, lisensi, dan bukti publik tetap berada pada edisi sumber.

Bahan tambahan / sumber / backend
B70Fondasi & Kalkulus

Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar

Persamaan orde satu, persamaan linear orde tinggi, sistem, transformasi, deret, bidang fase nonlinear, dan pengantar Fourier/PDP.

Tentang mata kuliah

Hasil belajar

Merumuskan, menganalisis, mendekati, dan mengomunikasikan solusi model PDB standar.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Notes on Diffy QsHTML · English
Susun rencana kegiatan pengajartool · Bahasa Indonesia

747 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Buku, latihan, dan dukungan sumbertool · Bahasa Indonesia

747 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Istilah dan alternatif keluarga Lebltool · Bahasa Indonesia

747 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Bahan tambahan / sumber / backend
B80Komputasi & Optimisasi

Komputasi Matematis dan Eksperimen Reprodusibel

Python, SageMath, SymPy, NumPy/SciPy, komputasi eksak dan floating, visualisasi, pengujian, notebook literat, serta eksperimen reprodusibel.

Tentang mata kuliah

Hasil belajar

Menerapkan objek dan eksperimen matematis sambil membedakan komputasi, bukti pendukung, dan pembuktian.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Komputasi Matematis dan Eksperimen ReprodusibelHTML · Bahasa Indonesia
Panduan kegiatan untuk pengajartool · Bahasa Indonesia

14 unit, 75 latihan, 4 laboratorium; identitas dan jalur prasyarat native dipertahankan. Bukan mesin eksekusi Python/SageMath atau penilaian otomatis. Pelajaran tetap di pembaca native; tautan eksternal memerlukan koneksi atau unduhan tersendiri. Hanya Bahasa Indonesia; tidak mengklaim terjemahan Inggris.

Unit, latihan, dan pemeriksaantool · Bahasa Indonesia

14 unit, 75 latihan, 4 laboratorium; identitas dan jalur prasyarat native dipertahankan. Bukan mesin eksekusi Python/SageMath atau penilaian otomatis. Pelajaran tetap di pembaca native; tautan eksternal memerlukan koneksi atau unduhan tersendiri. Hanya Bahasa Indonesia; tidak mengklaim terjemahan Inggris.

Bahan tambahan / sumber / backend
B90Peluang & Statistika

Probabilitas Berbasis Kalkulus

Probabilitas diskrit dan kontinu, probabilitas bersyarat, peubah acak, harapan, limit, simulasi, jalan acak, dan rantai Markov.

Tentang mata kuliah

Hasil belajar

Membangun dan menganalisis model peluang serta menghubungkan hasil analitik dengan simulasi.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Grinstead–Snell: Introduction to ProbabilityPDF · English
B90 · Probabilitas Berbasis Kalkulustool · Bahasa Indonesia

Sebanyak 4.716 rekaman native publik, 800 unit, 12 bab, 33 bagian, 711 identitas latihan, 91 konsep, 119 istilah, 152 koreksi, dan empat rekaman hak komponen. Adapter adalah proyeksi identitas, struktur, istilah, status, hak, dan bukti zero-copy; badan buku dan segmen tetap pada edisi native publik. Suplemen 1.159 rekaman, termasuk 287 jawaban, sengaja tidak berada dalam ekspor publik; jawaban atau solusi tidak diklaim. Dua belas rute bab menunjuk tepat ke halaman pembuka; rute bagian dan latihan hanya menunjuk konteks bab, bukan jangkar semantik per unit. Pembaca native berbasis PDF.js. HTML semantik, MathML, EPUB, paket luring portabel, dan kepatuhan WCAG tidak diklaim. Empat rekaman hak dan 152 status koreksi dipertahankan terpisah; koreksi terbuka tidak dinyatakan selesai. Pertukaran reversibel tidak diklaim dan replay memerlukan checkout native yang dipatok.

Bahan tambahan / sumber / backend
B95Peluang & Statistika

Statistika Terapan dan Analisis Data

Pengumpulan data, deskripsi, ketidakpastian, inferensi, eksperimen, regresi, dan analisis reprodusibel dengan perangkat lunak terbuka.

Tentang mata kuliah

Hasil belajar

Mengkritik proses pembentukan data dan melakukan analisis statistik awal secara transparan.

C10Analisis

Analisis Real I

Bilangan real, barisan, deret, kontinuitas, diferensiasi, dan integrasi Riemann dengan penekanan pada bukti.

Tentang mata kuliah

Hasil belajar

Mengendalikan kuantor dan menyusun argumen rigor tentang limit, kontinuitas, turunan, dan integral.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Basic Analysis IHTML · English
Susun rencana kegiatan pengajartool · Bahasa Indonesia

539 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Buku, latihan, dan dukungan sumbertool · Bahasa Indonesia

539 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Istilah dan alternatif keluarga Lebltool · Bahasa Indonesia

539 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Bahan tambahan / sumber / backend
C20Analisis

Analisis Real II

Barisan fungsi, ruang metrik, diferensiasi dan integrasi multivariabel, serta konstruksi limit.

Tentang mata kuliah

Hasil belajar

Bekerja fasih dengan abstraksi ruang metrik dan bukti analitik multivariabel.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Basic Analysis IIHTML · English
Susun rencana kegiatan pengajartool · Bahasa Indonesia

849 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Buku, latihan, dan dukungan sumbertool · Bahasa Indonesia

849 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Istilah dan alternatif keluarga Lebltool · Bahasa Indonesia

849 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Bahan tambahan / sumber / backend
C30Aljabar

Aljabar Abstrak I

Grup, subgrup, homomorfisme, struktur hasil bagi, aksi grup, dan penerapan simetri.

Tentang mata kuliah

Hasil belajar

Bernalar secara struktural dengan objek aljabar dan membuktikan hasil dari aksioma.

C40Aljabar

Aljabar Abstrak II

Gelanggang, ideal, gelanggang hasil bagi, domain integral, polinom, medan, perluasan, dan teori Galois awal.

Tentang mata kuliah

Hasil belajar

Menggunakan struktur aljabar untuk menganalisis persamaan, faktorisasi, dan perluasan medan.

C50Analisis

Analisis Kompleks

Fungsi holomorf, integrasi kontur, teori Cauchy, residu, keluarga normal, pemetaan konformal, fungsi harmonik, dan kelanjutan analitik.

Prasyarat

C20 — Analisis Real II

Lanjut ke

Tidak ada lanjutan langsung dalam peta ini.

Tentang mata kuliah

Hasil belajar

Membaca dan menghasilkan pembuktian analisis kompleks pada tingkat masuk pascasarjana.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Guide to Cultivating Complex AnalysisPDF · English
Susun rencana kegiatan pengajartool · Bahasa Indonesia

607 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Buku, latihan, dan dukungan sumbertool · Bahasa Indonesia

607 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Istilah dan alternatif keluarga Lebltool · Bahasa Indonesia

607 rekaman latihan dalam keluarga Lebl; identitas sumber dipertahankan, unit yang bertumpang tindih bukan beban unik. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa alat ini. Tujuan PDF mengikuti judul bagian, bukan lokasi persis latihan. Solusi belum dipetakan tetap berstatus belum diketahui; tautan bukan sertifikasi solusi lengkap. Navigasi bisa disimpan luring; unduh PDF secara terpisah.

Bahan tambahan / sumber / backend
C60Diskrit & Logika

Teori Bilangan dan Kriptologi

Keterbagian, kongruensi, bilangan prima, fungsi aritmetika, masalah Diophantus, dan konstruksi kriptografi kunci publik.

Prasyarat

B10 — Pembuktian, Logika, dan Struktur DiskritC30 — Aljabar Abstrak I

Lanjut ke

Tidak ada lanjutan langsung dalam peta ini.

Tentang mata kuliah

Hasil belajar

Membuktikan hasil teori bilangan elementer dan menganalisis asumsi matematika di balik kriptosistem dasar.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Yet Another Introductory Number Theory TextbookPDF · English
C60 · Teori Bilangan dan Kriptologitool · Bahasa Indonesia

Seluruh 5.272 ID native, 548 unit, 223 konsep, 3.297 relasi, 101 latihan, 239 istilah, 141 koreksi, 15 rekaman hak, lima bab, dan 27 bagian; proyeksi common 6.967 rekaman tetap reversibel dan zero-copy. Adapter memproyeksikan identitas, struktur, istilah, koreksi, hak, dan bukti; badan buku dan prompt latihan tetap pada edisi native publik. Semua 101 latihan adalah identitas native. Sumber tidak menyediakan petunjuk, cek, jawaban, solusi, penilaian otomatis, atau buku panduan pengajar. Sembilan puluh lima latihan tidak memiliki jangkar HTML tersendiri; rute menggunakan bagian induk yang telah diverifikasi dan tidak membuat deep link palsu. Empat unit yang disupersesi tetap dipertahankan; 544 unit efektif tidak menggantikan inventaris native 548 unit. Prasyarat B10 dan C30 adalah jangkar tingkat kursus native; hasil belajar dan prasyarat per unit tidak direka. Pembaca memiliki MathML dan PDF 138 halaman, tetapi kesesuaian WCAG, PDF bertanda, EPUB, dan penutupan dependensi luring penuh tidak diklaim.

Bahan tambahan / sumber / backend
C70Diskrit & Logika

Kombinatorika Terapan

Pencacahan lanjut, rekurensi, fungsi pembangkit, teori graf, himpunan terurut sebagian, dan metode ekstremal.

Tentang mata kuliah

Hasil belajar

Memilih dan membenarkan model serta teknik pembuktian kombinatorial untuk berbagai masalah diskrit.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Applied CombinatoricsHTML · English
C70 · Kombinatorika Terapantool · Bahasa Indonesia

Sembilan belas blok belajar, seluruh 1.408 unit native, 6.334 relasi, 701 konsep, 407 latihan, 82 pasangan dukungan eksplisit, 633 istilah, 354 koreksi, dan proyeksi common-v1 reversibel 19.049 rekaman. Adapter adalah proyeksi metadata dan bukti zero-copy; badan buku, PDF, sumber PreTeXt, dan pembaca HTML lengkap tetap pada edisi publik native. Status native edisi target tetap draft; klaim publiknya adalah draf Bahasa Indonesia lengkap yang diperiksa mesin tanpa klaim tinjauan manusia. Dari 84 unit solusi, hanya 57 relasi solves eksplisit dipetakan. Dua puluh tujuh unit solusi lainnya tidak dipasangkan secara rekaan. Sembilan relasi jawaban dan 16 relasi petunjuk dipertahankan terpisah; proyeksi 82 baris tidak dihitung lagi sebagai relasi native baru. Satu xref yang tidak terselesaikan berada pada sumber hulu beku; target Bahasa Indonesia memiliki nol xref tidak terselesaikan. Prasyarat B10 adalah jangkar eksternal tingkat kursus; adapter tidak menciptakan hasil belajar atau prasyarat per unit. Pembaca native tidak mengklaim PDF bertanda atau MathML; adapter tidak menaikkan klaim aksesibilitas itu.

Bahan tambahan / sumber / backend
C80Diskrit & Logika

Logika Matematis, Teori Himpunan, dan Komputabilitas

Bahasa dan semantik formal, sistem bukti, ketaklengkapan, fondasi komputabilitas, teori himpunan aksiomatik, dan teori model awal.

Tentang mata kuliah

Hasil belajar

Memahami batas formal dan kerangka fondasional dalam praktik matematika biasa.

C90Geometri & Topologi

Topologi Himpunan-Titik

Ruang topologis, basis, kontinuitas, produk dan hasil bagi, kekompakan, keterhubungan, aksioma pemisahan, keterhitungan, metrisasi, dan ruang fungsi.

Tentang mata kuliah

Hasil belajar

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

C100Geometri & Topologi

Geometri: Euklides, Afin, Projektif, dan Non-Euklides

Geometri aksiomatik dan transformasional, metode afin dan projektif, geometri hiperbolik dan sferis, permukaan, dan konstruksi.

Tentang mata kuliah

Hasil belajar

Membandingkan geometri melalui aksioma, transformasi, dan invarian, bukan sebagai satu konvensi tunggal.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaBuka bahan belajarreader · Bahasa IndonesiaUnduh HTMLportable_html · Bahasa IndonesiaUnduh EPUBepub · Bahasa Indonesia

Sumber asli otoritatif

Euclidean plane and its relativesHTML · EnglishA Workbook of Two-Dimensional GeometriesPDF · English
Susun rencana kegiatan geometritool · Bahasa Indonesia

939 unit tetap; 491 konsep, 432 istilah, 214 deskripsi gambar, 285 permukaan latihan (253 soal induk). Status QA dan batas lokasi asli dipertahankan. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa isi. 348 pemetaan konsep masih berstatus menunggu QA sumber; tiga tujuan konsep adalah bab induk. Solusi tambahan mandiri memakai PDF lengkap, bukan halaman solusi tertentu. Pilihan kegiatan lokal; pemetaan bukan asesmen kemampuan tervalidasi.

Geometri: bacaan, latihan, konsep dan istilahtool · Bahasa Indonesia

939 unit tetap; 491 konsep, 432 istilah, 214 deskripsi gambar, 285 permukaan latihan (253 soal induk). Status QA dan batas lokasi asli dipertahankan. Bahasa Indonesia; tampilan Inggris tidak mengubah bahasa isi. 348 pemetaan konsep masih berstatus menunggu QA sumber; tiga tujuan konsep adalah bab induk. Solusi tambahan mandiri memakai PDF lengkap, bukan halaman solusi tertentu. Pilihan kegiatan lokal; pemetaan bukan asesmen kemampuan tervalidasi.

Buku kerja geometri dua dimensi — lengkap 22/22 unitcompanion · Bahasa Indonesia
Bahan tambahan / sumber / backend
C110Komputasi & Optimisasi

Analisis Numerik

Galat floating-point, pencarian akar, interpolasi, pendekatan, diferensiasi dan integrasi numerik, serta aljabar linear numerik.

Tentang mata kuliah

Hasil belajar

Menurunkan, menerapkan, dan menilai algoritma numerik dengan alasan stabilitas dan galat yang eksplisit.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Tea Time Numerical AnalysisPDF · English
C110 · Analisis Numeriktool · Bahasa Indonesia

Dua puluh sembilan modul berkas, seluruh 281 unit native, 4.621 alignment terjemahan, 593 istilah, 325 koreksi, dua eksperimen, 31 pasangan berkas sumber/target, dan proyeksi common-v1 reversibel 53.055 rekaman. Adapter adalah proyeksi metadata dan bukti zero-copy; badan buku, PDF, sumber, dan backend lengkap tetap pada edisi publik native. Backend native tidak memiliki entitas latihan tersendiri; hubungan latihan-ke-solusi atau latihan-ke-jawaban tidak diciptakan. Modul solusi dan jawaban tetap terpisah dan dapat dipilih, tanpa klaim pasangan satu-ke-satu per latihan. Status not_built dan unpublished pada rekaman lokalisasi adalah status tingkat segmen, bukan status artefak akhir. Dua ratus koreksi open_recorded adalah temuan sumber yang dipertahankan dan bukan kegagalan rilis. Prasyarat B30, B40, B80, dan C10 adalah relasi tingkat kursus pusat, bukan graf prasyarat per unit native. Repo native tidak menyediakan pembaca HTML semantik lengkap; hub pusat menavigasi metadata, PDF, dan sumber. Proyeksi common-v1 53.055 rekaman tetap virtual dan tidak dimaterialisasi ulang.

Bahan tambahan / sumber / backend
C120Komputasi & Optimisasi

Pemodelan Matematis dan Dinamika Nonlinear

Analisis dimensi, konstruksi dan validasi model, sistem dinamis diskrit/kontinu, bifurkasi, chaos, dan studi kasus.

Tentang mata kuliah

Hasil belajar

Bergerak iteratif antara asumsi, struktur matematika, komputasi, data, dan kritik model.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Introduction to Mathematical ModelingHTML · English
C120 · Pemodelan dan Dinamika Nonlineartool · Bahasa Indonesia

Dua puluh enam unit, 4.105 segmen, 141 masalah penguasaan, 26 notebook, 12 paket proyek, 321 baris istilah, 160 koreksi, dan proyeksi reversibel 4.941 rekaman native. Adapter adalah proyeksi metadata dan bukti zero-copy; isi buku, notebook, proyek, PDF, dan pembaca HTML tetap pada edisi publik native. Dua puluh dua unit terjemahan sumber dan empat modul jembatan orisinal tetap dibedakan. Dukungan 141 masalah terdiri dari 126 solusi tertulis, 14 rubrik kualitatif, dan satu klasifikasi terbimbing; tipe dukungan tidak diratakan. Dua belas notebook proyek adalah paket awal dan tidak mengklaim reproduksi hasil artikel yang dirujuk. Prasyarat B70, B80, dan C10 adalah relasi tingkat kursus pusat, bukan graf prasyarat per unit native. Proyeksi umum 16.029 rekaman tetap virtual; backend native 81 berkas tidak disalin ke badan kapsul. Satu catatan TERMINOLOGY.csv dengan koma tanpa kutip dinormalisasi deterministik pada adapter; berkas native dan hash-nya tidak diubah.

Bahan tambahan / sumber / backend
C130Komputasi & Optimisasi

Optimisasi Linear dan Integer / Riset Operasi

Program linear, dualitas, konsep simpleks/interior, jaringan, program integer, kompleksitas, pemodelan, dan implementasi dengan solver bebas.

Tentang mata kuliah

Hasil belajar

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

C140Peluang & Statistika

Statistika Matematis

Distribusi sampling, kecukupan, estimasi, likelihood, interval kepercayaan, uji hipotesis, perbandingan Bayes, regresi, dan asimtotik.

Tentang mata kuliah

Hasil belajar

Menurunkan dan menilai prosedur statistik, bukan sekadar menerapkannya sebagai kotak hitam.

D10Analisis

Ukuran dan Integrasi

Sigma-aljabar, ukuran, fungsi terukur, integral Lebesgue, teorema konvergensi, ukuran produk, Radon–Nikodym, dan ruang Lp.

Tentang mata kuliah

Hasil belajar

Menggunakan teori integrasi modern sebagai dasar peluang, analisis fungsional, dan PDP.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaUnduh HTMLportable_html · Bahasa Indonesia

Sumber asli otoritatif

Fremlin: Measure TheoryPDF index · English
D10 · Ukuran dan Integrasitool · Bahasa Indonesia

Dua jilid, 94 unit native, 1.096 ID latihan, 276 petunjuk sumber, 53.491 kemunculan formula, 420 koreksi, 132 keputusan istilah, dan rute pembaca luring yang memakai identitas bersama. Adapter adalah proyeksi metadata dan bukti zero-copy; badan buku, sumber TeX, PDF, dan arsip HTML tetap berada pada edisi publik native. Sensus 1.094 hanya menghitung header standar; 1.096 identitas latihan bertipe dipertahankan, termasuk dua header varian yang sah. Hanya 276 petunjuk sumber eksplisit tersedia; tidak ada jawaban atau solusi lengkap yang direka. Bukti dan hasil matematis native tidak diretip sebagai solusi latihan. Prasyarat C20 dan C90 adalah relasi tingkat kursus pusat, bukan graf prasyarat per unit native. Pembaca HTML native tersedia sebagai arsip luring dan tidak diklaim sebagai situs native per-unit daring. Hak tetap spesifik per komponen: Design Science, CC0-1.0, dan Apache-2.0 tidak diratakan menjadi satu lisensi. PDF reflow 715 halaman tersedia, tetapi PDF bertag tidak diklaim.

Bahan tambahan / sumber / backend
D20Analisis

Analisis Fungsional

Ruang bernorma, Banach dan Hilbert; operator terbatas; Hahn–Banach; boundedness seragam; pemetaan terbuka; dualitas; teori kompak dan spektral.

Tentang mata kuliah

Hasil belajar

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

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaBuka bahan belajarreader · Bahasa IndonesiaBuku dan pendamping HTML luring — ZIPHTML ZIP · Bahasa Indonesia · Luring setelah diunduh

Paket yang sudah terbit juga memuat sumber/backend. Ekstrak seluruh ZIP; dalam folder buku, buka output/html/index.html atau output/html-companion/index.html. Pertahankan folder. Kutipan eksternal tetap memerlukan internet.

Sumber asli otoritatif

Functional Analysis and Operator AlgebrasPDF · English
Solusi dan jembatan spektral — HTML lengkapHTML · Bahasa Indonesia

52 solusi latihan sumber, 10 solusi hasil kerja pembaca, dan jembatan spektral/SVD 13 unit. Bahan berbahasa Indonesia.

Bahan tambahan / sumber / backend
D30Peluang & Statistika

Probabilitas Teoretis-Ukuran dan Proses Stokastik

Ruang peluang, modus konvergensi, hukum bilangan besar, limit pusat, harapan bersyarat, martingal, proses Markov/Poisson, dan gerak Brown.

Tentang mata kuliah

Hasil belajar

Membaca literatur peluang modern dan proses stokastik dengan kefasihan teori ukuran.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaBuka bahan belajarreader · Bahasa IndonesiaUnduh HTMLportable_html · Bahasa Indonesia

Sumber asli otoritatif

Random: Probability and Stochastic ProcessesHTML · EnglishContinuous Time Markov ChainsHTML · EnglishIntro to Stochastic ProcessesHTML · English
D30 · Probabilitas Teoretis-Ukuran dan Proses Stokastiktool · Bahasa Indonesia

57 permukaan tingkat-atas, lima laboratorium, 36 masalah penguasaan terpecahkan, dan dua formulir penilaian ekuivalen. Adapter hanya memuat metadata dan tautan zero-copy; isi tetap berada di pembaca native publik. Hak campuran dipertahankan per komponen tanpa lisensi payung. Prasyarat O006/C140 ditautkan tanpa menyalin byte lintas jalur. Tidak ada klaim WCAG, uji teknologi bantu, atau PDF bertag: {"assistive_technology_testing_claimed":false,"offline_html_is_canonical_accessible_surface":true,"tagged_pdf_claimed":false,"wcag_conformance_claimed":false}.

Bahan tambahan / sumber / backend
D40Analisis

Persamaan Diferensial Parsial

Persamaan orde satu dan dua klasik, distribusi, ruang Sobolev, solusi lemah, metode energi dan Fourier, serta titik kontak numerik.

Tentang mata kuliah

Hasil belajar

Mengenali tipe PDP, membuktikan hasil dasar, dan membedakan solusi klasik, lemah, serta numerik.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaBuka bahan belajarreader · Bahasa IndonesiaUnduh HTMLportable_html · Bahasa Indonesia

Sumber asli otoritatif

Dionne: Partial Differential EquationsPDF · EnglishThe FEniCSx TutorialHTML · English
D40 · Persamaan Diferensial Parsialtool · Bahasa Indonesia

68 akar pembelajaran native: 48 latihan, 16 asesmen, dan 4 laboratorium; 14 bab teori, 130 relasi dukungan many-to-many, 108 prasyarat, dan bukti 4 notebook tereksekusi. Isi pembelajaran berbahasa Indonesia; antarmuka Inggris tidak menerjemahkan isi. HTML semantik lengkap berada di dalam ZIP publik, bukan pada URL per-unit; halaman ini mengarahkan ke arsip dan mempertahankan lokasi anggota. Adapter hanya memproyeksikan metadata dan identitas native; badan teori, soal, solusi, kode, dan notebook tidak disalin. Relasi latihan ke 14 bab teori tetap many-to-many; tidak ada penetapan satu bab yang direka. Hak tetap per komponen/per rekaman tanpa lisensi payung; rekaman runtime/cache/log tidak dilisensikan ulang. HTML memiliki bukti MathML statis dan nol dependensi jaringan; tagging PDF, WCAG, dan uji pengguna teknologi bantu tidak diklaim. Satu koreksi pembaca Ivrii opsional tetap antre dan tidak menghalangi komposit D40 yang diwajibkan.

Bahan tambahan / sumber / backend
D50Geometri & Topologi

Lipatan Mulus dan Geometri Diferensial

Lipatan, struktur tangen dan kotangen, bentuk diferensial, integrasi dan Stokes, grup Lie, metrik Riemann, koneksi, dan kelengkungan.

Prasyarat

C90 — Topologi Himpunan-TitikB60 — Kalkulus VektorC30 — Aljabar Abstrak I

Lanjut ke

Tidak ada lanjutan langsung dalam peta ini.

Tentang mata kuliah

Hasil belajar

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

D60Geometri & Topologi

Topologi Aljabar

Grup fundamental, ruang penutup, homologi simplisial/seluler, kohomologi, barisan eksak, derajat, dan metode homotopi terpilih.

Tentang mata kuliah

Hasil belajar

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

D70Aljabar

Aljabar Pascasarjana

Modul, hasil kali tensor, barisan eksak, teori medan/Galois lanjut, aljabar komutatif, teori representasi, dan struktur untuk geometri/topologi.

Tentang mata kuliah

Hasil belajar

Memasuki literatur aljabar pascasarjana dengan penguasaan konstruksi universal dan bukti struktural.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa Indonesia

Sumber asli otoritatif

Wen-Wei Li — 代数学方法:卷一HTML · Tionghoa
D70 · Aljabar Pascasarjanatool · Bahasa Indonesia

Empat komponen/716 halaman; 54 akar native, 20 rute, 36 prasyarat, 8 diagnostik, dan 8 tugas penguasaan dengan 16 petunjuk/8 jawaban edisi-asli. Isi pembelajaran berbahasa Indonesia; antarmuka Inggris tidak menerjemahkan isi. Adapter adalah navigasi metadata zero-copy dan tidak memuat badan buku, rumus, TeX, PDF, atau arsip sumber native. Empat komponen mempertahankan bahasa sumber dan hak masing-masing; tidak ada lisensi payung yang direka. P01-P06 hanya dipetakan pada tingkat komponen Li karena rute native tidak menunjuk akar unit Li yang persis. Komponen CRing hanya mencakup enam rentang terpilih, bukan seluruh karya CRing. Enam lembar tugas Duncan, 49 soal, dan satu solusi parsial berada di luar repositori CC BY yang dipatok dan tidak disertakan. Komponen sumber menyediakan 229 latihan dan 53 petunjuk, tetapi nol jawaban/solusi; delapan jawaban di sini adalah materi edisi-asli yang terpisah. Tidak ada HTML semantik native, MathML native, EPUB native, PDF bertag, klaim WCAG, atau uji pengguna teknologi bantu. Replay penuh pembaca Li dan byte PDF belum terbukti; replay terverifikasi hanya untuk adapter dan metadata yang dikunci.

Bahan tambahan / sumber / backend
D80Aljabar

Teori Kategori dan Metode Homologis

Kategori, funktor, transformasi natural, limit/kolimit, adjungsi, representabilitas, kategori abelian, kompleks rantai, funktor turunan, dan orientasi barisan spektral.

Tentang mata kuliah

Hasil belajar

Menggunakan bahasa kategoris sebagai matematika kerja, bukan hiasan abstrak.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaUnduh HTMLportable_html · Bahasa Indonesia

Sumber asli otoritatif

Wen-Wei Li — 代数学方法:卷二HTML · Tionghoa
D80 · Metode kategori dan homologitool · Bahasa Indonesia

146 unit sumber + 2 jembatan mandiri; 148 rute dan 16 latihan/16 solusi jembatan dengan identitas bersama. Isi berbahasa Indonesia; antarmuka Inggris tidak menerjemahkan isi. Unit sumber dan jembatan mandiri tetap dipisahkan; sumber memiliki 194 latihan dan 117 petunjuk, tetapi tidak menyediakan jawaban atau solusi. Pembaca memakai MathJax runtime; MathML native dan klaim WCAG tidak tersedia. Ledger native dirujuk tanpa disalin; 50 hash target checkpoint lama dan satu nilai malformed dipertahankan sebagai bukti historis.

Bahan tambahan / sumber / backend
D90Komputasi & Optimisasi

Optimisasi Lanjut dan Analisis Konveks

Himpunan dan fungsi konveks, separasi, dualitas, KKT, algoritma, metode nonsmooth, optimisasi stokastik, dan sudut pandang variasional.

Tentang mata kuliah

Hasil belajar

Menganalisis masalah optimisasi kontinu dan algoritma modern melampaui program linear/integer.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaUnduhedition · Bahasa IndonesiaUnduh EPUBepub · Bahasa Indonesia

Sumber asli otoritatif

Habring: Convex OptimizationPDF · English
D90 · Optimisasi Lanjut dan Analisis Konvekstool · Bahasa Indonesia

Sebanyak 4.877 rekaman native dan 438 permukaan belajar Original-03: 54 rantai prompt lima tahap, 32 rantai latihan empat tahap, 54 wadah asesmen, dua lab, tujuh rubrik, tujuh milestone, 93 rekaman hak, 248 koreksi, dan 127 istilah. Adapter adalah proyeksi identitas, status, hak, dan bukti zero-copy; badan kursus, prompt, petunjuk, jawaban, solusi, TeX, HTML, PDF, EPUB, dan dataset tetap pada edisi native publik. Cakupan bersama dibatasi pada 438 permukaan Original-03 yang mempunyai jangkar publik; satu label non-Original-03 yang belum terselesaikan sengaja tidak dimasukkan. Tidak ada percobaan, kiriman, hasil pelajar, atau penyelesaian lab yang diklaim. Solusi lengkap hanya dinyatakan untuk rekaman yang teramati; cakupan solusi universal tidak diklaim. Hak tetap dipertahankan sebagai 93 rekaman spesifik; tidak ada lisensi payung yang direka. HTML dan EPUB native mempunyai MathML menurut kuitansi native; kesesuaian WCAG tidak diklaim. Pertukaran reversibel tidak diklaim dan replay memerlukan checkout native yang dipatok.

Tranche Original-02 — HTML pusatHTML · Bahasa Indonesia

Pendamping parsial untuk materi Original-02. Ini bukan pembaca lengkap mata kuliah D90; gunakan sumber utama dan tautan asli untuk cakupan penuh.

Bahan tambahan / sumber / backend
D100Geometri & Topologi

Jembatan Geometri Aljabar

Varietas afin/projektif, gelanggang koordinat, skema, sheaf, morfisme, dimensi, orientasi kohomologis, dan penggunaan terpandu Stacks Project.

Tentang mata kuliah

Hasil belajar

Berpindah dari aljabar pascasarjana ke geometri aljabar tingkat sumber dan menavigasi korpus rujukan hidup.

Pembaca yang dihosting program

Kurva Aljabar — 30 unit lengkap — 505 halamanPDF · Bahasa Indonesia · Luring setelah diunduhBaca Kurva Aljabar — 30 unit lengkapHTML · Bahasa IndonesiaBaca Bundel, Berkas, dan Kohomologi — 30 unit lengkapHTML · Bahasa IndonesiaUnduh HTML Kurva Aljabar lengkapHTML · Bahasa Indonesia · Luring setelah diunduhUnduh HTML Bundel, Berkas, dan Kohomologi lengkapHTML · Bahasa Indonesia · Luring setelah diunduhUnduh paket HTML pendampingHTML ZIP · Bahasa Indonesia · Luring setelah diunduh

Sumber asli otoritatif

Holger Brenner — Algebraische Kurven (Osnabrück 2025–2026)HTML · JermanHolger Brenner — Algebraische Kurven (Osnabrück 2012)HTML · JermanHolger Brenner — Bündel, Garben und Kohomologie (2019–2020)HTML · Jerman
Bundel, Berkas, dan Kohomologi — 30 unit lengkap — 380 halamanPDF · Bahasa Indonesia · Luring setelah diunduhPendamping: dari varietas ke skema — 90 halamanPDF · Bahasa Indonesia · Luring setelah diunduhPendamping Editorial: Dari Varietas ke Skemacompanion · Bahasa Indonesia
Bahan tambahan / sumber / backend
D110Praktik Riset

Matematika Terformalisasi dalam Lean

Sintaks dan taktik Lean, proposisi dan bukti, himpunan/fungsi, struktur aljabar, contoh topologi/analisis, dan navigasi pustaka.

Tentang mata kuliah

Hasil belajar

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

D120Praktik Riset

Membaca Riset, Eksposisi, dan Kerja Matematis Reprodusibel

Membaca artikel dan monograf, rekonstruksi sumber, sitasi, tulisan ekspositoris, catatan seminar, errata, komputasi reprodusibel, kritik sejawat, dan proyek kontribusi.

Tentang mata kuliah

Hasil belajar

Berpartisipasi secara konstruktif dalam komunitas matematika sambil menyatakan dependensi, bukti, dan ketidakpastian secara tepat.

Pembaca yang dihosting program

Buka bahan belajarreader · Bahasa IndonesiaPembaca HTML asli edisi D120reader · Bahasa IndonesiaUnduhedition · Bahasa Indonesia

Sumber asli otoritatif

Kerja Matematis yang Dapat DitelusuriHTML · Bahasa Indonesia
D120 · Kerja Matematika yang Dapat Ditelusuritool · Bahasa Indonesia

Sembilan unit native, 54 pasangan latihan–panduan, 71 hasil belajar, 14 penilaian, 14 rubrik, 79 kriteria, dan bukti penyampaian yang memakai identitas bersama. Adapter adalah proyeksi metadata dan bukti zero-copy; badan kursus, QMD, HTML native, PDF, dan arsip tetap berada pada edisi publik native. Semua 54 rekaman pendamping latihan adalah panduan sumber, bukan solusi lengkap. D120 ditulis native dalam Bahasa Indonesia; ledger penerjemahan sumber-ke-target tidak berlaku, sedangkan ledger sumber/provenance tetap dipertahankan. Backend semantik hanya berisi definisi dan templat: nol percobaan, kiriman, hasil, partisipasi komunitas, atau kredensial pelajar diklaim. Fragmen HTML adalah penunjuk lokasi nonkanonis, bukan identitas semantik. Hak bersifat spesifik per komponen; tidak ada lisensi payung yang direka. HTML semantik dan MathML native tersedia; PDF 133 halaman tidak bertag. Replay konten/struktur dan paket deterministik dibuktikan, tetapi identitas byte PDF lintas mesin/engine tidak diklaim.

Bahan tambahan / sumber / backend

Tentang peta ini

Satu kurikulum, beberapa bahasa. Identitas mata kuliah, prasyarat, dan provenance memakai backend yang sama; antarmuka hanya memilih teks dan bahan belajar sesuai bahasa.

Untuk setiap bahasa, kebijakan program adalah menyediakan salinan baca yang dihosting program dan tautan sumber asli yang menonjol. Sumber tetap ditampilkan dalam bahasa sebenarnya; cakupan mirror lokal belum lengkap. Tautan sumber buku tidak mencakup pendamping orisinal program, dan status katalog adalah snapshot publikasi, bukan kemajuan terjemahan saat ini.