Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Design Patterns für mathematische Beweise

Ein Leitfaden insbesondere für Informatiker
BuchKartoniert, Paperback
184 Seiten
Deutsch
Springererschienen am14.09.20171. Aufl.
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR37,99
E-BookPDF1 - PDF WatermarkE-Book
EUR29,99

Produkt

KlappentextDieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion.
Zusammenfassung
Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen

24 verschiedene Beweismuster

70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der Informatik

Intuitive Einführung transfiniter Konzepte

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-662-55651-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2017
Erscheinungsdatum14.09.2017
Auflage1. Aufl.
Seiten184 Seiten
SpracheDeutsch
Gewicht352 g
IllustrationenXI, 184 S. 2 Abb.
Artikel-Nr.43855014

Inhalt/Kritik

Inhaltsverzeichnis
I: Einfache und komplexe Beweismuster.- Einleitung.- Vorbereitung: Arten des Schließens.- Vorbereitung: Schreibweisen der Logik.- Einfache Beweismuster.- Komplexe Beweismuster.- Vollständige Induktion.- II: Transfinite Ordinalzahlen und transfinite Induktion.- Einleitung.- Vollständige Induktion und Grenzwertbildung.- Transfinite Ordinalzahlen.- Transfinite Induktion.- Exkurs: mathematisches Arbeiten.- Anhang.- Literatur.- Index.mehr

Schlagworte

Autor

Professor Dr. Hans Jürgen Ohlbach: Nach seinem Studium der Physik und Mathematik an der Universität Mainz wechselte er in die Informatik und arbeitet auf dem Gebiet Künstliche Intelligenz und Automatisches Beweisen. Er promovierte1988 an der Technischen Universität Kaiserslautern zu einem Thema der nichtklassischen Logik. Anschließend war er für 5 Jahre stellvertretender Direktor am Max-Planck Institut für Informatik in Saarbrücken. Von 1996 an arbeitete er in London, zunächst am Imperial College, und dann am King's College, bis er im Jahr 2000 an das Institut für Informatik der Ludwig-Maximilians Universität in München berufen wurde.Dort war er über 10 Jahre als Studiendekan maßgeblich an der Einführung und Gestaltung der Bachelor- und Masterstudiengänge beteiligt.

Dr. Norbert Eisinger studierte Informatik (Diplom) an der Universität Karlsruhe und promovierte im Fachbereich Informatik der Universität Kaiserslautern. Nach einigen Jahren an einem industriellen Forschungszentrum arbeitete er seit 1993 als wissenschaftlicher Angestellter am Institut für Informatik der Universität München. Dort unterrichtete er unter Anderem Themen der theoretischen Informatik und sammelte dabei viel Erfahrung mit typischen Schwierigkeiten, die mathematische Themen bei vielen Studierenden verursachen.
Weitere Artikel von
Ohlbach, Hans Jürgen