Text

Logika informatika

Logika Informatika adalah penerapan prinsip-prinsip logika matematis untuk memecahkan masalah komputasi, berfungsi sebagai fondasi untuk merancang algoritma, memformalkan bahasa pemrograman, mengontrol alur program, menguji perangkat lunak, dan menjadi dasar kecerdasan buatan (AI) serta sistem digital, mencakup logika proposisional hingga logika predikat untuk penalaran valid dan terstruktur dalam dunia komputasi dan data.

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

620 SUP L C-1

Penerbit

Yogyakarta : Gava Media., 2003

Deskripsi Fisik

x + 202 hlm; 16 x 23 cm

Bahasa

Indonesia

ISBN/ISSN

979-97088-3-4

Klasifikasi

620

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

cetakan 1

Subjek

-

Info Detail Spesifik

Mengingat keterbasan buku logika khususnya logika informatika?�???� dan khususnya yang berbahasa Indonesia, maka buku ini disamping untuk memenuhi kebutuhan 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. Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsional, interpretasi, sematic tree, kalimat-kalimat valid, satisfiable dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid tidak valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure. Bab keempat berisi logika biner, aljabar, Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map

Pernyataan Tanggungjawab

Suprapto

Versi lain/terkait

Lampiran Berkas

Komentar