Logic For Everyone

Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.

**Tag(s):**
Mathematics

**Publication date**: 31 Dec 1994

**ISBN-10**:
n/a

**ISBN-13**:
n/a

**Paperback**:
124 pages

**Views**: 14,363

**Type**: N/A

**Publisher**:
n/a

**License**:
n/a

**Post time**: 20 Oct 2006 01:30:19

Logic For Everyone

Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.

Book Excerpts:

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.

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.

Tweet

About The Author(s)

No information is available for this author.

Book Categories

Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)

Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics

Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management

Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Microsoft .NET
Rexx
Perl
PHP
Python
R
Rebol
Ruby
Scheme
Tcl/Tk

Miscellaneous
Sponsors