Ditapis dengan
Set theory and logic
No Inv.: 266-267/BD/Perp/86/2c
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xiv, 474 hlm.
- Judul Seri
- -
- No. Panggil
- 511.32 STO s
Beginning logic
No Inv.: 1248-1249/BD/Perp/86/2c
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- x, 225 hlm.
- Judul Seri
- -
- No. Panggil
- 511.3 LEM b
Computer engineering and technology
This book constitutes the refereed proceedings of the 17th National Conference on Computer Engineering and Technology, NCCET 2013, held in Xining, China, in July 2013. The 26 papers presented were carefully reviewed and selected from 234 submissions. They are organized in topical sections named: Application Specific Processors; Communication Architecture; Computer Application and Software Optim…
- Edisi
- -
- ISBN/ISSN
- 9783642416354
- Deskripsi Fisik
- xiv, 252 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1327
An invitation to abstract mathematics
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or extend a concept. More than 300 exercises engage the reader in extensive arguments and creative approaches, while exploring connections between fundamental mathematical topics. Divided into four parts…
- Edisi
- 2
- ISBN/ISSN
- 9783030561741
- Deskripsi Fisik
- xvi, 442hlm.
- Judul Seri
- Undergraduate Texts in Mathematics
- No. Panggil
- E557
Mathematical logic for computer science
No Inv.: 3024/P/Perp/98/1c
- Edisi
- -
- ISBN/ISSN
- 013564139X
- Deskripsi Fisik
- xi, 305 hlm.
- Judul Seri
- -
- No. Panggil
- 511.3 BEN m
Reactive kripke semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…
- Edisi
- -
- ISBN/ISSN
- 9783642413896
- Deskripsi Fisik
- xii, 442 hlm. ; il. warna
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1319
A course on mathematical logic
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepare…
- Edisi
- 2
- ISBN/ISSN
- 9781461457466
- Deskripsi Fisik
- xii, 198hlm.
- Judul Seri
- Universitext
- No. Panggil
- E514
Pengantar logika : asas-asas penalaran sistematis
No Inv.: 5049-5053/P/99/5c~118181-118183/P/Perp/09/3c
- Edisi
- Cet. ke-5
- ISBN/ISSN
- 9794976768
- Deskripsi Fisik
- 96 hlm.
- Judul Seri
- -
- No. Panggil
- 160 RAP p
Logic and discrete mathematics : a computer science perspective
No Inv.: 66577/P/00/1c
- Edisi
- -
- ISBN/ISSN
- 9814024406
- Deskripsi Fisik
- xviii, 750 hlm.
- Judul Seri
- -
- No. Panggil
- 511.302 85 GRA l
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah