Logic and its application

By:

BURKE EDMUND

Contributor(s):

Foxley, Eric

Material type: Text

TextSeries: PRENTICE HALL INTERNATIONAL SERIES IN COMPUTER SCIENCEPublication details: USA PRENTICE HALL 1995Edition: ReissueDescription: 296p., 235 x 178mm, Bibliography, index, paperbackISBN:

0130302635

Subject(s):

COMPUTING

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Standard Loan	Thurles Library Main Collection	621.395 BUR (Browse shelf(Opens below))	Available		R05463WKRCT

Enhanced descriptions from Syndetics:

Providing an introduction to logic programming, this 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 emphasizes applications in computer science. Class tested, it contains practical examples and exercises.

INTRODUCTION TO MATHEMATICAL LOGIC AND ITS APPLICATIONS IN THE FIELD OF COMPUTER SCIENCE

Table of contents provided by Syndetics

1 Propositional Logic
2 Formal Approach to Propositional Logic
3 Applications to Logic Design
4 Predicate Logic
5 Logic Programming
6 Formal System Specification

Back to results

1 An Analysis of Walt Disney s animation Frozen; The Deconstruction of Gender Role Stereotypes.
by Averell, Kate.
2 The Reinforcement of Gender Stereotypes through Branding aimed at Young Girls.
by Kelly, Zita