Logic And Language Models For Computer Science (Third Edition)
- Richards Dana: LOGIC & LANG MODEL COMP (3RD ED)
Af
- Format
- Bog, hardback
- Engelsk
Normalpris
kr. 1.144,95
Medlemspris
kr. 1.084,95
- Du sparer kr. 60,00
- Fri fragt
-
Leveringstid: 7-12 Hverdage (Sendes fra fjernlager) Forventet levering: 04-03-2026
- Kan pakkes ind og sendes som gave
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.
Detaljer
- SprogEngelsk
- Udgivelsesdato24-10-2017
- ISBN139789813229204
- Forlag World Scientific Publishing Co Pte Ltd
- FormatHardback
- Udgave0
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Logic And Language Models For Computer Science (Third Edition)
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Kunstig intelligens
- Naturligt sprog og maskinoversættelse
- Logic And Language Models For Computer Science (Third Edition)
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Programmeringssprog og scriptsprog
- Logic And Language Models For Computer Science (Third Edition)