Detail Cantuman
Advanced SearchBuku Non Fiksi
Logika Matematika Untuk Ilmu Komputer
Pengenalan logika matematika, pengantar logika proposional,tabel kebenaran, proposisi majemuk, tautologi, ekuivalen logis, penyederhanaan,strategi pembalikan, tablo semantik, bentuk normal, resolosi,deduksi alami,....
Ketersediaan
0027518 | 511.3 SOE l | Ilmu Murni (500) | Tersedia |
Informasi Detil
Judul Seri |
-
|
---|---|
No. Panggil |
511.3 SOE l
|
Penerbit | PROYEK PENDIDIKAN GURU : Yokyakarta., 2010 |
Deskripsi Fisik |
23x2cm 476hal
|
Bahasa |
Indonesia
|
ISBN/ISSN |
9789792912340
|
Klasifikasi |
511.3
|
Tipe Isi |
-
|
Tipe Media |
-
|
---|---|
Tipe Pembawa |
-
|
Edisi |
2
|
Subyek |
-
|
Info Detil Spesifik |
-
|
Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain