Mathematical Logic for Computer Science, 3/E.

Mordechai Ben-Ari

Informasi Dasar

19.21.071
511.3
Buku - Elektronik (E-Book)

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.

Subjek

Mathematics-logic
 

Katalog

Mathematical Logic for Computer Science, 3/E.
978-1447141280
364p.: pdf file.; 1,8 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Mordechai Ben-Ari
Perorangan
 
 

Penerbit

Springer
New York
2012

Koleksi

Kompetensi

  • 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

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini