Algoritma

Logika Matematika untuk Ilmu Komputer

---

Penilaian

---

Buku ini merupakan buku ajar mengenai logika matematika untuk Ilmu Komputer. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf. tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Banyak hal yang bisa dipetik saat mempelajari buku ini. Selain belajar logika, Anda juga akan disuguhi sejarah singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan soal. Anda bisa mendapatkan lebihbanyak ilmu melalui satu buku. Buku ini membahas: e Pengenalal logika matematika r Pengantar logika proposisional e Metode-metode logika proposisional c Pengantar logika predikat e Komponen-komponen sintaktik r Kualtor-kuantor r Penafsiran dan validitas c Derivasi e Ekuivalen logis untuk logika predikat e- Tablo semantik untuk logika predikat e Bentuk normal prenex c Resolusi untuk logika predikat

---

Availability

Detail Information

Series Title

NULL

Call Number

Soe-510-l

Publisher

: ., 2006

Collation

xxii + 476 hlm, 1 Jil.: 23 cm

Language

Indonesia

ISBN/ISSN

979-763-568-6

Classification

Algoritma

Content Type

-

Media Type

-

Carrier Type

-

Edition

I

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment