Name: Einführung in die Mathematische Logik: Klassische Prädikatenlogik (en Alemán)
Price: 181109.00 COP
Availability: InStock
Author: Hans Hermes
ISBN: 9783519222019

portada Einführung in die Mathematische Logik: Klassische Prädikatenlogik (en Alemán)

Einführung in die Mathematische Logik: Klassische Prädikatenlogik (en Alemán)

Formato

Libro Físico

Editorial

Vieweg+Teubner Verlag

Autor

Hans Hermes

Idioma

Alemán

N° páginas

212

Encuadernación

Tapa Blanda

ISBN13

9783519222019

N° edición

Einführung in die Mathematische Logik: Klassische Prädikatenlogik (en Alemán)

Hans Hermes (Autor) · Vieweg+Teubner Verlag · Tapa Blanda

Libro Nuevo Importado

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

$ 362.218$ 181.109

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 181.109

¡Envío Gratis! Llega entre el 20 Ago y el 28 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Einführung in die Mathematische Logik: Klassische Prädikatenlogik (en Alemán)"

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten- logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, da diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An- fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, da er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemä gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati- schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff.