- Hauptmenü-

Katalogdatenanzeige

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

Kataloginformation Katalogdatensatz500257377 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	493652221 Druckausg.: ‡Ohlbach, Hans Jürgen: Design Patterns für mathematische Beweise
ISBN	978-3-662-55651-1
Name	Ohlbach, Hans Jürgen
Name	Eisinger, Norbert ¬[VerfasserIn]¬
Name ANZEIGE DER KETTE	Eisinger, Norbert ¬[VerfasserIn]¬
T I T E L	Design Patterns für mathematische Beweise
Zusatz zum Titel	Ein Leitfaden insbesondere für Informatiker
Verlagsort	Berlin, Heidelberg
Verlag	Springer Vieweg
Erscheinungsjahr	2017
Erscheinungsjahr	2017
Umfang	Online-Ressource (XI, 184 S. 2 Abb, online resource)
Reihe	SpringerLink. Bücher
Titelhinweis	Druckausg.: ‡Ohlbach, Hans Jürgen: Design Patterns für mathematische Beweise
ISBN	ISBN 978-3-662-55652-8
Klassifikation	UFM
	MAT003000
	*68-01
	00-01
	00A06
	03-01
	UYAM
	COM018000
	004.0151
	QA76.9.M35
	ST 130
Kurzbeschreibung	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.
2. Kurzbeschreibung	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 Die Zielgruppen 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. 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 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.
1. Schlagwortkette	Beweis
1. Schlagwortkette	Mathematik
SWB-Titel-Idn	494007257
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-662-55652-8
Internetseite / Link	Volltext
Siehe auch	Volltext
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500257377

Kategorien-Anzeige Katalogdatensatz500257377

Titel zur Titelsammlung hinzufügen Katalogdatensatz500257377

Kataloginformation500257377 Datensatzanfang . Kataloginformation500257377 Seitenanfang .

Titel vormerken Katalogdatensatz500257377

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.