• Alles voor jouw opleiding
  • Ook 2e hands studieboeken

A concise introduction to mathematical logic 3rd 2010

Rautenberg

9781441912206 - A concise introduction to mathematical logic 3rd 2010
2e hands

Artikelomschrijving

by Lev Beklemishev, Moscow The ?eld of mathematical logic-evolving around the notions of logical validity, provability, and computation-was created in the ?rst half of the previous century by a cohort of brilliant mathematicians and philosophers such as Frege, Hilbert, Godel, Turing, Tarski, Malcev, Gentzen, and some others. The development of this discipline is arguably among the highest achievements of science in the twentieth century: it expanded mat- matics into a novel area of applications, subjected logical reasoning and computability to rigorous analysis, and eventually led to the creation of computers. The textbook by Professor Wolfgang Rautenberg is a well-written - troduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Godels incompleteness theorems, as well as some topics motivated by appli- tions, such as a chapter on logic programming. The author has taken great care to make the exposition readable and concise; each section is accompanied by a good selection of exercises.

Specificaties

Auteur Rautenberg
ISBN/EAN 9781441912206
Druk 3
€ 82,52
Verwachte bezorgdatum: 14-06

Artikelomschrijving

by Lev Beklemishev, Moscow The ?eld of mathematical logic-evolving around the notions of logical validity, provability, and computation-was created in the ?rst half of the previous century by a cohort of brilliant mathematicians and philosophers such as Frege, Hilbert, Godel, Turing, Tarski, Malcev, Gentzen, and some others. The development of this discipline is arguably among the highest achievements of science in the twentieth century: it expanded mat- matics into a novel area of applications, subjected logical reasoning and computability to rigorous analysis, and eventually led to the creation of computers. The textbook by Professor Wolfgang Rautenberg is a well-written - troduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Godels incompleteness theorems, as well as some topics motivated by appli- tions, such as a chapter on logic programming. The author has taken great care to make the exposition readable and concise; each section is accompanied by a good selection of exercises.

Specificaties

Auteur Rautenberg
ISBN/EAN 9781441912206
Druk 3