Index
 
Operating Systems
Java
Programming Languages
Hardware
Computer H/W
Microprocessors
Device Drivers
Logic & HW Design
Peripherals
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | 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 del.icio.us                 Digg Freebookzone.com!

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 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions