Capa do artigo Logic In Computer Science
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

SEE MORE TITLES FROM THIS COLLECTION

HANTAO ZHANG

SEE MORE TITLES BY THIS AUTHOR

JIAN ZHANG

SEE MORE TITLES BY THIS AUTHOR