Image of Logika Informatika: Dasar-dasar logika untuk pemrograman komputer & Perancangan Komputer

Teks

Logika Informatika: Dasar-dasar logika untuk pemrograman komputer & Perancangan Komputer

Pembahasan dalam buku ini meliputi :
- logika proposisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, substitusi, dsb.
- logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidak valid, quantifier
- skema-skema kalimat valid, closure dan logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar, manipulasi dengan map

Ketersediaan
B001256SR 005.11 Sup l c.1My Library (000)Tersedia
B001257SR 005.11 Sup l c.2My Library (000)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
SR 005.11 Sup l
Penerbit
Yogyakarta : GAVA MEDIA.,
Deskripsi Fisik
x, 202hlm.; 23cm
Bahasa
Indonesia
ISBN/ISSN
979-97088-3-4
Klasifikasi
005.11
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
Cet.1
Subjek
logika informatika
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Komentar
Anda harus masuk sebelum memberikan komentar