Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback


Book Title : A Problem Course in Mathematical Logic
eBook download format(s) : HTM PDF 
Author(s) : Stefan Bilaniuk
Section : Mathematics
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                 Digg!

You may use anyone of the download options

eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and try these 2 + 1 alternates...

Tell a Friend!

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
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 :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions