10% OFF

Logic In Computer Science eBook

by Hantao Zhang e Jian Zhang
Book eBook
language: english
Publisher: Springer Nature Singapore, January of 2025 ‧
72,86€
65,57€
10% OFF
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Logic In Computer Science

by Hantao Zhang e Jian Zhang

Property Description
ISBN: 9789819798162
Publisher: Springer Nature Singapore
Release Date: January of 2025
Language: English
Format: eBook
File Format and Compatibility:
Collection: Computer Science
Categories: eBooks in English > Science > Mathematics
EAN: 9789819798162
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

BOOKS FROM THE SAME COLLECTION