C80 — Logika Matematis, Teori Himpunan, dan Komputabilitas
Baca edisi gabungan Bahasa Indonesia: pembaca utama dan suplemen berada dalam satu PDF.
1.116 halaman pembaca utama + 139 halaman suplemen. Seluruh teks dan geometri halaman PDF gabungan telah dibandingkan dengan kedua komponennya. Ini bukan pemeriksaan ulang mutu terjemahan atau klaim aksesibilitas PDF yang lengkap.
Apa yang tersedia
Buka perencana tugas OpenLogic · English interface
Pilih dari 442 kemunculan tercetak yang dipetakan ke 427 soal sumber berbeda. Sepuluh soal dinonaktifkan oleh tag edisi dan satu tidak tercetak karena pemicu pencetakan tertunda tidak dijalankan; semuanya tetap dicatat terpisah. Jawaban, petunjuk, dan penyelesaian belum diaudit.
Sumber yang dapat disunting
- Unduh sumber terjemahan utama (ZIP)
- Unduh sumber dan penggerak suplemen (ZIP)
- Buka rilis lengkap, atribusi, lisensi, dan catatan perubahan
Hak cipta dan atribusi Open Logic Project serta pemberitahuan komponen tetap berlaku. Halaman ini tidak menyalin atau menerjemahkan ulang buku.
Integrasi dan penyuntingan halaman ini dikerjakan oleh OpenAI Codex — gpt-6-astra, Ultra effort. Riwayat terjemahan buku tetap mengikuti catatan rilisnya; integrasi ini bukan tinjauan manusia.
Bukti, versi terdahulu, dan batas pemetaan
Adapter v2.3.1 yang dibekukan pada 31 Agustus tetap dipertahankan. Catatan lamanya mencakup pembaca 642 unit dan 80 unit sumber tersimpan. Lapisan rute saat ini menambahkan pembaca gabungan yang telah diterbitkan tanpa mengubah sumber atau identitas unit.
Identitas PDF gabungan: 5.754.676 byte; SHA-256 1b763b8b15c9f28a1212d81ee3e3a3f60ee3212fe1ffa4620c947caf43c89930.
- Rute pelajar, identitas versi, dan batas klaim
- Hasil validasi rute
- Indeks adapter bersama
- Pembaca utama terdahulu — 1.116 halaman
- Arsip versi terdahulu (10.5281/zenodo.21932787)
- Seluruh versi pada Zenodo
Pemetaan soal tercetak tersedia melalui perencana tugas; ini tidak mengubah catatan adapter terdahulu. Pembaca HTML native, mesin asesmen, dan kepatuhan PDF/UA belum diklaim. Pembaca utama terdahulu tetap dapat diakses.