| Judul | Logika Matematika Untuk Ilmu Komputer |
| Pengarang | Soesianto Djoni Dwijono |
| EDISI | 2 |
| Penerbitan | Jakarta Andi Offset 2010 |
| Deskripsi Fisik | xx, 470 p.: ill.; 23 cm |
| ISBN | 978-979-29-1234-0 |
| Subjek | Logika Matematika -- Ilmu Komputer |
| Catatan | Buku ini berisi pembahasan mengenai logika matematika untuk ilmu komputer. Pembahasannya mencakup: pengenalan logika matematika; pengantar loika proposionaln; metode-metode logika proposional; pengantar logika predikat; komponen-komponen sintaktik; kuantor-kuantor; penafsiran dan validitas; derivasi; ekuivalen logis untuk logika predikat; tablo semantik untuk logika predikat; bentuk normal prenex; resolusi untuk logika predikat. Selain itu berisi juga informasi mengenai asal usul sejarah logika mulai dari logika klasik sampai dengan logika modern. |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| 2013.165 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.1 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.2 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.3 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.4 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.5 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.6 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.7 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.8 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| 2013.165.9 | 511.3/SOE/l | Dapat dipinjam | Perpustakaan Polbangtan Medan - Perpustakaan Polbangtan Medan | Tersedia |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000000147 | ||
| 005 | 20250804103901 | ||
| 008 | 250804||||||||| | ||| |||| || | | ||
| 020 | $a 978-979-29-1234-0 | ||
| 035 | 0010-0825000147 | ||
| 041 | $a id | ||
| 082 | 0 | $a 511.3 | |
| 090 | $a 511.3 SOE l | ||
| 100 | 0 | $a Soesianto | |
| 245 | 0 | 0 | $a Logika Matematika Untuk Ilmu Komputer |
| 250 | $a 2 | ||
| 260 | $a Jakarta $b Andi Offset $c 2010 | ||
| 300 | $a xx, 470 p.: ill.; 23 cm | ||
| 500 | $a Buku ini berisi pembahasan mengenai logika matematika untuk ilmu komputer. Pembahasannya mencakup: pengenalan logika matematika; pengantar loika proposionaln; metode-metode logika proposional; pengantar logika predikat; komponen-komponen sintaktik; kuantor-kuantor; penafsiran dan validitas; derivasi; ekuivalen logis untuk logika predikat; tablo semantik untuk logika predikat; bentuk normal prenex; resolusi untuk logika predikat. Selain itu berisi juga informasi mengenai asal usul sejarah logika mulai dari logika klasik sampai dengan logika modern. | ||
| 650 | 0 | $a Logika Matematika -- Ilmu Komputer | |
| 700 | 0 | $a Djoni Dwijono |
Content Unduh katalog