Text

Logika Matematika untuk Ilmu Komputer

---

Penilaian

---

Buku ini membahas : Pengenalan Logika matematika, pengantar logika proposisonal, metode-metode logika proposisional, pengantar logika predikat, komponen-komponen sintaktik, kuantor-kuantor, penafsiran dan validitas, derivasi, ekuaivalen logis untuk logika predikat, tablo semantik untuk logika predikat, bentuk normal prenex dan resolusi untuk logika predikat.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

511.3Soe l

Penerbit

Yogyakarta : Andi Yogyakarta., 2006

Deskripsi Fisik

xix,458 hlm.; 23 cm

Bahasa

Indonesia

ISBN/ISSN

9797635686

Klasifikasi

511.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

Ed.1.

Subjek

matematika

Info Detail Spesifik

-

Pernyataan Tanggungjawab

F. Soesianto

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar