TEXT

Logika Proposisional

---

Logika yang dipelajari di bidang informatika atau ilmu komputer disebut logika matematika (mathematical logic).
Logika matematika sebagi ilmu sudah berkembang sangat pesat seperti : logika proposisional, logika predikat, pemrograman logika, logika fuzzy dan sebagainya.
Pokok bahasan buku ini
- Dasar-dasar Logika
- Tabel kebenaran
- Menganalisis proposisi majemuk
- Mengevaluasi validitas argumen
- Hukum-hukum logika
- Operasi penyederhanaan
- Strategi pembalikan
- Tablo semantik
- Bentuk normal
- Himpunan klausa
- Aturan-aturan deduksi alami
- Pembuktian menggunakan Kalkulus Deret

---

Ketersediaan

Informasi Detail

Judul Seri

Logika Matematika

No. Panggil

511.3 SOE l

Penerbit

Yogyakarta : Andi., 2003

Deskripsi Fisik

ix.,199 hlm

Bahasa

Indonesia

ISBN/ISSN

979-731-051-5

Klasifikasi

511

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

1

Subjek

Himpunan teori

Info Detail Spesifik

-

Pernyataan Tanggungjawab

F. Soesianto ; Djoni Dwijono

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar