Foundations of Logic - Completeness, Incompleteness, Computability

Name: Foundations of Logic - Completeness, Incompleteness, Computability
Brand: Centre for the Study of Language & Information
SKU: 9781684000005
Price: 17920 HUF
Availability: InStock

Szerző: Dag Westerståhl

Nyelv:

Kötés: Puha kötésű

Kiadó: Centre for the Study of Language & Information

Elérhetőség: Beszállítói készleten

Küldés 14-20 napon belül

17 920 Ft

A comprehensive introduction to logic’s central concepts. This book provides a concise but detailed...

Információk a könyvről

Szerző

Dag Westerståhl

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2023

oldal

EAN

9781684000005

ISBN

1684000009

Enbook ID

42217124

Kiadó

Centre for the Study of Language & Information

Súly

560

Méretek

6 x 9

Teljes leírás

A comprehensive introduction to logic’s central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Foundations of Logic - Completeness, Incompleteness, Computability

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták