D120 · O017-D120 · edisi 2026.08.24

Kerja Matematika yang Dapat Ditelusuri

Jalur sembilan unit untuk membaca riset, merekonstruksi argumen, menulis eksposisi, mengelola provenance, menjalankan komputasi yang dapat direproduksi, menangani errata, dan menyusun kontribusi yang dapat diaudit.

9unit berurutan
71hasil belajar
54latihan + 54 panduan
14rancangan penilaian

Buka pembaca lengkap · Unduh pembaca HTML luring · Data jalur terbuka

Batas kebenaran: backend ini menyediakan definisi dan templat. Ia tidak menyatakan bahwa siapa pun telah mengirim tugas, mengikuti acara, lulus, atau memperoleh kredensial. Setiap “solusi” native di pasangan latihan adalah panduan, bukan solusi lengkap.

Urutan belajar

Unit 1 · Membaca Argumen sebagai Jejaring Klaim6 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U01 · penilaian O017-ASMT-U01-COMPLETION

Hasil belajar

  1. O017-LO-U01-01 — membedakan definisi, asumsi, klaim, ilustrasi, dan kesimpulan dalam teks matematika;
  2. O017-LO-U01-02 — mengubah frasa seperti *jelas* atau *mengikuti argumen pertukaran* menjadi kewajiban pembuktian yang eksplisit;
  3. O017-LO-U01-03 — merekonstruksi langkah yang dihilangkan tanpa memperkuat klaim secara tidak sah;
  4. O017-LO-U01-04 — menguji peranan asumsi menggunakan contoh dan contoh tandingan;
  5. O017-LO-U01-05 — menggunakan komputasi sebagai bukti empiris diagnostik, bukan sebagai pengganti pembuktian; dan
  6. O017-LO-U01-06 — mencatat sumber, keputusan interpretatif, serta ketidakpastian dalam memo pembacaan yang dapat diaudit.

Latihan dan panduan sumber

Unit 2 · Menelusuri Literatur dan Menilai Otoritas Sumber7 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U02 · penilaian O017-ASMT-U02-COMPLETION

Hasil belajar

  1. O017-LO-U02-01 — mengubah sebuah klaim matematika menjadi pertanyaan penelusuran yang terbatas dan dapat diulang;
  2. O017-LO-U02-02 — membedakan sarana penelusuran, rekaman metadata, teks lengkap, edisi atau versi tertentu, dan catatan koreksi;
  3. O017-LO-U02-03 — menilai otoritas sumber terhadap pertanyaan tertentu, bukan berdasarkan nama besar atau urutan hasil pencarian saja;
  4. O017-LO-U02-04 — membedakan pengidentifikasi persisten untuk karya secara umum dari pengidentifikasi untuk satu versi tertentu;
  5. O017-LO-U02-05 — menggambar rantai sitasi sebagai graf berarah dengan hubungan yang diberi jenis;
  6. O017-LO-U02-06 — memisahkan bukti bahwa “sumber ini menyatakan klaim” dari pembuktian bahwa klaim itu benar; dan
  7. O017-LO-U02-07 — mencatat ketidakpastian tanpa mengisi data yang hilang dengan tebakan.

Latihan dan panduan sumber

Unit 3 · Merekonstruksi Pembuktian yang Diringkas atau Dihilangkan8 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U03 · penilaian O017-ASMT-U03-COMPLETION

Hasil belajar

  1. O017-LO-U03-01 — membekukan klaim yang hendak direkonstruksi tanpa diam-diam menambah atau mengurangi hipotesisnya;
  2. O017-LO-U03-02 — mengembangkan kuantor, domain, dan definisi yang menentukan bentuk sasaran pembuktian;
  3. O017-LO-U03-03 — mengubah bagian pembuktian yang diringkas menjadi daftar kewajiban yang mempunyai masukan dan keluaran jelas;
  4. O017-LO-U03-04 — menggambar graf ketergantungan antara sasaran, lemma, definisi, dan hipotesis;
  5. O017-LO-U03-05 — mengambil lemma berdasarkan kontrak matematisnya, lalu memeriksa setiap hipotesis lemma pada konteks yang sedang dibaca;
  6. O017-LO-U03-06 — mempertemukan perencanaan maju dari hipotesis dengan perencanaan mundur dari kesimpulan;
  7. O017-LO-U03-07 — menulis rekonstruksi minimal yang memadai—cukup lengkap untuk diaudit, tetapi tidak mengubah satu langkah menjadi buku teks baru; dan
  8. O017-LO-U03-08 — membedakan celah yang sudah ditutup, celah yang bersyarat pada rujukan, dan celah yang tetap belum terselesaikan.

Latihan dan panduan sumber

Unit 4 · Sitasi, Provenance, dan Buku Catatan Sumber8 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U04 · penilaian O017-ASMT-U04-COMPLETION

Hasil belajar

  1. O017-LO-U04-01 — membedakan fungsi **sitasi**, **provenance bukti**, dan **provenance komputasi** tanpa memakai salah satunya sebagai pengganti yang lain;
  2. O017-LO-U04-02 — mencatat karya, versi, salinan, dan lokasi internal sebagai objek yang berbeda tetapi saling terhubung;
  3. O017-LO-U04-03 — menghubungkan sebuah klaim ternormalisasi ke penunjuk yang cukup tepat agar pembaca lain dapat menemukan redaksi yang benar-benar diperiksa;
  4. O017-LO-U04-04 — menyimpan dasar penerimaan, penolakan, atau pembatasan klaim matematika, bukan hanya menyimpan daftar pustakanya;
  5. O017-LO-U04-05 — mencatat koreksi sebagai hubungan antarversi tanpa menimpa atau menghapus keadaan historis sumber lama;
  6. O017-LO-U04-06 — menulis ketidakpastian secara terstruktur dan menolak pengisian metadata yang hilang dengan tebakan;
  7. O017-LO-U04-07 — merancang buku catatan sumber yang dapat diperbarui, ditinjau, dan diekspor tanpa kehilangan jejak keputusan; dan
  8. O017-LO-U04-08 — menyusun satu dossier klaim yang menyatukan sitasi, provenance, audit matematika, dan batas kesimpulan.

Latihan dan panduan sumber

Unit 5 · Menulis Eksposisi Matematika yang Dapat Diaudit8 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U05 · penilaian O017-ASMT-U05-COMPLETION

Hasil belajar

  1. O017-LO-U05-01 — menetapkan pembaca sasaran, prasyarat, tujuan, dan batas sebuah eksposisi sebelum memilih tingkat rinciannya;
  2. O017-LO-U05-02 — menyusun definisi, teorema, pembuktian, contoh, dan contoh tandingan sebagai bagian dengan fungsi berbeda;
  3. O017-LO-U05-03 — memakai notasi yang bertipe, diperkenalkan sebelum dipakai, dan konsisten sepanjang dokumen;
  4. O017-LO-U05-04 — memberi penunjuk lokal pada klaim penting serta memakai sitasi eksternal hanya untuk pekerjaan yang benar-benar dilakukan sumber tersebut;
  5. O017-LO-U05-05 — memasang penanda arah lokal agar pembaca mengetahui tujuan, alasan sebuah langkah muncul, dan tempat argumen akan kembali;
  6. O017-LO-U05-06 — merevisi draf melalui audit ketergantungan klaim tanpa menyembunyikan hipotesis, batas, atau ketidakpastian;
  7. O017-LO-U05-07 — membedakan pernyataan yang dibuktikan dari ilustrasi, contoh tandingan, heuristik, dan komentar historis; dan
  8. O017-LO-U05-08 — mengubah eksposisi tertulis menjadi catatan seminar yang dapat diikuti, ditanya, dan dikoreksi secara jujur.

Latihan dan panduan sumber

Unit 6 · Komputasi Matematika yang Dapat Direproduksi9 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U06 · penilaian O017-ASMT-U06-COMPLETION

Hasil belajar

  1. O017-LO-U06-01 — memisahkan klaim tentang satu eksekusi, keterulangan keluaran, kebenaran implementasi, hasil berhingga, dan teorema universal;
  2. O017-LO-U06-02 — membedakan eksperimen pembentuk dugaan, pencarian contoh tandingan, pemeriksaan berhingga yang menyeluruh, sertifikat komputasional, dan pembuktian;
  3. O017-LO-U06-03 — membekukan kode, masukan, parameter, versi, dependensi, model aritmetika, benih acak, keluaran, serta prosedur eksekusi sebagai satu paket provenance;
  4. O017-LO-U06-04 — menjalankan ulang sebuah artefak sedikitnya dua kali dan membandingkan byte aktual dengan keluaran yang diharapkan tanpa memperbarui oracle diam-diam;
  5. O017-LO-U06-05 — mengaudit apakah program benar-benar menguji klaim yang ditulis, termasuk domain, batas indeks, kasus batas, dan arti numeriknya;
  6. O017-LO-U06-06 — merancang upaya falsifikasi yang dapat membedakan kegagalan lingkungan, ketidakdeterministikan, oracle yang lemah, dan kesalahan matematika;
  7. O017-LO-U06-07 — menyajikan keluaran mesin bersama ringkasan teks biasa yang dapat dibaca tanpa warna, plot, atau perangkat lunak tertentu;
  8. O017-LO-U06-08 — menilai secara tepat apa yang ditetapkan dan tidak ditetapkan oleh saksi komputasional identitas Cassini; dan
  9. O017-LO-U06-09 — menyusun dossier komputasi matematika yang dapat diaudit oleh pembaca lain.

Latihan dan panduan sumber

Unit 7 · Errata, Koreksi, dan Batas Kepastian9 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U07 · penilaian O017-ASMT-U07-COMPLETION

Hasil belajar

  1. O017-LO-U07-01 — membedakan salah ketik, cacat eksposisi lokal, hipotesis yang hilang, teorema yang salah sebagaimana ditulis, penunjuk ambigu, dan cacat komputasional;
  2. O017-LO-U07-02 — memisahkan **keparahan dampak** dari **tingkat keyakinan** terhadap diagnosis;
  3. O017-LO-U07-03 — membekukan versi, salinan, penunjuk, dan redaksi yang benar-benar diperiksa;
  4. O017-LO-U07-04 — membuat reproducer minimal yang memeriksa semua hipotesis sebelum menunjukkan kegagalan kesimpulan;
  5. O017-LO-U07-05 — membedakan apa yang teramati, dibuktikan, disimpulkan sementara, dan belum diketahui;
  6. O017-LO-U07-06 — merumuskan koreksi yang cukup sempit dan membuktikan bahwa perbaikannya memang memadai;
  7. O017-LO-U07-07 — menyimpan rekaman koreksi sebagai riwayat tambahan tanpa menimpa klaim atau versi lama;
  8. O017-LO-U07-08 — menulis satu draf isu atau erratum yang ringkas, spesifik, dan dapat ditindaklanjuti tanpa menghubungi pihak luar; serta
  9. O017-LO-U07-09 — menghentikan atau mengeskalasi pemeriksaan ketika bukti, otoritas, atau cakupan dampaknya belum cukup.

Latihan dan panduan sumber

Unit 8 · Catatan Seminar, Laporan Penelaah, dan Tanggapan terhadap Kritik8 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U08 · penilaian O017-ASMT-U08-COMPLETION

Hasil belajar

  1. O017-LO-U08-01 — mengubah sebuah pembicaraan matematika menjadi catatan klaim yang mempunyai waktu, lokasi, jenis, dasar, status verifikasi, dan tingkat keyakinan;
  2. O017-LO-U08-02 — menandai bagian yang tidak terdengar atau tidak tercatat tanpa mengarang isi pengganti;
  3. O017-LO-U08-03 — membedakan ringkasan, verifikasi, pertanyaan, dan keberatan, serta memisahkan keparahan masalah dari keyakinan terhadap diagnosis;
  4. O017-LO-U08-04 — menulis komentar penelaah yang spesifik, terbatas pada bukti, menghormati penulis, dan meminta tindakan yang dapat dilaksanakan;
  5. O017-LO-U08-05 — menilai rekomendasi menerima, revisi minor, revisi mayor, atau menolak berdasarkan keadaan naskah, bukan reputasi atau dugaan mengenai penulis;
  6. O017-LO-U08-06 — menanggapi kritik dengan menyatakan setuju atau tidak setuju, tindakan, bukti, lokasi perubahan, status, dan hal yang belum selesai;
  7. O017-LO-U08-07 — memperbaiki teorema dan pembuktian tanpa menyamarkan redaksi lama atau mengklaim perbaikan lebih luas daripada yang telah dibuktikan; dan
  8. O017-LO-U08-08 — menghasilkan paket seminar–penelaahan–tanggapan yang dapat diperiksa tanpa menghubungi pihak luar atau menerbitkan apa pun.

Latihan dan panduan sumber

Unit 9 · Kontribusi Komunitas Terbatas dan Portofolio yang Dapat Diaudit8 hasil · 6 latihan

Buka unit native · kompetensi O017-COMP-U09 · penilaian O017-ASMT-U09-CAPSTONE

Hasil belajar

  1. O017-LO-U09-01 — memilih satu kontribusi komunitas yang kecil, berguna, sah, dan dapat diselesaikan tanpa memperluas lingkup diam-diam;
  2. O017-LO-U09-02 — membedakan secara operasional status **draf (draft)**, **siap (prepared)**, **dikirim (submitted)**, **diakui (acknowledged)**, **diterima (accepted)**, **digabung (merged)**, dan **diterbitkan (published)**;
  3. O017-LO-U09-03 — menolak klaim status eksternal yang tidak mempunyai bukti peristiwa;
  4. O017-LO-U09-04 — mengemas target, lokator, diagnosis, perbaikan minimal, validasi, cakupan, ketidakpastian, hak, dan atribusi dalam satu paket kontribusi;
  5. O017-LO-U09-05 — menulis satu pesan ringkas yang menghormati pengelola dan dapat ditindaklanjuti tanpa membanjiri kanal dengan komentar terpisah;
  6. O017-LO-U09-06 — menetapkan jalur penghentian, penarikan, koreksi, atau pembalikan bila kontribusi ternyata salah, usang, duplikat, atau tidak lagi berwenang;
  7. O017-LO-U09-07 — menyusun portofolio yang memetakan setiap klaim kompetensi ke bukti nyata dari Unit 1–8; dan
  8. O017-LO-U09-08 — menilai kelengkapan kursus berdasarkan mutu, keterlacakan, serta keterbatasan bukti, bukan jumlah berkas atau klaim aktivitas.

Latihan dan panduan sumber

Prasyarat program

B80 · C20 · C40

Batas adapter