Book Logic And Language Models For Computer Science (Third Edition)

Name: Logic And Language Models For Computer Science (Third Edition)
SKU: 20303026
Price: 5573 UAH
Availability: OutOfStock

Dana Richards, Henry Hamburger

Product code: 20303026

Format

Book language

Publisher

Year of publication

Category

Programming practice (techniques, methods, programmer's work) Fundamentals of computer science Cybernetics. Artificial intelligence Games development and programming Computer architecture and logic design

About book

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.

Details

Author

Dana Richards, Henry Hamburger

Publisher

World Scientific Publishing / World Scientific Publishing /

Number of pages

468

Reviews

Do you have any questions? 0-800-335-425