Electronic Resource

e-Book - Logic for Computer Science. Lecture Notes

Bahan ajar tingkat lanjut ini dirancang untuk membekali mahasiswa pascasarjana ilmu komputer dengan fondasi logika formal yang kuat. Fokus utama materi ini adalah menjembatani teori logika murni dengan aplikasi praktis dalam komputasi, seperti spesifikasi formal perangkat lunak, verifikasi program, dan penalaran otomatis (automated reasoning). Dokumen digitalnya didistribusikan secara terbuka untuk tujuan edukasi melalui laman Repositori Resmi Universitas Linköping.

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

004.015 1 SZA l

Penerbit

Swedia : College of Economics and Computer Science (Olsztyn, Polandia) dan Department of Computer Science, Un., 2002

Deskripsi Fisik

125 halaman : ilustrasi diagram ; 28 cm

Bahasa

English

ISBN/ISSN

-

Klasifikasi

004.015 1 SZA l

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

CUGS Edition

Subjek

-

Info Detail Spesifik

Diktat kuliah yang disusun khusus untuk Swedish National Graduate School in Computer Science (CUGS). Materi di dalamnya bersifat komprehensif tanpa ketergantungan teknologi (technology-agnostic), mengupas sistem logika klasik dan non-klasik yang meliputi Propositional Calculus, Predicate Calculus, Automated Deduction, Second-Order Logic, hingga Modal Logics, Temporal Logic, dan Fixpoint Calculus.

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar