Book Review:
Book Description
This book is a free text intended to be the basis for a problemoriented 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 firstorder 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 oneterm course on mathematical logic, Part III for a oneterm course on computability, and/or much of Part III together with Part IV for a oneterm course on computability and incompleteness.
In keeping with the modified Mooremethod, 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 lecturebased course nor for a really large class.
The material presented in this text is somewhat strippeddown. 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: BioChemistry 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 HowTo: The Definitive Oracle8 ProblemSolver
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 SelfService 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 ProblemSolving 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 RealWorld Problems
Similar Books from Amazon :

