Operating Systems
Programming Languages
Computer H/W
Device Drivers
Logic & HW Design
Microsoft Technologies
Computer Science
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback

Logic Design and Architecture

Book Title : Logic For Everyone
eBook download format(s) : htm
Author(s) : Robert A. Herrmann
Section : Logic Design and Architecture
Book Review:

Book Description

This is an elementary book in Mathematical Logic that also covers all of the basic material in the propositional and predicate calculus. It is the result of the U. S. Naval Academy Mathematical Logic Course Project.

Both the propositional and predicate calculus are presented in a unique manner. Enough material is covered so that certain topics in elementary model theory can be included and all mathematical proofs are of the most elementary nature requiring no specialized mathematical procedures. The propositional calculus is expanded considerably and many of the proof methods are used to establish the predicate calculus results. Consequnce operators are also introduced.

This book is written especially for the Midshipmen at the United States Naval Academy. The material itself is considered to be a terminal experience and is directed towards applications which include a very elementary introduction to nonstandard models as they are obtained by means of the "compactness" theorem, and the generation of weak "ultrawords" and an "ultralogic" operator. A complete set of answers for all exercise problems and 6 figures in the form of gif images are included.

add to                 Digg!

You may use anyone of the download options

eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and you may wish to find Similar Books from amazon.

Tell a Friend!

Similar Book titles in Logic Design and Architecture section:
Contemporary Logic Design
Digital Logic Design Study Guide
Digital Logic
Digital Logic Design - Homework Questions
Digital Logic Design Project
Digital Logic Lessons
Logic Design for Array-Based Circuits: A Structured Design Methodology
Digital Logic and Microprocessor Design with VHDL

Similar Book titles in Other sections:

Section: Bio-Chemistry
Complexity in Biological Information Processing

Section: CS -> Compilers and Languages
Logic, Programming and Prolog, 2nd Edition
Inductive Logic Programming - Techniques and Applications

Section: Java Enterprise Edition
BEA WebLogic Server 8.1 Unleashed
BEA WebLogic Server Bible
Teach Yourself BEA WebLogic Server 7.0 in 21 Days
WebLogic 6.1 Server Workbook for Enterprise JavaBeans (3rd Edition)

Section: Mathematics
A Problem Course in Mathematical Logic
Logic for Computer Science: Foundations of Automatic Theorem Proving

Section: Medical
The Pathophysiologic Basis of Nuclear Medicine

Section: Networking
Fundamentals of Switching Theory and Logic Design: A Hands on Approach

Section: C++ Language
C++ Neural Networks and Fuzzy Logic

Section: Other Programming
An Introduction to Logic Programming Through Prolog
Prolog and Logic Programming
Prolog Experiments in Discrete Mathematics, Logic, and Computability

Section: Redbooks Draft
IBM System i and p System Planning and Deployment: Simplifying Logical Partitioning
IBM System i5 and p5 System Planning and Deployment: Simpifying Logical Partitioning

Section: Redbooks
Logical Partitions on System i5: A Guide to Planning and Configuring LPAR with HMC on System i
IBM System i and System p System Planning and Deployment: Simplifying Logical Partitioning

Section: Redpapers
Implementing the QLogic Intelligent Pass-thru Module for IBM BladeCenter
QLogic QDR InfiniBand Solutions for IBM iDataPlex

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions