This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Pris: kr 719.00 fra Norli
Butikk | Pris | |
---|---|---|
kr 719.00 | Besøk butikk |
This new edition made the textbook the first discrete mathematics textbook to be revised in order to meet the proposed new ACM/IEEE standards of the course. It features new material, including new sections on probability, coding theory, matrices and order...
kr 1229.00
Mer informasjon
<p><b>This series is fully endorsed by Cambridge International to support the full syllabus for examination from 2023.</b><br><br> Develop algorithmic and computational thinking and programming skills with further practise...
kr 169.00
Mer informasjon
<b>An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.</b><p>Computer scientists use logic for testing and verification of software...
kr 629.00
Mer informasjon
Algorithms are the hidden methods that computers apply to process information and make decisions. Nowadays, our lives are run by algorithms. They determine what news we see. They influence which products we buy. They suggest our dating partners. They...
kr 419.00
Mer informasjon