Handbook of Practical Logic and Automated Reasoning

I en tid der datamaskinsystemer blir stadig mer komplekse, har automatisert resonnement – evnen til at datamaskiner kan utføre logisk slutning – blitt en essensiell del av programvarekonstruksjon og utvikling av programmeringsspråk. Boken 'Handbook of Practical Logic and Automated Reasoning' imøtekommer behovet for en helhetlig og omfattende oversikt over konseptene, teknologiene og bruken av automatisert resonnement. Den gir en solid matematisk logisk fundament, presentert med fokus på praktiske anvendelser, alt med minimale forutsetninger for leseren. Den konstruktive og konkrete tilnærmingen er preget av algoritmiske metoder, i tillegg til at metoder beskrives med henvisning til faktiske implementeringer, hvor koden også leveres, slik at leserne kan benytte, modifisere og eksperimentere med dem. Denne boken passer perfekt for alle som søker en samlet kilde innen det generelle feltet automatisert resonnement. Den kan brukes både som en referanse og som et læringsverktøy for grunnleggende forståelse, enten i samarbeid med avanserte kurs eller for selvstudier.