Logic for Computer Scientists

Uwe Schoening (Autor)

Buch | Hardcover

177 Seiten

1994 | 1989. Corr. 2nd Printing ed.
Birkhauser Boston Inc (Verlag)
978-0-8176-3453-7 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

Introduction.- Propositional Logic.- Predicate Logic.- Logic Programming.- Bibliography.- Table of Notations.- Index

Reihe/Serie	Progress in Computer Science and Applied Logic ; 8
Zusatzinfo	biography
Verlagsort	Secaucus
Sprache	englisch
Maße	155 x 235 mm
Gewicht	440 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-8176-3453-3 / 0817634533
ISBN-13	978-0-8176-3453-7 / 9780817634537
Zustand	Neuware