Select Language  
Book's Detail
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.

Statement of Responsibility
Author(s) SOESIANTO - Personal Name
Edition 1st ed
Call Number 511.3 SOE l
ISBN/ISSN 979-763-568-6
Subject(s) Mathematical Logic
Mathematics
Classification 511.3
Series Title
GMD Printed
Language Indonesia
Publisher Andi
Publishing Year 2006
Publishing Place Yogyakarta
Collation xxii, 476 hal.: ilus.; 23 cm
Specific Detail Info
File Attachment
LOADING LIST...
Availability
LOADING LIST...