Logic and Language Models for Computer Science


keywords:distribution algorithms,designing algorithms,data security algorithms,image analysis algorithms,data analytics algorithms,

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.

eBook Details:
Category: Algorithms
Author: Dana Richards
Language: English
ISBN10: 9813230509
ISBN13: 9789813230507
Pages: 468
PubDate: 2017-10-30 00:00:00
UploadDate: 9/25/2017 8:06:34 pm

The Latest Upload

The Most Related