Logic and its application
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0130302635
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 |
Browsing Thurles Library shelves, Shelving location: Main Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
621.3916 THO Repairing and upgrading your PC / | 621.392 INT PC 98 SYSTEM DESIGN GUIDE | 621.392 MAN Logic and computer design fundamentals | 621.395 BUR Logic and its application | 621.395 CHA Design of High-Performance Microprocessor Circuits | 621.395 CHA Design of High-Performance Microprocessor Circuits | 621.395 CRO NETWORK PROCESSOR DESIGN |
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