A First Course in Mathematical Logic and Set Theory

Buku ini memperkenalkan bagaimana logika digunakan untuk mempersiapkan dan menyusun bukti serta memecahkan masalah yang lebih kompleks. Dimulai dengan logika proposisional, kemudian diikuti dengan …

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…

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…

Introduction to discrete mathematics via logic and proof

Edition

-

ISBN/ISSN

9783030253608

Collation

xx, 482 p. ; 24 cm.

Series Title

-

Call Number

511.1 JON i

Introduction to discrete mathematics via logic and proof

e-Book available, please log-in on Member Area to access or contact our librarian.

Introduction to mathematical logic

Edition

6th ed.

ISBN/ISSN

9781482237726

Collation

xxiv, 489 p. ; 24 cm.

Series Title

-

Call Number

511.3 MEN i