Logic And Language Models For Computer Science (Third Edition)
Published on 24. October 2017
Book
Hardback
468 pages
978-981-322-920-4 (ISBN)
Description
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.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 30 mm
Weight
823 gr
ISBN-13
978-981-322-920-4 (9789813229204)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification