Introduction to Logic

16 years 8 days ago

Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.

Micha l Walicki

Completeness | First Order Logic | Functions | Propositional Logic | Reasoning Systems | Relations | Semantics | Sets | Soundness | Turing Machines | Well-founded Induction |

posted by scimaster

The History of Logic

PART I Basic Set Theory

Sets, Functions, Relations

Induction

PART II Turing Machines

PART III Statement Logic

Syntax and Proof System

Semantics of SL

Soundness and Completeness

PART IV Predicate Logic

Syntax and Proof System of FOL

Semantics

More Semantics

Soundness, Completeness

Identity and some Consequences

Comments (0)

	Introduction to Logic 1569 views
	Linear Matrix Inequalities in System and Control Theory 1455 views
	Linear Controller Design Limits of Performance 1500 views
	Spatial Reasoning: Theory and Practice 1331 views
	Spatial Augmented Reality Merging Real and Virtual Worlds 1752 views