Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic in Computer Science

Name: Logic in Computer Science
Brand: Springer, Berlin
SKU: 46632499
Price: 62.0 EUR
Availability: InStock
Author: Hantao Zhang
ISBN: 9789819798155

Hantao Zhang

Jian Zhang

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 46632499

Založba Springer, Berlin, januar 2025

Mathematical logic is an important basis for mathematics, computer science and artificial intelligen... Celoten opis

Koda Libristo: 46632499

150 b

62.00 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas.

The book assumes no background in logic. It presents logics as practical tools for solving various problems in artificial intelligence and formal verification. Accordingly, it is well suited for (junior and senior) undergraduate and graduate students majoring in computer science or mathematics. Each chapter includes roughly a dozen exercise problems, so as to help the reader understand the concepts and techniques discussed.