Kniha Mathematical Logic: Part 2 Rene Cori

Mathematical Logic: Part 2

Recursion Theory, Godel's Theorems, Set Theory, Model Theory

Autor: Rene Cori
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
2 292
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2001
Stránek
352
EAN
9780198500506
ISBN
0198500505
Enbook ID
04477057
Hmotnost
514
Rozměry
156 x 236 x 19

Kompletní popis

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.

Mohlo by vás zajímat

Sociology Student's Guide to Writing

Angelique (Angie) C. Harris
642

Grasses And Grassland Farming

Hi Williamson Staten
812

Goddess of Anarchy

Jacqueline Jones
804

Wheat Diseases and Their Management

Yeshwant Ramchandra Mehta
2 286

Robert Motherwell

Mary Ann Caws
451

Ace Of Shades

Amanda Foody
220
256

Secrets of Facilitation

Michael Wilkinson
1 629
1 129

Forests

Kalen Chock
324

Understanding Users

Andrew Dillon
4 225

Zákaznicí kteří koupili tuto knihu koupili také

243
103
268

Što nam je dakle činiti?

Lav Nikolajevič Tolstoj
284

Mysli a zbohatni

Napoleon Hill
145

Le rêve de Zamor

Ève Ruggieri
603

Les larmes de la pinede

Jean-Paul Malaval
306
303
180
111

Agac Evinde Tatil

Maggie Bateson
734

Formen ins Offene

Hanna Delf Von Wolzogen
2 934