Ditapis dengan
Logika Dasar Tradisional, Simbolik, dan Induktif
dalam buku ini diperkenalkan tiga bentuk logika dasar : Logika tradisional dari madzab aristoteles, Logika sombolik dan Induktif, dan bentuk logika moderen yang dipengaruhi oleh perkembangan matematika modern.
- Edisi
- -
- ISBN/ISSN
- 979 686 143 7
- Deskripsi Fisik
- ix, 211 hlm. ; 19 x 24 cm.
- Judul Seri
- -
- No. Panggil
- 160 SOE e
Teori Bahasa dan Otomata
Edisi ini telah direvisi untuk mempermudah mahasiswa dalam menggunakannya. Di dalamnya tercakup tambahan material dengan bukti, angka dan gambar, artikel dalam kolom yang menyoroti materi terkait, serta gaya kepenulisan yang ringan. Banyaknya latihan baru yang diberikan dalam setiap Bab membantu pemahaman mereka terhadap materi yang disajikan.
- Edisi
- Ed. 1.
- ISBN/ISSN
- 979-763-835-9
- Deskripsi Fisik
- xvi+608 hlm ; 16x23 cm
- Judul Seri
- -
- No. Panggil
- 511.3 HOP e
Logika Matematika Untuk Ilmu Komputer
buku ini merupakan buku ajar mengenai logika matematika untuk ilmu komputer. logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lain-lainnya.
- Edisi
- Ed. 1.
- ISBN/ISSN
- 979-763-568-6
- Deskripsi Fisik
- xxii, 476 hlm. ; 16 x 23 cm.
- Judul Seri
- -
- 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