This text presents the formal concepts underlying Computer Science.
It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.
The treatment of computability with Automata and Formal Languages stands out in several ways:
The style is appropriate for both undergraduate and graduate classes.
By:
Dana Richards (George Mason Univ Usa), Henry Hamburger (George Mason Univ, Usa) Imprint: World Scientific Publishing Co Pte Ltd Country of Publication: Singapore ISBN:9789813229204 ISBN 10: 9813229209 Pages: 468 Publication Date:11 September 2017 Audience:
College/higher education
,
Professional and scholarly
,
Primary
,
Undergraduate
Format:Hardback Publisher's Status: Active