Book Review:
Book Description
This book is a free text intended to be the basis for a problem-oriented course(s) in mathematical logic and computability for students with some degree of mathematical sophistication. Parts I and II cover the basics of propositional and first-order logic respectively, Part III covers the basics of computability using Turing machines and recursive functions, and Part IV covers Godel's Incompleteness Theorems. They can be used in various ways for courses of various lengths and mixes of material. The author typically uses Parts I and II for a one-term course on mathematical logic, Part III for a one-term course on computability, and/or much of Part III together with Part IV for a one-term course on computability and incompleteness.
In keeping with the modified Moore-method, this book supplies definitions, problems, and statements of results, along with some explanations, examples, and hints. The intent is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. Besides constructive criticism, it will probably be necessary for the instructor to supply further hints or direct the students to other sources from time to time. Just how this text is used will, of course, depend on the instructor and students in question. However, it is probably not appropriate for a conventional lecture-based course nor for a really large class.
The material presented in this text is somewhat stripped-down. Various concepts and topics that are often covered in introductory mathematical logic and computability courses are given very short shrift or omitted entirely. Instructors might consider having students do projects on additional material if they wish to to cover it.
 add to del.icio.us
 Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and try these 2 + 1 alternates...
Similar Book titles in Mathematics section:
A Course in Universal Algebra
Mathematical Foundations of Computer Science
Mathematical Analysis I
A First Course in Linear Algebra
A Short Course in Discrete Mathematics
Logic for Computer Science: Foundations of Automatic Theorem Proving
Fundamental Problems in Algorithmic Algebra
A Course In Commutative Algebra
Abramowitz and Stegun: Handbook of Mathematical Functions
Unsolved Problems in Mathematical Systems and Control Theory
Mathematical Illustrations - A manual of geometry and PostScript
A Beginner's Course in Boundary Element Methods
Similar Book titles in Other sections:
Section: Bio-Chemistry
CMBI - Bioinformatics courses
WWW Cell Biology Course
Complexity in Biological Information Processing
Section: CS -> Compilers and Languages
Logic, Programming and Prolog, 2nd Edition
Inductive Logic Programming - Techniques and Applications
Section: Data Structures and Algorithms
Problems on Algorithms, 2nd Edition
Jeff Erickson's Algorithms Course Materials
Section: CS -> Theory
A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION
Algorithmic Problem Solving
Templates for the Solution of Algebraic Eigenvalue Problems: a Practical Guide
Section: DB -> Oracle
Oracle8 How-To: The Definitive Oracle8 Problem-Solver
Section: Photography
A Short Course in Digital Photography
Section: Logic Design and Architecture
Contemporary Logic Design
Digital Logic Design Study Guide
Digital Logic
Digital Logic Design - Homework Questions
Digital Logic Design Project
Show all..
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: Life & Health
The 100% Brain Course
Section: Medical
The Pathophysiologic Basis of Nuclear Medicine
Section: Windows Development
Windows Server 2003 Weekend Crash Course
Section: Networking
Fundamentals of Switching Theory and Logic Design: A Hands on Approach
Section: GNU/Linux OS
Self-Service Linux - Mastering the Art of Problem Determination
Section: Unix OS
Unix System Administration - Survival Course
Section: Physics
Eclipse: The Celestial Phenomenon That Changed the Course of History
Section: C Language
Phil's C Course
Section: COBOL Programming
COBOL Programming Course
Section: C++ Language
C++ Neural Networks and Fuzzy Logic
Section: Other Programming
Prolog Programming: A First Course
An Introduction to Logic Programming Through Prolog
Fortran 90 - A Conversion Course
Prolog and Logic Programming
Prolog Experiments in Discrete Mathematics, Logic, and Computability
Show all..
Section: Scripting
Thinking in Python: Design Patterns and Problem-Solving Techniques
Section: Redbooks Draft
Supporting On Demand Business Applications with IBM's Problem Determination Tools (APA, DT, DT - Advanced Facilities, FA, FM, File Export, WS)
IBM Application Development and Problem Determination Tools V7 for System z (APA, DT, FA, FE, FM, WS)
IBM System i and p
System Planning and Deployment:
Simplifying Logical Partitioning
IBM System i5 and p5
System Planning and Deployment:
Simpifying Logical Partitioning
IBM Problem Determination Tools for z/OS
Show all..
Section: Redbooks
Problem Solving and Troubleshooting in AIX 5L
Logical Partitions on System i5: A Guide to Planning and Configuring LPAR with HMC on System i
Problem Determination for WebSphere for z/OS
IBM System i and System p
System Planning and Deployment:
Simplifying Logical Partitioning
IBM System Blue Gene Solution Problem Determination Guide
Show all..
Section: IBM Technotes
Resolving Cascaded FICON Merge Check Problem - Long Distance
Section: Redpapers
Problem Avoidance for WebSphere Application Server for z/OS
Problem Symptoms in WebSphere for z/OS and Their Resolution
WebSphere Application Server installation problem determination
WebSphere Application Server V6.1 Web Services Problem Determination
WebSphere Application Server V6.1 installation problem determination
Show all..
Section: Redpapers Draft
WebSphere Application Server V6.1: JMS Problem Determination
WebSphere Application Server V6.1: Installation Problem Determination
WebSphere Application Server V6.1: Web Services Problem Determination
WebSphere Application Server V6.1: Classloader Problem Determination
WebSphere Application Server V6.1: Web Container Problem Determination
Show all..
Section: Software Engineering
Software Quality Measurement: A Framework for Counting Problem & Defect
Section: XML, XSL & UML
Java & XML, 2nd Edition: Solutions to Real-World Problems
Similar Books from Amazon :
|
|
