Name: Logic and Language Models for Computer Science
SKU: 52937422
Price: 63.53 EUR
Availability: InStock
Author: Dana Richards; Henry Hamburger
ISBN: 9789813230507

Select your country

Americas

Europe

Rest of the world

portada Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Type

Physical Book

Publisher

Wspc

Author

Dana Richards; Henry Hamburger

Year

2017

Language

English

Pages

468

Format

Paperback

ISBN13

9789813230507

Edition No.

Synopsis "Logic and Language Models for Computer Science "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Logic and Language Models for Computer Science - Dana Richards; Henry Hamburger

Synopsis "Logic and Language Models for Computer Science "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery