Articles liés à Design Patterns für mathematische Beweise: Ein Leitfaden...

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

Ohlbach, Hans Jürgen; Eisinger, Norbert

 
9783662556511: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
Couverture souple
ISBN 10 : 3662556510 ISBN 13 : 9783662556511
Editeur : Springer Vieweg, 2017

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Vieweg
Date d'édition
2017
Langue
allemand
ISBN 10 
3662556510
ISBN 13 
9783662556511
Reliure
Broché
Numéro d'édition
1
Nombre de pages
196
Coordonnées du fabricant
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Allemagne