Image of Logika matematika untuk ilmu komputer
Penanda Bagikan

Text

Logika matematika untuk ilmu komputer

Buku ini membahas ;
- pengenalan logika matematika
- pengantar logika proposisional
- pengantar logika predikat
- komponen-komponen sintatik
- kuantor-kuantor
- penafsiran dan validitas
- derivasi
- ekuivalen logis untuk logika predikat
- tablo semantik untuk logika predikat
- bentuk normal prenex
- resolusi untuk logika predikat

Ketersediaan
#
Perpustakaan Politeknik Harapan Bersama (500) 511.3 SOE l
004040
Tersedia
#
Perpustakaan Politeknik Harapan Bersama 511.3 SOE l
003410
Tersedia
#
Perpustakaan Politeknik Harapan Bersama (000) 511.3 SOE l
003411
Tersedia namun tidak untuk dipinjamkan - Missing
#
Tandon (000) 511.3 SOE l c4
004819
Tersedia namun tidak untuk dipinjamkan - No Loan
Informasi Detail
Judul Seri
-
No. Panggil
511.3 SOE l
Penerbit
Yogyakarta : Andi.,
Deskripsi Fisik
xxii + 476 hlm.; 16 x 26 cm
Bahasa
Indonesia
ISBN/ISSN
979-763-568-6
Klasifikasi
511.3
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
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