Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
16Activity
0 of .
Results for:
No results containing your search query
P. 1
Problem-Oriented Course on Mathematical

Problem-Oriented Course on Mathematical

Ratings: (0)|Views: 246|Likes:
Published by Hussain

More info:

Published by: Hussain on Dec 11, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/25/2013

pdf

text

original

 
A Problem CourseinMathematical Logic
Version 1.6 
Stefan Bilaniuk
Department of MathematicsTrent UniversityPeterborough, OntarioCanada K9J 7B8
E-mail address
:
sbilaniuk@trentu.ca
 
1991
Mathematics Subject Classification.
03
Key words and phrases.
logic, computability, incompleteness
Abstract.
This is a text for a problem-oriented course on math-ematical logic and computability.Copyrightc
1994-2003 Stefan Bilaniuk.Permission is granted to copy, distribute and/or modify this doc-ument under the terms of the GNU Free Documentation License,Version 1.2 or any later version published by the Free SoftwareFoundation; with no Invariant Sections, no Front-Cover Texts, andno Back-Cover Texts. A copy of the license is included in the sec-tion entitled “GNU Free Documentation License”.This work was typeset with L
A
TEX, using the
AM
-L
A
TEX and
AM
Fonts packages of the American Mathematical Society.
 
Contents
Preface vIntroduction ix
Part I. Propositional Logic
1Chapter 1. Language 3Chapter 2. Truth Assignments 7Chapter 3. Deductions 11Chapter 4. Soundness and Completeness 15Hints for Chapters 14 17
Part II. First-Order Logic
21Chapter 5. Languages 23Chapter 6. Structures and Models 33Chapter 7. Deductions 41Chapter 8. Soundness and Completeness 47Chapter 9. Applications of Compactness 53Hints for Chapters 59 59
Part III. Computability
65Chapter 10. Turing Machines 67Chapter 11. Variations and Simulations 75Chapter 12. Computable and Non-Computable Functions 81Chapter 13. Recursive Functions 87Chapter 14. Characterizing Computability 95
iii

Activity (16)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
sticker592 liked this
slv_prasaad liked this
PTorbay liked this
flrufus liked this
berlianapuput liked this
millsondale liked this
freddy marbun liked this
georgiana_rod liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->