Principles of Computer Science: An Invigorating, Hands-on Approach
Buku ini mencakup pengantar ilmu komputer teoritis, termasuk matematika diskrit, logika, bahasa pemrograman, dan pragmatik bahasa pemrograman. Pembaca akan dibawa menyelam ke dalam sintaks dan sema…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9781604271997
- Collation
- xix, 738 p. ; ill.
- Series Title
- -
- Call Number
- 004.0151 CRO p
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Math…
Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. P…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031211126
- Collation
- xiv, 295 p.
- Series Title
- -
- Call Number
- 004.0151 FAR s
Search Result
Found 2 from your keywords: Subject : "Computer logic"
Query took 0.00067 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography