Cantitate/Preț
Produs

Logic in Computer Science

Autor Hantao Zhang, Jian Zhang
en Limba Engleză Paperback – 12 ian 2025
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.
Citește tot Restrânge

Preț: 38537 lei

Preț vechi: 48171 lei
-20% Nou

Puncte Express: 578

Preț estimativ în valută:
6819 7996$ 5989£

Carte disponibilă

Livrare economică 09-23 ianuarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789819798155
ISBN-10: 9819798159
Pagini: 442
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.73 kg
Ediția:2024 edition
Editura: Springer Verlag, Singapore