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

Anda harus log in untuk mengakses flippingbook

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

diunduh 41 kali