Logic And Language Models For Computer Science (Third Edition)

Dana Richards
og Henry Hamburger

Bog

Format
Bog, hardback
Engelsk
468 sider

Normalpris: kr. 974,95

Medlemspris: kr. 849,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 05-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

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:The style is appropriate for both undergraduate and graduate classes.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal468
Udgivelsesdato24-10-2017
ISBN139789813229204
Forlag World Scientific Publishing Co Pte Ltd
FormatHardback

Logic And Language Models For Computer Science (Third Edition)

Findes i disse kategorier...

Se andre, der handler om...