Ditapis dengan
Ditemukan 2 dari pencarian Anda melalui kata kunci: author=Soesianto
Logika Matematika untuk Ilmu Komputer
Buku ini membahas : Pengenalan Logika matematika, pengantar logika proposisonal, metode-metode logika proposisional, pengantar logika predikat, komponen-komponen sintaktik, kuantor-kuantor, penafsiran dan validitas, derivasi, ekuaivalen logis untuk logika predikat, tablo semantik untuk logika predikat, bentuk normal prenex dan resolusi untuk logika predikat.
- Edisi
- Ed.1.
- ISBN/ISSN
- 9797635686
- Deskripsi Fisik
- xix,458 hlm.; 23 cm
- Judul Seri
- -
- No. Panggil
- 511.3Soe l
Seni Logika Matematika Logika Proposisional : Proposisional
Buku ini membahas : Dasar-dasar Logika, Tabel kebenaran, menganalisis Proposisi Majemuk, mengevaluasi validitas argumen, hukum-hukum logika, operasi penyederhanaan, strategi pengembalikan, tablo semantik, bentu normal, himpunan, aturan-aturan deduksi alami, dan pembuktian menggunkan kalkulus Deret.
- Edisi
- Ed.1
- ISBN/ISSN
- 9797310515
- Deskripsi Fisik
- xii,207 hlm; 23 cm
- Judul Seri
- -
- No. Panggil
- 511.3 Soe s
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah