LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
AvDana Richards,Henry Hamburger
Inbunden, Engelska, 2017
1 420 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION)
Dana Richards, Henry Hamburger
Inbunden, 2023
1 693 kr
DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM
Richards Dana, Dana Richards
Inbunden, 2017
1 179 kr
DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM
Richards Dana, Dana Richards
Häftad, 2017
646 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
Dana Richards, Henry Hamburger
Häftad, 2017
853 kr
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION)
Dana Richards, Henry Hamburger
Inbunden, 2023
1 693 kr
DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM
Richards Dana, Dana Richards
Inbunden, 2017
1 179 kr
DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM
Richards Dana, Dana Richards
Häftad, 2017
646 kr
- Nyhet
- 10% rabatt på allt
Del 11
- Signerad!
Del 3