Lukk
Logic And Declarative Language
Forfatter
Kort om boken
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connection…
Spar {0}
Spar {0} som ARK-VENN
{0} til nettpris
med Klikk&Hent
Format/språk (2 forskjellige)
Klikk og hent - få varen innen 2 timer*
Alltid bytterett - Norges beste. Bytt uten kvittering.* Gjelder varer på lager i butikk
Om Logic And Declarative Language
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Kundevurderinger
Detaljer
Format
E-Bok
Kopisperre
Teknisk DRM
Filformat
ePUB
Utgivelsesår
2004
Forlag
Taylor and Francis
Språk
Engelsk
ISBN
9781135735852
Sider
384