Image of Logika Matematika untuk Ilmu Komputer

Text

Logika Matematika untuk Ilmu Komputer

Buku ini membahas:
1. Pengenalan logika matematika
2. Pengantar logika proporsional
3. Metode-metode logika proporsional
4. Pengantar logika predika
5. Komponen-komponen sintaktik
6. Kuantor-kuantor
7. Penafsiran dan validitas
8. Derivasi
9. Ekuivalen logis untuk logika predikat
10. Tablo semantikl untuk logika predikat
11. Bentuk normal prenex
12. Resolusi untuk logika predikat

Selain belajar logika buku ini juga diuraikan secara singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan soal

Ketersediaan
5569-php511.3 SOE lRak (11)Tersedia
5566-php511.3 SOE lRak (11)Tersedia
5568-php511.3 SOE lRak (11)Tersedia
5567-php511.3 SOE lRak (11)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
511.3 SOE l
Penerbit
Yogyakarta : Andi Offset.,
Deskripsi Fisik
xxii, 476hlm.; 16 cm x 23cm
Bahasa
Indonesia
ISBN/ISSN
979-763-568-6
Klasifikasi
511.3
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
Ed. 1
Subjek
matematika
komputer
LOGIKA
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar