Name: Logikkalküle (en Alemán)
SKU: 57860604
Price: 46.62 USD
Availability: InStock
Author: Richter Michael

Formato

Libro Físico

Editorial

Vieweg+Teubner Verlag

Autor

Richter Michael

Idioma

Alemán

N° páginas

232

Encuadernación

Tapa Blanda

ISBN13

9783519023456

N° edición

1978th

Logikkalküle (en Alemán)

Richter Michael (Autor) · Vieweg+Teubner Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 93.24$ 46.62

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 46.62

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logikkalküle (en Alemán)"

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten- logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü- lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten lä t. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits- begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen lä t sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, da die Vollständigkeitsbeweise in Hilberttypkal- külen Korollare zu Betrachtungen über Kongruenzrelationen in ge- wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be- trachtungen haben wir uns kurz ge fa t und nur einige grundlegende Begriffe vorgestellt.