Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Logic And Language Models For Computer Science (Third Edition)
Engelsk Hardback
Logic And Language Models For Computer Science (Third Edition)
Engelsk Hardback

935 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

 

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.

Product detaljer
Sprog:
Engelsk
Sider:
468
ISBN-13:
9789813229204
Indbinding:
Hardback
Udgave:
ISBN-10:
9813229209
Udg. Dato:
24 okt 2017
Længde:
0mm
Bredde:
0mm
Højde:
0mm
Forlag:
World Scientific Publishing Co Pte Ltd
Oplagsdato:
24 okt 2017
Products purchased together
Alternatives - PIE
Kategori sammenhænge