Logic for Computer Science (International Computer Science Series) - Softcover

Reeves

 
9780201416435: Logic for Computer Science (International Computer Science Series)
Softcover
ISBN 10: 0201416433 ISBN 13: 9780201416435
Verlag: Pearson Education Limited, 1990

Inhaltsangabe

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Pearson Education Limited
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0201416433
ISBN 13 
9780201416435
Einband
Tapa blanda
Anzahl der Seiten
368
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slowakei