Makinson, David

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

(No reviews yet) Write a Review
ISBN 13:
9783030422172
author:
Makinson, David
format:
Paperback / softback
publisher:
Springer Nature Switzerland AG
language:
English
Publication Year:
2020
Pages:
398
Dimensions:
23.5 x 15.49 x 2.16 centimetres
Genre:
Computers, Computer Science, General,
Condition:
New
Availability:
Item usually sent within 5 working days
£27.27

Description

This textbook introduces the mathematical language and problem-solving tools essential to anyone entering computer and information sciences. It offers a concise treatment in an engaging style, making it ideal for students intimidated by mathematics.

The third edition features a new chapter on relevance-sensitivity in logical reasoning and additional explanations on points that students find puzzling, including shorthand ways of speaking and 'abuses of language'. Solutions are now provided for all exercises. Topics include sets, relations, functions, recursion, induction, combinatorics, finite probability, trees, propositional and quantificational logic, and how to build complex proofs from simple ones.

This clearly-written textbook provides invaluable guidance to students beginning an undergraduate degree in computer science, while also being suitable for courses on formal methods offered to those studying mathematics, philosophy, linguistics, economics, and political science.

View AllClose

Related Products

Related Products