Logic In Computer Science
0.0
( 0 )
Engelsk
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 pro...
På lager i 0 butikker.
Forlagsbeskrivelse af Logic In Computer Science
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.
Detaljer
Forlag
Springer Nature
ISBN
9789819798155
Sprog
Engelsk
Sider
442
Udgivelsesdato
14-01-2025
Format
Paperback
Varenr.
3266159
EAN nr.
9789819798155
Varegruppe
Engelsk non fiction div.
Bredde (mm)
235
Længde (mm)
155