Hasil Pencarian  ::  Simpan CSV :: Kembali

"This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification."

"This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming."

"Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs."

"Seorang mahasiswa sebelum melakukan kegiatan akademis di Perguruan Tinggi akan melakukan pengisian Formulir Rencana Studi (FRS). Dengan bertambah majunya teknologi informasi dijital seperti intemet, aplikasi pengisian form FRS dapat dilakukan dad jarak jauh dengan menggunakan world wide web. Pada skripsi ini akan diterapkan aplikasi basis data pads dokumen web di intemet berupa pengisian form Hypertext Markup Language (HTML) dengan perancangan dan pengembangan perangkat lunak untuk sistem pengisian FRS jarak jauh berdasarkan basis data pada Sistem Informasi Basis Data Pakar dan ujicoba pads jaringan komputer lokal intranet. Pengisian form FRS dilakukan oleh mahasiswa yang datanya tercatat pada basis data komputer kampus, dalam hal ini digunakan basis data pada Sistem Informasi Basis Data Pakar (Sibapak). Berdasarkan data kondisi akademis pads basis data, seorang mahasiswa mengisi FRS sesuai dengan syarat Indeks Prestasi pada semester sebelumnya. Pengisian form FRS dengan intemet ditujukan untuk mengatasi permasalahan administrasi yang sering terjadi pada pengisian FRS biasa seperti faktor keterlambatan karena saat liburan, letak kampus yang berada di luar kota atau tersebar."