Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Logic And Language Models For Computer Science (Third Edition)
Engelsk
Bogcover for Logic And Language Models For Computer Science (Third Edition) af Dana Richards, Henry Hamburger, 9789813229204
Specifikationer
Sprog:
Engelsk
Sider:
468
ISBN-13:
9789813229204
Indbinding:
Hardback
ISBN-10:
9813229209
Udg. Dato:
24 okt 2017
Størrelse i cm:
Oplagsdato:
24 okt 2017
Hardback 2017
Format:

Bog beskrivelse

 

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.

... Vis mere

Hos Booktok
973 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
468
ISBN-13:
9789813229204
Indbinding:
Hardback
ISBN-10:
9813229209
Udg. Dato:
24 okt 2017
Størrelse i cm:
Oplagsdato:
24 okt 2017
Finder produkter...
Kategori sammenhænge