BUKU ORIGINAL LOGIKA MATEMATIKA UNTUK ILMU KOMPUTER

Rp100.000

Kondisi: Baru
Min. Pemesanan: 1 Buah
Etalase: Matematika Teknik

Buku ini merupakan buku ajar mengenan logika matematika untuk
IImu Komputer. Logika dalan ilmu komputer digunakan sebagai dasar
untuk belajar bahasa pemOgraman, struktur data, kecerdasarn buatan,
teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat
lunak, sistem pakar, jaringan saraf tiruan, dan lain-lainnya yang
mempergunakan logika secaa intensif. Banyak hal yang bisa dipetik
saat mempelajari buku ini Selain belajar logika, Anda juja akan
disuguhi sejarah singkat perkembangan logika beserta para pakar
yang mengembangkannya dan beberapa latihan soal. 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 sintaktik
Kuantor-kuantor
Penafsiran dan validitas
Derivasi
Ekuivalen logis untuk logika predikat
Tablo serantik untuk logika predikat
Bentuk normal prenex
Resolusi untuk logika predikat

Ada masalah dengan produk ini?

ULASAN PEMBELI

Belum ada ulasan untuk produk ini

Beli produk ini dan jadilah yang pertama memberikan ulasan