Normal view MARC view ISBD view

Richards, Dana

Logic and language models for computer science - Singapore world scientific 2020 - 451

Sale!

🔍
Logic And Language Models For Computer Science, Third Edition

₹1195.000 ₹944.000

Author Dana Richards, Henry Hamburger????
ISBN 9780000988850
Published Language English
Publication Year 2020
Publisher World Scientific
Binding Paperback
Original Price $58
Pages 468
Edition World Scientific Low Price Edition (WSLPE)
Ships By 2-3 days
Download Flyer Here
Logic And Language Models For Computer Science, Third Edition quantity
-
+
SKU: WSLPE-92 Categories: Algorithms, Computer Science Tag: Special Edition

Description Additional information

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: ? it emphasizes the algorithmic nature of the proofs and the reliance on simulations: ? it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models The style is appropriate for both undergraduate and graduate classes.

ISBN: 9780000988850

Subjects--Topical Terms:
Artificial intelligence
Description logics
Computer hardware description languages
formal languages

Dewey Class. No.: 005.131 / RIC/L