Langsung ke isi utama
Penulis

KokunoYumeto — diproduksi dengan OpenAI Codex gpt-5.6-sol, Ultra

Diterbitkan

2026-08-24

Doi

10.5281/zenodo.22073823

Abstrak
Buku praktik sembilan unit beserta perangkat penyampaian autentik tentang pembacaan penelitian matematika, rekonstruksi pembuktian, sitasi dan provenance, eksposisi, komputasi yang dapat direproduksi, errata, penelaahan, serta kontribusi komunitas terbatas.

Tentang edisi ini

Buku praktik ini mengajarkan cara membaca, menulis, memeriksa, dan membagikan matematika sehingga klaim, sumber, komputasi, koreksi, dan batas kepastiannya dapat ditelusuri.

CatatanEdisi, DOI, dan akses

Mata kuliah ini mengandaikan bahwa pembaca sudah dapat menulis pembuktian dasar, menggunakan matematika diskret, dan menjalankan komputasi matematika yang dapat direproduksi. Fokusnya bukan belajar Python atau teknik pembuktian dari awal, melainkan menggunakan keterampilan tersebut dalam kerja penelitian yang dapat diaudit.

Mulailah dengan Unit 1: Membaca argumen sebagai jejaring klaim.

0.1 Sembilan unit

  1. Membaca argumen sebagai jejaring klaim
  2. Menelusuri literatur dan menilai otoritas sumber
  3. Merekonstruksi pembuktian yang diringkas
  4. Sitasi, provenance, dan buku catatan sumber
  5. Eksposisi matematika yang dapat diaudit
  6. Komputasi yang dapat direproduksi sebagai bukti empiris
  7. Errata, koreksi, dan batas kepastian
  8. Catatan seminar, laporan penelaah, dan tanggapan
  9. Kontribusi komunitas terbatas dan portofolio akhir

Sesudah sembilan unit, gunakan perangkat penyampaian dan penilaian autentik. Perangkat itu memisahkan latihan simulasi dari bukti dunia nyata, mensyaratkan penelaah independen bila diperlukan, dan tidak pernah menganggap draf lokal sebagai kontribusi komunitas.

0.2 Glosarium istilah teknis utama

Glosarium ringkas ini mengendalikan istilah yang dipakai lintasunit. Ia membedakan istilah yang dekat tetapi tidak identik; padanan Inggris dicantumkan hanya ketika membantu menjaga identitas teknis.

  • bukti (proof) adalah objek argumen yang mendukung klaim matematika; pembuktian adalah proses menyusun atau memeriksanya. Bukti empiris tetap dibedakan dari bukti matematika.
  • graf, simpul, sisi, dan graf terhubung adalah istilah dasar teori graf. Spanning tree ditulis pohon merentang; spanning subgraph ialah upagraf merentang; dan minimum spanning forest ialah hutan merentang minimum.
  • graf ketergantungan dipakai untuk jejaring logis antarklaim. Dependensi dipertahankan untuk paket atau komponen perangkat lunak bila konteks teknis memerlukannya.
  • fungsi adalah nomina matematis utama; pemetaan dipakai ketika tindakan atau sudut pandang pemetaan memang dimaksudkan.
  • barisan berarti sequence dan deret berarti series. Prosesnya ialah rekursi, sifatnya rekursif, dan recurrence relation ditulis relasi rekurens.
  • kontinu adalah sifat fungsi; nominanya kekontinuan. Integral ialah objeknya dan integrasi ialah operasi atau metodenya.
  • galat dipakai untuk kesalahan numerik atau hampiran. Koreksi publikasi diperkenalkan sebagai koreksi (erratum), bukan sebagai galat numerik.
  • reproduksibilitas adalah bentuk nomina baku internal untuk kemampuan mengulang proses dengan artefak dan kondisi yang dinyatakan. Istilah teknis reproducer minimal diperkenalkan sekali sebagai kasus reproduksi minimal, kemudian dapat disingkat sesuai konteks.
  • komputasi berarti kegiatan atau kapasitas komputasional yang lebih luas; perhitungan berarti kalkulasi tertentu. Studi literatur, pengujian, hasil pengujian, data, dan algoritma dipakai sesuai fungsi masing-masing, bukan sebagai padanan yang saling menggantikan.
  • provenance berarti riwayat asal-usul, versi, transformasi, dan hubungan bukti yang dapat diaudit; istilah ini tidak disamakan dengan provenans biologis. Manifes adalah daftar identitas artefak, ukuran, hash, hak, dan statusnya.
CatatanQA terminologi dan provenance produksi

Sebelum edisi ini diselesaikan, istilah diperiksa langsung pada sumber TeX Bahasa Indonesia arXiv:0807.4609v1, sebuah artikel komputasi ilmiah yang secara resmi ditandai berbahasa Indonesia. Sumber itu mendukung pembedaan komputasi dan perhitungan serta istilah alur kerja seperti studi literatur, pengujian, data, dan algoritma, tetapi bukan saksi untuk istilah teorema, lemma, penelaahan sejawat, erratum, atau pembuktian matematika. Untuk istilah matematika tersebut, edisi ini memakai bahan Bahasa Indonesia 2026 karya Rinaldi Munir yang dihoskan resmi oleh Institut Teknologi Bandung: bahan IF1220 tentang pembuktian, fungsi, barisan, rekursi, graf, dan pohon, serta bahan Metode Numerik tentang integral dan galat. Sumber QA tidak didistribusikan bersama edisi ini. Rekaman identitas, hak, hash, lokator, dan keputusan tersimpan dalam bukti QA sumber.

Sistem produksi: OpenAI Codex gpt-5.6-sol, Ultra. Digunakan atas instruksi kreator manusia. KokunoYumeto adalah identitas publik kreator dan pemegang hak materi asli; semua kredit donor, penulis sumber, dan kontributor manusia dipertahankan.

Setiap unit mempunyai hasil belajar, kasus matematika yang dikerjakan, latihan terbimbing, enam latihan, enam panduan jawaban, dan tugas penyelesaian. ID yang terlihat pada pembaca juga dipertahankan dalam ekspor backend agar versi bahasa lain tidak perlu direkonstruksi dari HTML.

0.3 Batas mata kuliah

Pembaca ini menggunakan pemrograman dan komputasi sebagai prasyarat, tetapi tidak mengajarkan kembali sintaks Python, API paket, metode numerik, lingkungan, pengujian perangkat lunak, atau deployment. Materi tersebut berada dalam B80. O017 berfokus pada status klaim, pembuktian, sumber, provenance, eksposisi, errata, eksperimen versus pembuktian, kritik ilmiah, dan kontribusi terbatas.

Penyelesaian dan publikasi edisi ini berdiri sendiri dari keputusan apakah akar kurikulum 40 mata kuliah akhirnya memilih corpus ini untuk peran D120.

0.4 Hak dan perangkat lunak yang dibundel

Konten, kode, data faktual, donor metodologis, dan runtime HTML memiliki lisensi per komponen. Baca LICENSES.md dan THIRD_PARTY_NOTICES.md yang ikut dalam pembaca luring ini; arsip sumber dan backend pada rekaman Zenodo menyimpan peta hak per jalur serta bukti asalnya.