TEXT

Logika Matematika untuk Ilmu Komputer

---

Buku ini merupakan buku ajar mengenai logika matematika untuk ilmu computer.logika dalam ilmu computer digunakan sebagai dasar untuk belajar bahasa pemrograman,struktur data, kecerdasan buatan,teknik/system digital,basis data,teori komputasi,rekayasa perangkat lunak,system pakar,jaringan saraf tiruan,dan lain-lainnya yang mempergunakan logika secara intensif.banyak hal yang bisa di petik saat mempelajari buku ini.selain belajar logika,anda juga akan disuguhi sejarah singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan sosial.anda bisa mendapatkan lebih banyak ilmu melalui satu buku.
Buku ini membahas:
.pengenalan logika matematika
.pengantar logika proposisional
.metode-metode logika proposisional
.pengantar logika predikat
.komponen-komponen simpatik
.kuantor-kuantor
.penafsiran dan validitas
.derivasi
.ekuivalen logis untuk logika predikat
.tablo semantik untuk logika predikat
.bentuk normal prenex
.resolusi untuk logika predikat

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

SR 004.0151 SOE l

Penerbit

Yogyakarta : Andi., 2010

Deskripsi Fisik

xix, 471 Hlm

Bahasa

Indonesia

ISBN/ISSN

987-979-291-234-0

Klasifikasi

004

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

Edisi 2

Subjek

Ilmu Komputer

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar