Image of Logika matematika untuk ilmu komputer
Penanda Bagikan

Text

Logika matematika untuk ilmu komputer

Buku ini merupakan buku ajar mengenai logika matematika untuk ilmu komputer.

Logika dalam ilmu komputer digunakan sebagai dasar untuk balajar bahasa pemrograman, struktur data, kecerdasan buatan,teknik/sisem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar,dsb.
buku ini membahas tentang :
1.pengenalan logika matematika
2. pengantar logika proposisional
3. metode-metode logika proposisional
4. pengantar logika predikat
5. komponen-komponen sintatik
6. kuantor-kuantor
7. penafsiran dan faliditas
8. derivasi
9. Ekuivalen logis untuk logika preedikat
10. tablo semantik untuk logika predikat
11. bentuk normal prenex
12. resolusi untuk logika predikat

Ketersediaan
#
Sirkulasi (1) 005 Soe l
B9492
Tersedia
#
Sirkulasi (1) 005 Soe l
B9493
Sedang Dipinjam (Jatuh tempo pada 2019-08-20)
#
Sirkulasi (1) 005 Soe l
b9491
Tersedia
#
Sirkulasi (1) 005 Soe l
B9490
Tersedia
#
Cadangan (cadangan) 005 Soe l c.5
17810.5.7328
Tersedia namun tidak untuk dipinjamkan - Baca Di Tempat
Informasi Detail
Judul Seri
-
No. Panggil
005 Soe l
Penerbit
Yogyakarta : Andi.,
Deskripsi Fisik
xx, 469 hal. : ilus. ; 23 cm.
Bahasa
Indonesia
ISBN/ISSN
9789792912340
Klasifikasi
005
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
Ed. II
Subjek
Komputer
Pengolahan Teks-Logika 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