10% de desconto

Logic In Computer Science eBook

de Hantao Zhang e Jian Zhang
Livro eBook
idioma: inglês
Editor: Springer Nature Singapore, Janeiro de 2025 ‧
72,86€
65,57€
10% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para 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

de Hantao Zhang e Jian Zhang

Propriedade Descrição
ISBN: 9789819798162
Editor: Springer Nature Singapore
Data de Lançamento: Janeiro de 2025
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Computer Science
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9789819798162
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

LIVROS DA MESMA COLEÇÃO