TEKNOLOGI REKAYASA PERANGKAT L

Logika Informatika

---

Buku ini diberikan untuk membekali mahasiswa tentang konsep bahasa formal, yaitu bahasa logika proposisional dan bahasa logika predikat yang keduanya merupakan dasar-dasar logika untuk pemrograman baik yang prosedural dan khususnya pemrograman lojik (seperti PROLOG). Mahasiswa akan belajar baik secara mandiri maupun berkelompok tentang bagaimana membuat kalimat (pernyataan) dengan menggunakan aturan sintatik, serta bagaimana menentukan nilai sebuah kalimat dengan menggunakan aturan semantik. Mahasiswa juga akan belajar bagaiaman membuktikan validitas sebuah kalimat dengan menggunakan pohon semantik (semantic tree) dan teknik PBF (proof by falsification). Lebih dari itu, setelah selesai mempelajari mata kuliah ini mahasiswa akan dibekali dengan kemampuan reasoning. Ketercapaian hasil belajar diukur dengan memberikan soal-soal kepada mahasiswa dalam bentuk ujian.

---

Availability

Detail Information

Series Title

-

Call Number

005.13 SUP l

Publisher

Tangerang : Universitas Terbuka., 2020

Collation

ix, 399 hlm.: ilus.: 21 cm

Language

Indonesia

ISBN/ISSN

9786023927760

Classification

005

Content Type

-

Media Type

-

Carrier Type

-

Edition

Ed. 1

Subject(s)

Logika
Komputer
Informatika

Specific Detail Info

Softcover: Biru

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment