„Uwe Schöning“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Sf67 (Diskussion | Beiträge) K →Bücher |
Sf67 (Diskussion | Beiträge) K Q.: Kürschners DG-K 2011, 3804 |
||
| Zeile 1: | Zeile 1: | ||
'''Uwe Schöning''' (* [[1955]]) ist ein deutscher Informatiker. Er ist Professor für Theoretische Informatik an der [[Universität Ulm]] und Autor von Fachpublikationen und Lehrbüchern. |
'''Uwe Schöning''' (* [[28. Dezember]] [[1955]] in [[Ulm]]) ist ein deutscher Informatiker. Er ist Professor für Theoretische Informatik an der [[Universität Ulm]] und Autor von Fachpublikationen und Lehrbüchern. |
||
Schöning studierte von 1975–1980 Informatik. 1981 folgte die Promotion. 1985 schloss er seine Habilitation ab und erhielt den ersten Ruf auf eine Professur. Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.<ref>[http://www.einstieg-informatik.de/index.php?article_id=83&back=6&kid=0 Einstieg-Informatik.de Prof. Dr. Uwe Schöning]</ref>1998 erhielt er vom Land [[Baden-Württemberg]] den Landeslehrpreis<ref>[http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf Landeslehrpreis an Universitäten 1993-2007]</ref>. 1999 erfand er einen häufig zitierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus.<ref>[http://www.oldenbourg-verlag.de/wissenschaftsverlag/kontributor/uwe-schoening Uwe Schöning] beim [[Oldenbourg Verlag]]</ref> |
Schöning studierte von 1975–1980 Informatik. 1981 folgte die Promotion. 1985 schloss er seine Habilitation ab und erhielt den ersten Ruf auf eine Professur. Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.<ref>[http://www.einstieg-informatik.de/index.php?article_id=83&back=6&kid=0 Einstieg-Informatik.de Prof. Dr. Uwe Schöning]</ref>1998 erhielt er vom Land [[Baden-Württemberg]] den Landeslehrpreis<ref>[http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf Landeslehrpreis an Universitäten 1993-2007]</ref>. 1999 erfand er einen häufig zitierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus.<ref>[http://www.oldenbourg-verlag.de/wissenschaftsverlag/kontributor/uwe-schoening Uwe Schöning] beim [[Oldenbourg Verlag]]</ref> |
||
| Zeile 36: | Zeile 36: | ||
|ALTERNATIVNAMEN= |
|ALTERNATIVNAMEN= |
||
|KURZBESCHREIBUNG=deutscher Informatiker und Hochschullehrer |
|KURZBESCHREIBUNG=deutscher Informatiker und Hochschullehrer |
||
|GEBURTSDATUM=1955 |
|GEBURTSDATUM=28. Dezember 1955 |
||
|GEBURTSORT= |
|GEBURTSORT=[[Ulm]] |
||
|STERBEDATUM= |
|STERBEDATUM= |
||
|STERBEORT= |
|STERBEORT= |
||
Version vom 21. Oktober 2011, 19:24 Uhr
Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker. Er ist Professor für Theoretische Informatik an der Universität Ulm und Autor von Fachpublikationen und Lehrbüchern.
Schöning studierte von 1975–1980 Informatik. 1981 folgte die Promotion. 1985 schloss er seine Habilitation ab und erhielt den ersten Ruf auf eine Professur. Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.[1]1998 erhielt er vom Land Baden-Württemberg den Landeslehrpreis[2]. 1999 erfand er einen häufig zitierten SAT-Algorithmus.[3]
Bücher
- Uwe Schöning: Complexity and Structure. Lecture Notes in Computer Science 211. Springer-Verlag, Berlin 1985, ISBN 3-540-16079-5
- Uwe Schöning: Logik für Informatiker. Bibl. Institut Wissenschaftsverlag, 1987, ISBN 3-411-03164-6
- Uwe Schöning: Logic for Computer Scientists. Birkhäuser Verlag, Boston, 1989, ISBN 3-7643-3453-3
- Uwe Schöning: Theoretische Informatik - kurz gefasst. Bibl. Institut Wissenschaftsverlag, 1992, ISBN 3-411-15641-4
- K. Ambos-Spies, S. Homer, Uwe Schöning (Hg.): Complexity Theory: Current Research. Cambridge University Press, 1993
- Johannes Köbler, Uwe Schöning, Jacobo Torán: The Graph Isomorphism Problem: Its Structural Complexity. Birkhäuser Verlag, Boston 1993, ISBN 3-7643-3680-3
- Uwe Schöning: Perlen der Theoretischen Informatik. Bibl. Institut Wissenschaftsverlag, 1995, ISBN 3-411-17331-9
- Uwe Schöning: Algorithmen - kurz gefasst. Spektrum Akademischer Verlag, 1997
- Uwe Schöning, Randall J. Pruim: Gems of Theoretical Computer Science, Springer-Verlag, 1998, ISBN 3-540-64425-3 (Englische Übersetzung der Perlen der Theoretischen Informatik)
- Uwe Schöning: Algorithmik. Spektrum Akademischer Verlag, 2001, ISBN 3-8274-1092-4
- Uwe Schöning: Ideen der Informatik. Oldenbourg Verlag, 2002, ISBN 3-486-25899-0
- Uwe Schöning, Hans A. Kestler: Mathe-Toolbox - Mathematische Notationen, Grundbegriffe und Beweismethoden. Lehmanns Media, 2010, ISBN 978-3-86541-369-7
Einzelnachweise
- ↑ Einstieg-Informatik.de Prof. Dr. Uwe Schöning
- ↑ Landeslehrpreis an Universitäten 1993-2007
- ↑ Uwe Schöning beim Oldenbourg Verlag
Weblinks
| Personendaten | |
|---|---|
| NAME | Schöning, Uwe |
| KURZBESCHREIBUNG | deutscher Informatiker und Hochschullehrer |
| GEBURTSDATUM | 28. Dezember 1955 |
| GEBURTSORT | Ulm |