Printed

Logika Matematika Untuk Ilmu Komputer

---

Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Banyak hal yang bisa dipetik saat mempelajari buku ini Selain belajar logika, anda juga akan disuguhi serah singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan soal
Buku ini membahas :
1 Pengenalan logika matematika
2 Pengantar logika proposional
3 Metode-metode logika proposional
4 Pengantar logika predikat
5 Komponen-komponen sintaktik
6 Kuantor-kuantor
7 Penafsiran & validitas
8 Derivasi
9 Ekuivalen logis untuk logika predikat
10 Tablo semantik untuk logika predikat
11 Bentuk normal prenex
12 Resolusi untuk logika predikat.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

511.3 SOE l

Penerbit

Yogyakarta : Andi., 2006

Deskripsi Fisik

xxii, 476 hal.: ilus.; 23 cm

Bahasa

Indonesia

ISBN/ISSN

979-763-568-6

Klasifikasi

511.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

1st ed

Subjek

Mathematical Logic
Mathematics

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar