Ditapis dengan
Logika Informatika
Buku ini membahas tentang; PEngantar logika, kuantifikasi, aljabar boole, Switching circuits, gerbang logika, serta model pembuktian.
- Edisi
- Cet. 1
- ISBN/ISSN
- 9789797562366
- Deskripsi Fisik
- viii + 123 hlm.; 26 cm.
- Judul Seri
- -
- No. Panggil
- 511.3 SET l
Matematika Diskrit
Materi yang dibahas dalam buku ini yaitu: Bab 1 Logika Bab 2 Peta Karnaugh Bab 3 Metode Quine McCluskey Bab 4 Konvolusi Bab 5 Bilangan Floating-Point Bab 6 Kode Hamming Bab 7 Graph
- Edisi
- Cet.1
- ISBN/ISSN
- 9789797564742
- Deskripsi Fisik
- vii,76 hlm.: 21 cm
- Judul Seri
- -
- No. Panggil
- 511.3 FAD m
Himpunan & Logika Samar Serta Aplikasinya
Buku ini membahas : Hubungan antara Teori Himpunan Sedrhana dan Teori Himpunan Samar, Hubungan antara Teori Logika Matematika dan Teori Logika Samar. Relasi Samar, Teori Logika Samar dan beberapa aplikasinya (dalam keteknikan Perekonomian, pertanian, kedokteran dan sebagainya.
- Edisi
- Cet.1
- ISBN/ISSN
- 9789797564889
- Deskripsi Fisik
- viii,272 hlm,:23 cm
- Judul Seri
- -
- No. Panggil
- 511.3 SET h
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
- Seri Logika Matematika
- 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