Proyek Logika Terbuka — Pembaca Bahasa Indonesia
Pembaca ini memuat seluruh 722 berkas sumber dalam 774 kemunculan bacaan. Naskah utama dan bagian pelengkap dibaca dalam satu urutan, dengan penomoran asli masing-masing dipertahankan.
Ekspor HTML/EPUB, perbaikan tampilan, dan pengemasan: OpenAI Codex — GPT-6 Astra, Ultra. Naskah utama mencatat terjemahan awal oleh OpenAI 5.6 Sol, Ultra mode. Sampul pelengkap hanya menyebut OpenAI Codex; identitas model dan tingkat upaya yang tidak tercatat tidak ditebak.
Ini bukan terjemahan ulang, audit kanon baru atas semua pilihan bahasa, atau klaim penelaahan manusia. Dua koreksi tentang kelas ekuivalensi barisan Cauchy yang telah diterbitkan pada 2 Oktober 2026 disertakan; PDF historis belum memuat koreksi tersebut.
Rumus memakai MathML dan diagram memakai SVG. Sebanyak 792 diagram derivasi juga mempunyai bentuk terstruktur dengan 2.351 bagian yang mempertahankan rumus, hubungan antarbagian, dan label. Ucapan pembaca layar belum diuji secara langsung; dukungan MathML berbeda antaraplikasi. Berkas dibagi menurut bagian dan bab agar perangkat tidak perlu memuat seluruh buku sekaligus.
Karya asal: Open Logic Project. Teks memakai Creative Commons Attribution 4.0; pertahankan atribusi serta lisensi individual sumber dan media. Tidak tersirat dukungan atau pengesahan Open Logic Project.
- LaTeX lengkap yang dapat disunting
- Seluruh sumber, dependensi, dan perangkat reproduksi
- Unduh EPUB lengkap
- Unduh pembaca HTML untuk penggunaan luring
- Baca daring
- Koreksi Cauchy dan sumber yang dikonsultasikan
- Asal terjemahan, batas pemeriksaan, dan catatan penelaahan
- Lisensi CC BY 4.0
- Open Logic Project
- Katalog terjemahan bersama (antarmuka belum seluruhnya berbahasa Indonesia)
- Tentang Proyek Logika Terbuka
- Daftar Isi
- I Teori Himpunan Naif
- 1 Himpunan
- 2 Relasi
- 3 Fungsi
- 4 Ukuran Himpunan
- 5 Aritmetisasi
- 6 Himpunan Tak Hingga
- II Logika Proposisi
- 7 Sintaks dan Semantik
- 8 Sistem Derivasi
- 9 Kalkulus Sekuen
- 10 Deduksi Alami
- 11 Tableau
- 12 Derivasi Aksiomatik
- 13 Teorema Kelengkapan
- III Logika Orde Pertama
- 14 Pengantar Logika Orde Pertama
- 15 Sintaksis Logika Orde Pertama
- 16 Semantik Logika Orde Pertama
- 17 Teori dan Model-Modelnya
- 18 Sistem Derivasi
- 19 Kalkulus Sekuen
- 20 Deduksi Alami
- 21 Tableau
- 22 Derivasi Aksiomatik
- 23 Teorema Kelengkapan
- 24 Melampaui Logika Orde Pertama
- IV Teori Model
- 25 Dasar-Dasar Teori Model
- 26 Model-Model Aritmetika
- 27 Teorema Interpolasi
- 28 Teorema Lindström
- V Komputabilitas
- 29 Fungsi Rekursif
- 30 Teori Komputabilitas
- VI Mesin Turing
- 31 Komputasi Mesin Turing
- 32 Ketakterputusan
- VII Ketaklengkapan
- 33 Pengantar Ketaklengkapan
- 34 Aritmetisasi Sintaksis
- 35 Representabilitas dalam 𝐐
- 36 Teori dan Komputabilitas
- 37 Ketaklengkapan dan Keterbuktian
- VIII Logika Orde Kedua
- 38 Sintaksis dan Semantik
- 39 Metateori Logika Orde Kedua
- 40 Logika Orde Kedua dan Teori Himpunan
- IX Kalkulus Lambda
- 41 Pengantar
- 42 Sintaksis
- 43 Sifat Church–Rosser
- 44 Keterdefinisian Lambda
- X Logika Bernilai Banyak
- 45 Sintaks dan Semantik
- 46 Logika Bernilai Tiga
- 47 Logika Bernilai Tak Hingga
- 48 Kalkulus Sekuen
- XI Logika Modal Normal
- 49 Sintaksis dan Semantik
- 50 Keterdefinisian Kerangka
- 51 Derivasi Aksiomatik
- 52 Kelengkapan dan Model Kanonik
- 53 Filtrasi dan Keterputusan
- 54 Tableau Modal
- 55 Kalkulus Sekuen Modal
- XII Logika Modal Terapan
- 56 Logika Temporal
- 57 Logika Epistemik
- XIII Logika Intuisionistik
- 58 Pendahuluan
- 59 Semantik
- 60 Kesahihan dan Kelengkapan
- 61 Tableau Intuisionistik
- XIV Kontrafaktual
- 62 Pendahuluan
- 63 Semantik Perubahan Minimal
- XV Teori Himpunan
- 64 Konsepsi Iteratif
- 65 Langkah-Langkah Menuju 𝐙
- 66 Ordinal
- 67 Tahap dan Peringkat
- 68 Penggantian
- 69 Aritmetika Ordinal
- 70 Kardinal
- 71 Aritmetika Kardinal
- 72 Pilihan
- XVI Metode
- 73 Bukti
- 74 Induksi
- XVII Sejarah
- 75 Biografi
- 76 Sejarah dan Mitologi Teori Himpunan
- XVIII Referensi
- 77 Alfabet Yunani
- 78 Alfabet Fraktur
- I Teori Bukti
- 1 Kalkulus Sekuen
- 2 Eliminasi Potongan
- 3 Deduksi Alami
- 4 Normalisasi
- 5 Proposisi sebagai Tipe
- 6 Pencarian Bukti
- Formulasi tambahan dan fragmen teori bukti
- Unit tambahan dari bagian lain
- Logika orde pertama
- Ketaklengkapan
- Logika intuisionistik dan kalkulus lambda
- Logika bernilai banyak, teori model, dan logika modal
- Logika proposisional dan orde kedua
- Himpunan, fungsi, dan definisi induktif
- Kerangka susunan alternatif
- Petunjuk kerangka
- B Sintaks dan Semantik
- IV Himpunan, Relasi, Fungsi
- C Relasi
- D Ukuran Himpunan
- Bibliografi
- Indeks Berkas Sumber
- Catatan