|
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel's Theorems, Set Theory, Model Theory
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
Veröffentlichung: |
April 2001
|
Genre: |
Schulbücher |
ISBN: |
9780198500506 |
EAN-Code:
|
9780198500506 |
Verlag: |
OUP Oxford |
Einband: |
Kartoniert |
Sprache: |
English
|
Dimensionen: |
H 234 mm / B 156 mm / D 20 mm |
Gewicht: |
535 gr |
Seiten: |
352 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part I, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix. |
|