DETAIL BUKU
  • Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer

    Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer

    • Suprapto
    • Gava Media
    • 2003
    • 979-97088-3-4
    Sinopsis

    Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa indonesia. Maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer : Buku ini disusun dalam empat bab, yaitu : Bab pertama berisi kalimat-kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidal valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure, dan Bab keempat berisi logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar. manipulasi dengan MAP.

    Kata Kunci
    Tersedia di Perpustakaan Kampus:
    • Kaliabang, Karawang
    Silahkan Login untuk dapat Melakukan Peminjaman Online
Kode Buku : 206289
Kode Klasifikasi : 005.1
Judul Buku : Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer
Edisi : -
Penulis : Suprapto
Penerbit : Gava Media
Bahasa : Indonesia
Tahun : 2003
ISBN : 979-97088-3-4
Tajuk Subjek : Logika Informatika,Pemrograman
Deskripsi : x, 202 hlm. : ill. ; 23 cm
Eksemplar : 2
Stok : 2
Petugas : Rahidzat
Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer
Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa indonesia. Maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer :
Buku ini disusun dalam empat bab, yaitu :
Bab pertama berisi kalimat-kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan substitusi.
Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidal valid, quantifier.
Bab ketiga berisi skema-skema kalimat valid, closure, dan
Bab keempat berisi logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar. manipulasi dengan MAP.
Terkait Subjek Buku yang sama