Image of Logika Matematika untuk Ilmu Komputer

Text

Logika Matematika untuk Ilmu Komputer

Buku ini membahas : Pengenalan Logika matematika, pengantar logika proposisonal, metode-metode logika proposisional, pengantar logika predikat, komponen-komponen sintaktik, kuantor-kuantor, penafsiran dan validitas, derivasi, ekuaivalen logis untuk logika predikat, tablo semantik untuk logika predikat, bentuk normal prenex dan resolusi untuk logika predikat.

Ketersediaan
53414511.3 Soe lPerpustakaan IAIN Palopo (Ruang Rak Tandon)Tersedia
53415511.3Soe lPerpustakaan IAIN Palopo (Ruang Rak Sirkulasi)Tersedia
53413511.3Soe lPerpustakaan IAIN Palopo (Ruang Rak Sirkulasi)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
511.3Soe l
Penerbit
Yogyakarta : Andi Yogyakarta.,
Deskripsi Fisik
xix,458 hlm.; 23 cm
Bahasa
Indonesia
ISBN/ISSN
9797635686
Klasifikasi
511.3
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
Ed.1.
Subjek
matematika
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

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