Logic and Its Applications (Prentice-hall International Series in Computer Science) - Softcover

Burke, Edmund; Foxley, Eric

 
9780130302632: Logic and Its Applications (Prentice-hall International Series in Computer Science)

Inhaltsangabe

Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science. OHPs available form the Publisher.

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

Über die Autorin bzw. den Autor

Eric Foxley is a lecturer at the Department of Computer Science, University of Nottingham.

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