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
Bogens kategorier Klik på en kategori for at se lignende bøger
Anmeldelser Logic In Computer Science
Brugernes anmeldelser
Andre har også kigget på
Som medlem af Klubben sparer du 50% fragten og optjener point, når du handler | Medlemskab til 0 kr. uden binding og gebyrer.