Semua 40 mata kuliah dan tautannya dapat digunakan tanpa JavaScript. Pencarian dan catatan kemajuan memerlukan JavaScript.
Tidak ada mata kuliah yang cocok. Coba istilah lain atau atur ulang saringan.
A00Fondasi & Kalkulus
Praaljabar dan Fondasi Kuantitatif
Bilangan bulat, pecahan, desimal, persen, rasio, pengukuran, dan persamaan dasar dengan jalur diagnosis yang dapat dilewati.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Tentang mata kuliah
Hasil belajar
Membaca dan menghasilkan pembuktian analisis kompleks pada tingkat masuk pascasarjana.
C60Diskrit & Logika
Teori Bilangan dan Kriptologi
Keterbagian, kongruensi, bilangan prima, fungsi aritmetika, masalah Diophantus, dan konstruksi kriptografi kunci publik.
Tentang mata kuliah
Hasil belajar
Membuktikan hasil teori bilangan elementer dan menganalisis asumsi matematika di balik kriptosistem dasar.
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.
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.
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.
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.
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.
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.
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.
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.
D50Geometri & Topologi
Lipatan Mulus dan Geometri Diferensial
Lipatan, struktur tangen dan kotangen, bentuk diferensial, integrasi dan Stokes, grup Lie, metrik Riemann, koneksi, dan kelengkungan.
Tentang mata kuliah
Hasil belajar
Menggunakan bahasa geometri bebas koordinat dan membuktikan hasil dasar tentang lipatan serta kelengkungan.
Bahan tambahan / sumber / backend
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.
Bahan tambahan / sumber / backend
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.
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.
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.
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.
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.
Bahan tambahan / sumber / backend
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.