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

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...

Full description

Bibliographic Details
Main Authors: Ohlbach, Hans Jürgen, Eisinger, Norbert (Author)
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2017, 2017
Edition:1st ed. 2017
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 03900nmm a2200349 u 4500
001 EB001615159
003 EBX01000000000000000949784
005 00000000000000.0
007 cr|||||||||||||||||||||
008 171005 ||| ger
020 |a 9783662556528 
100 1 |a Ohlbach, Hans Jürgen 
245 0 0 |a Design Patterns für mathematische Beweise  |h Elektronische Ressource  |b Ein Leitfaden insbesondere für Informatiker  |c von Hans Jürgen Ohlbach, Norbert Eisinger 
250 |a 1st ed. 2017 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2017, 2017 
300 |a XI, 184 S. 2 Abb  |b online resource 
505 0 |a 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 
653 |a Symbolic and Algebraic Manipulation 
653 |a Computer science / Mathematics 
653 |a Algorithms 
653 |a Formal Languages and Automata Theory 
653 |a Mathematical Applications in Computer Science 
653 |a Machine theory 
700 1 |a Eisinger, Norbert  |e [author] 
041 0 7 |a ger  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
028 5 0 |a 10.1007/978-3-662-55652-8 
856 4 0 |u https://doi.org/10.1007/978-3-662-55652-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a 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 
520 |a 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.  
520 |a 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ötigen Die 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.