Design Patterns fuer mathematische Beweise Ein Leitfaden insbesondere für Informatiker
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
- Duits
- Paperback
- 9783662556511
- 14 september 2017
- 184 pagina's
Samenvatting
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 spielenDozenten, 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 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.
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.
Productspecificaties
Inhoud
- Taal
- de
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 14 september 2017
- Aantal pagina's
- 184
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Hans Jurgen Ohlbach
- Tweede Auteur
- Norbert Eisinger
- Hoofduitgeverij
- Springer Vieweg
Overige kenmerken
- Editie
- 1. Aufl. 2017
- Extra groot lettertype
- Nee
- Product breedte
- 168 mm
- Product lengte
- 240 mm
- Studieboek
- Nee
- Verpakking breedte
- 168 mm
- Verpakking hoogte
- 240 mm
- Verpakking lengte
- 240 mm
- Verpakkingsgewicht
- 454 g
EAN
- EAN
- 9783662556511
Je vindt dit artikel in
- Categorieën
- Boek, ebook of luisterboek?
- Boek
- Taal
- Duits
- Beschikbaarheid
- Leverbaar
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Prijsinformatie en bestellen
De prijs van dit product is 41 euro en 99 cent.- Bestellen en betalen via bol
- Prijs inclusief verzendkosten, verstuurd door Roelants
- 30 dagen bedenktijd en gratis retourneren
- Wettelijke garantie via Roelants
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.