Open Logic Project — bahasa Indonesia: pembaca lengkap 722 unit, PDF, HTML, EPUB dan sumber LaTeX

Pembaca lengkap bahasa Indonesia — 722 unit

Satu PDF historis mencakup 1.255 halaman; HTML dan EPUB baru memuat seluruh 722 berkas sumber dalam 774 kemunculan, termasuk dua koreksi tentang kelas ekuivalensi barisan Cauchy. Bagian utama dan pelengkap berada dalam satu pembaca. Tidak ada peringkasan isi.

PDF historis dan sumber yang cocok

1. Baca atau unduh PDF lengkap
2. LaTeX kumulatif lengkap untuk PDF
3. Seluruh sumber dan perangkat reproduksi PDF

HTML dan EPUB dengan koreksi Cauchy

1. LaTeX lengkap untuk HTML/EPUB
2. Sumber lengkap, dependensi dan perangkat reproduksi
3. Baca daring dalam bahasa Indonesia
4. Unduh EPUB lengkap
5. Unduh HTML untuk penggunaan luring

Cakupan pemeriksaan

Seluruh 771 berkas sumber dan 42.611 objek MathML asli dipertahankan; 9.135 tautan diperiksa. Sebanyak 792 diagram derivasi dilengkapi bentuk terstruktur dengan 2.351 bagian. Sebanyak 99 pengujian lulus; EPUBCheck 5.4.0 tidak melaporkan pesan. Reproduksi dari LaTeX asli menghasilkan EPUB identik. Catatan pilihan ekspor dan hasil pemeriksaan tersedia di direktori review dalam ZIP.

Ini bukan audit kanon baru atas seluruh terjemahan warisan atau klaim penelaahan manusia. Kuitansi penelaahan independen warisan hanya tersedia hingga OLP-0321; 401 unit berikutnya tidak diklaim memiliki kuitansi setara. Ucapan pembaca layar belum diuji secara langsung. PDF historis belum bertag PDF/UA dan belum memuat dua koreksi Cauchy; semua berkas historis tetap tersedia tanpa perubahan.

Asal, lisensi dan penggunaan AI

Karya asal: Open Logic Project, CC BY 4.0. Pertahankan atribusi serta lisensi individual sumber, media dan dependensi. Tidak tersirat pengesahan Open Logic Project. Naskah utama mencatat terjemahan awal oleh OpenAI 5.6 Sol, Ultra mode. Sampul pelengkap hanya menyebut OpenAI Codex; model dan tingkat upaya yang tidak tercatat tidak ditebak. Ekspor HTML/EPUB, perbaikan tampilan dan pengemasan sumber: OpenAI Codex — GPT-6 Astra, Ultra. Tidak ada klaim penyuntingan, penelaahan atau persetujuan manusia.

Repositori terjemahan dan catatan koreksi · Rilis GitHub · Katalog bersama. Sumber beku dan hash tersedia dalam paket teknis. Terbitan ini melanjutkan keluarga DOI 10.5281/zenodo.21932786.