Related Books

Sets, Logic and Maths for Computing
Language: en
Pages: 283
Authors: David Makinson
Categories: Computers
Type: BOOK - Published: 2012-02-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag
Sets, Logic and Maths for Computing
Language: en
Pages: 408
Authors: David Makinson
Categories: Computers
Type: BOOK - Published: 2020-05-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and i
Mathematics for Computer Science
Language: en
Pages: 988
Authors: Eric Lehman
Categories: Business & Economics
Type: BOOK - Published: 2017-03-08 - Publisher:

DOWNLOAD EBOOK

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable m
Sets, Logic, Computation
Language: en
Pages: 418
Authors: Richard Zach
Categories:
Type: BOOK - Published: 2021-07-13 - Publisher:

DOWNLOAD EBOOK

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural dedu
Discrete Mathematics Using a Computer
Language: en
Pages: 345
Authors: Cordelia Hall
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them.