Mathematical Logic for Computer Science, 3/E.
Mordechai Ben-Ari

Informasi Umum

Kode

19.21.071

Klasifikasi

511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages

Jenis

Buku - Elektronik (E-Book)

Subjek

Mathematics-logic

No. Rak

Dilihat

253 kali

Informasi Lainnya

Abstraksi

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

• CIG4F3 - METODE FORMAL
• CSH4103 - METODE FORMAL
• TKI1B3 - LOGIKA MATEMATIKA
• CII1F4 - ALGORITMA PEMROGRAMAN
• CII1B3 - LOGIKA MATEMATIKA
• CII2I2 - WAWASAN GLOBAL TIK
• CII1G3 - MATEMATIKA DISKRIT
• CII4M3 - METODE NUMERIK UNTUK INFORMATIKA
• CII1A3 - PENGENALAN PEMROGRAMAN
• CII2K3 - STRATEGI ALGORITMA
• UWI1C2 - LITERASI TEKNOLOGI INFORMASI DAN KOMUNIKASI (TIK)
• ISI4D3 - TATA KELOLA DAN MANAJEMEN TEKNOLOGI INFORMASI
• ISI1E4 - ALGORITMA DAN PEMROGRAMAN
• CII1B3 - LOGIKA MATEMATIKA
• VSI1F3 - LOGIKA MATEMATIKA
• CII1B3 - LOGIKA MATEMATIKA
• CPI1B3 - LOGIKA MATEMATIKA
• CII-1B3 - LOGIKA MATEMATIKA
• CII1B3 - LOGIKA MATEMATIKA
• UWI1C2 - LITERASI TEKNOLOGI
• CBK1AAB3 - Logika Matematika
• UCKXDDB2 - LITERASI TEKNOLOGI
• UCKXDDB2 - Literasi Teknologi
• UCKXDDB2 - Literasi Teknologi
• UCKXDDB2 - Literasi Teknologi
• CCK1CAB3 - Logika Matematika
• CDK1DAB3 - Logika Matematika
• CDK2GDB2 - Wawasan Global TIK
• CBK2GAB2 - Wawasan Global TIK
• UCKXDDB2 - LITERASI TEKNOLOGI
• CBK1AAB3 - Logika Matematika
• CDK1GAB4 - Algoritma Pemrograman
• CDK1IAB3 - Matematika Diskrit
• CDK1CAB3 - Pengenalan Pemrograman
• CBK1HAB4 - Algoritma Pemrograman
• CBK1IAB3 - Matematika Diskrit
• GCK1EAB2 - Matematika Diskrit
• GIK1EAB2 - Matematika Diskrit
• GHK1DAB3 - Matematika Diskrit
• AZK1DAB3 - Algoritma dan Pemrograman
• AZK1DAB3 - Algoritma Dan Pemrograman
• GCK1AAB4 - Algoritma dan Pemrograman
• GIK1AAB4 - Algoritma dan Pemrograman
• GHK1FAB4 - Algoritma Dan Pemrograman
• BBK1BAB3 - Matematika Diskrit
• AZK1DAB3 - Algoritma Dan Pemrograman
• BBK3IAB3 - Tata Kelola dan Manajemen Teknologi Informasi
• UCKXDDB2 - LITERASI TEKNOLOGI
• BBK1AAB4 - Algoritma dan Pemrograman

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

Pengarang

Nama	Mordechai Ben-Ari
Jenis	Perorangan
Penyunting
Penerjemah

Penerbit

Nama	Springer
Kota	New York
Tahun	2012

Sirkulasi

Harga sewa	IDR 0,00
Denda harian	IDR 0,00
Jenis	Non-Sirkulasi

Download / Flippingbook