Logic and language models for computer science
Material type: TextPublication details: Singapore world scientific 2020Description: 451ISBN: 9780000988850Subject(s): Artificial intelligence | Description logics | Computer hardware description languages | formal languagesDDC classification: 005.131 Summary: 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.Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Stack | 005.131 RIC/L (Browse shelf (Opens below)) | Available | 54426 |
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.
There are no comments on this title.