-
Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer
- Suprapto
- Gava Media
- 2003
- 979-97088-3-4
Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa indonesia. Maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer : Buku ini disusun dalam empat bab, yaitu : Bab pertama berisi kalimat-kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidal valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure, dan Bab keempat berisi logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar. manipulasi dengan MAP.
- Kaliabang, Karawang
Silahkan Login untuk dapat Melakukan Peminjaman Online
| Kode Buku | : | 206289 |
| Kode Klasifikasi | : | 005.1 |
| Judul Buku | : | Logika informatika : dasar dasar logika untuk pemrograman komputer dan perancangan komputer |
| Edisi | : | - |
| Penulis | : | Suprapto |
| Penerbit | : | Gava Media |
| Bahasa | : | Indonesia |
| Tahun | : | 2003 |
| ISBN | : | 979-97088-3-4 |
| Tajuk Subjek | : | Logika Informatika,Pemrograman |
| Deskripsi | : | x, 202 hlm. : ill. ; 23 cm |
| Eksemplar | : | 2 |
| Stok | : | 2 |
| Petugas | : | Rahidzat |
Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa indonesia. Maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer :
Buku ini disusun dalam empat bab, yaitu :
Bab pertama berisi kalimat-kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan substitusi.
Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidal valid, quantifier.
Bab ketiga berisi skema-skema kalimat valid, closure, dan
Bab keempat berisi logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar. manipulasi dengan MAP.
Terkait Subjek Buku yang sama
TENTANG PERPUSTAKAAN
Perpustakaan Universitas Bina Sarana Informatika merupakan layanan yang diberikan kepada civitas akademik khususnya mahasiswa untuk memperoleh informasi seperti buku, majalah, jurnal, prosiding, dll.
INFORMASI
Alamat : Jl. Kramat Raya No.98, Senen, Jakarta Pusat
Telp : +6285777854809
Email : perpustakaan@bsi.ac.id
IG : @perpustakaan_ubsi
Jam Operasional
Senin - Jumat : 08.00 s/d 20.00 WIB
Isitirahat Siang : 12.00 s/d 13.00 WIB
Istirahat Sore : 18.00 s/d 19.00 WIB
Copyright © 2024 Perpustakaan Universitas Bina Sarana Informatika