Ditapis dengan
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Dwijono, Djoni
Logika matematika untuk ilmu komputer
Buku ini membahas ; - pengenalan logika matematika - pengantar logika proposisional - pengantar logika predikat - komponen-komponen sintatik - kuantor-kuantor - penafsiran dan validitas - derivasi - ekuivalen logis untuk logika predikat - tablo semantik untuk logika predikat - bentuk normal prenex - resolusi untuk logika predikat
- Edisi
- -
- ISBN/ISSN
- 979-763-568-6
- Deskripsi Fisik
- xxii + 476 hlm.; 16 x 26 cm
- Judul Seri
- -
- No. Panggil
- 511.3 SOE l
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah