Cantitate/Preț
Produs
Total produse
Vezi coșul
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker de Hans Jürgen Ohlbach

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Autor Hans Jürgen Ohlbach, Norbert Eisinger
de Limba Germană Paperback – 14 sep 2017
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. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.
Citește tot Restrânge

Preț: 22646 lei

Preț vechi: 28308 lei
-20% Nou

Puncte Express: 340
Preț estimativ în valută:
4335€ • 4726$ • 3645£

Carte tipărită la comandă

Livrare economică 18 decembrie 24 - 01 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783662556511
ISBN-10: 3662556510
Pagini: 198
Ilustrații: XI, 184 S. 2 Abb.
Dimensiuni: 168 x 240 x 11 mm
Greutate: 0.32 kg
Ediția:1. Aufl. 2017
Editura: Springer Berlin, Heidelberg
Colecția Springer Vieweg
Locul publicării:Berlin, Heidelberg, Germany

Cuprins

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.

Notă biografică

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.

Textul de pe ultima copertă

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis und komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie: Was genau ist eigentlich ein Widerspruchsbeweis? Was ist eine Widerlegung? Und wie hängen sie zusammen?
Dazu erörtern die Autoren verbreitete Beweismuster anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik.

Der Inhalt

  • Arten des Schließens
  • Schreibweisen der Logik
  • Einfache Beweismuster
  • Komplexe Beweismuster
  • Vollständige Induktion
  • Vollständige Induktion und Grenzwertbildung
  • Transfinite Ordinalzahlen
  • Transfinite Induktion
  • Exkurs: mathematisches Arbeiten
DieZielgruppen
Studierende der Informatik und anderer Fächer, bei denen mathematische Beweise eine Rolle spielen
Dozenten, die Material und Beispiele für Beweistechniken benötigenDie Autoren
Professor Dr. Hans Jürgen Ohlbach arbeitete nach seinem Studium der Physik und Mathematik an der Universität Mainz auf dem Gebiet Künstliche Intelligenz und Automatisches Beweisen. Er promovierte an der Technischen Universität Kaiserslautern zu einem Thema der nichtklassischen Logik. Anschließend war er stellvertretender Direktor am Max-Planck Institut für Informatik in Saarbrücken und arbeitete in London am Imperial College und am King's College, bis er an das Institut für Informatik der Ludwig-Maximilians Universität in München berufen wurde. Dort war er 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 promovierteim 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.

Caracteristici

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