B80 · Komputasi matematis · Bahasa Indonesia

Panduan unit dan kegiatan untuk pengajar

Urutan pelajaran, tujuan yang ditautkan ke sumber, latihan dengan dukungan bertahap, 4 laboratorium, serta jalur pengayaan. Identitas unit dan latihan sama dengan tampilan pelajar.

Rencana unit

14 unit dengan tujuan dan latihan sumber
Unit	Tujuan	Unit sebelumnya	Latihan
Primer P01 - Menjalankan Eksperimen Python	Tujuan pembelajaran	Awal urutan	Latihan 1 - nilai, jenis, dan operator Latihan 2 - impor, panggilan, dan bantuan Latihan 3 - membaca dan memperbaiki traceback Latihan 4 - komputasi, tampilan, dan skrip Latihan 5 - kernel bersih dan keadaan tersembunyi
Kontrol, Koleksi, Fungsi, Modul, dan Berkas	Tujuan pembelajaran	Primer P01 - Menjalankan Eksperimen Python	Latihan 1 - koleksi dan irisan Latihan 2 - aliran kontrol sebelum comprehension Latihan 3 - fungsi, ruang lingkup, dan galat Latihan 4 - modul peserta dan tes merah-hijau Latihan 5 - teks, CSV, JSON, dan manifest
Komputasi, Representasi, dan Bukti	Tujuan pembelajaran	Kontrol, Koleksi, Fungsi, Modul, dan Berkas	Latihan 1 - representasi Latihan 2 - spesifikasi toleransi Latihan 3 - batas eksperimen Latihan 4 - contoh penyangkal Latihan 5 - rekaman eksperimen
Objek, Nilai, dan Fungsi	Tujuan pembelajaran	Komputasi, Representasi, dan Bukti	Latihan 1 - memilih representasi Latihan 2 - nilai dan identitas Latihan 3 - kontrak fungsi Latihan 4 - alias yang berbahaya Latihan 5 - tes dan bukti
Array, Bentuk, dan Vektorisasi	Tujuan pembelajaran	Objek, Nilai, dan Fungsi	Latihan 1 - bentuk dan makna sumbu Latihan 2 - vektorisasi dan invarian Latihan 3 - kontrak broadcasting Latihan 4 - melacak view Latihan 5 - eksperimen bukan bukti umum
Visualisasi dengan Integritas	Tujuan pembelajaran	Array, Bentuk, dan Vektorisasi	Latihan 1 - pertanyaan dan pengodean Latihan 2 - sumbu terpotong Latihan 3 - makna batang galat Latihan 4 - deskripsi aksesibel Latihan 5 - gambar dan bukti Latihan penguasaan - data ke plot ke manifes
Komputasi Eksak dan Simbolik	Tujuan pembelajaran	Visualisasi dengan Integritas	Latihan 1 - ekspresi dan nilai Latihan 2 - asumsi yang hilang Latihan 3 - ekuivalensi dan domain Latihan 4 - faktor, akar, dan pemeriksaan Latihan 5 - artefak simbolik yang stabil Latihan Sage 1 - parent, coercion, dan faktor Latihan Sage 2 - solusi eksak dan pendekatan
Titik-Mengambang, Galat, dan Stabilitas	Tujuan pembelajaran	Komputasi Eksak dan Simbolik	Latihan 1 - `ulp` dan kenaikan yang hilang Latihan 2 - membuang pembatalan Latihan 3 - galat maju dan mundur Latihan 4 - kondisi atau algoritme? Latihan 5 - jumlah, toleransi, dan batas klaim Latihan SciPy - stabilitas `exprel`
Rancangan Eksperimen yang Dapat Diperiksa	Tujuan pembelajaran	Titik-Mengambang, Galat, dan Stabilitas	Latihan 1 - variabel dan perancu Latihan 2 - benih bukan mesin waktu Latihan 3 - pemilihan dan holdout Latihan 4 - ukuran efek dan aturan berhenti Latihan 5 - hasil negatif dan batas bukti
Pengujian dan Validasi Komputasi	Tujuan pembelajaran	Rancangan Eksperimen yang Dapat Diperiksa	Latihan 1 - memilih assertion Latihan 2 - membangun oracle Latihan 3 - hubungan metamorfik Latihan 4 - tes regresi batas Latihan 5 - batas bukti pengujian
Data, Konfigurasi, dan Provenans	Tujuan pembelajaran	Pengujian dan Validasi Komputasi	Latihan 1 - mentah, turunan, dan garis keturunan Latihan 2 - schema dan satuan Latihan 3 - konfigurasi dan jalur aman Latihan 4 - hak dan privasi Latihan 5 - semantik, byte, dan hash
Otomasi dan Alur Kerja yang Dapat Direproduksi	Tujuan pembelajaran	Data, Konfigurasi, dan Provenans	Latihan 1 - urutan tugas Latihan 2 - siklus Latihan 3 - cap waktu Latihan 4 - kegagalan penulisan Latihan 5 - alur kerja hijau
Eksperimen Numerik Berprasyarat	Tujuan pembelajaran	Otomasi dan Alur Kerja yang Dapat Direproduksi	Latihan 1 - invarian bagi-dua Latihan 2 - batas iterasi Latihan SciPy - dua implementasi pada akar kubik Latihan 3 - pemeriksaan kuadratur Latihan 4 - residual bukan galat solusi Latihan 5 - eksperimen Euler
Proyek Akhir yang Dapat Diperiksa	Tujuan pembelajaran	Eksperimen Numerik Berprasyarat	Latihan 1 - klasifikasi klaim Latihan 2 - manifest yang belum lengkap Latihan 3 - jalur berbahaya Latihan 4 - reproduksi tidak identik Latihan 5 - tanggapan tinjauan

Prasyarat inti dan pengayaan

B80 dimulai setelah A30. 3 jalur tambahan memakai materi B30, B40, B70; jalur tersebut tidak menjadi syarat untuk menyelesaikan inti B80.

Jalur inti A30/B80: metode, bagi-dua, SciPy, dan sumber galat — inti B80; prasyarat A30.
Jalur B30: kuadratur — pengayaan, bukan syarat penyelesaian B80; prasyarat B30.
Jalur B40: sistem linear — pengayaan, bukan syarat penyelesaian B80; prasyarat B40.
Jalur B70: langkah Euler — pengayaan, bukan syarat penyelesaian B80; prasyarat B70.

Laboratorium

Visualisasi dengan Integritas · plotting

Latihan penguasaan - data ke plot ke manifes

Lingkungan yang dicatat sumber: CPython 3.13.1. Artefak: output/unit04/unit04-data.csv, output/unit04/unit04-figure.svg, output/unit04/unit04-alt.txt, output/unit04/unit04-manifest.json.

progressive fig/ax plot scatter errorbar construction
labels units legend and accessible description
deterministic data-to-plot-to-manifest mastery

Komputasi Eksak dan Simbolik · sagemath

Latihan Sage 1 - parent, coercion, dan faktor · Latihan Sage 2 - solusi eksak dan pendekatan

Lingkungan yang dicatat sumber: SageMath 9.5; apt sagemath 9.5-4. Artefak: 00_control/SAGE_LAB_RESULT.json.

local execution of ZZ QQ RR SR and coercion
polynomial factorization solving and approximation
two executable Sage mastery exercises with full solutions

Titik-Mengambang, Galat, dan Stabilitas · scipy

Latihan SciPy - stabilitas `exprel`

Lingkungan yang dicatat sumber: CPython 3.13.1. Artefak: output/unit06-results.json.

scipy.special.exprel stable-versus-naive comparison
domain conditioning forward/backward error and proof boundary
executable mastery exercise and tests

Eksperimen Numerik Berprasyarat · scipy

Latihan SciPy - dua implementasi pada akar kubik

Lingkungan yang dicatat sumber: CPython 3.13.1. Artefak: output/unit11-results.json.

original bisection versus scipy.optimize.root_scalar(method=bisect)
version bracketing convergence residual and result validation
executable A30 mastery exercise and tests