„Uwe Schöning“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Cyper (Diskussion | Beiträge) angelegt |
Cyper (Diskussion | Beiträge) K kleine fixes |
||
| Zeile 1: | Zeile 1: | ||
'''Uwe Schöning''' (* [[1955]]) ist Hochschulprofessor im Fachgebiet Theoretische Informatik an der [[Universität Ulm]]. Desweiteren ist er Autor von Fachpublikationen und Lehrbüchern. |
'''Uwe Schöning''' (* [[1955]]) ist Hochschulprofessor im Fachgebiet Theoretische Informatik an der [[Universität Ulm]]. Desweiteren ist er Autor von Fachpublikationen und Lehrbüchern. |
||
Schöning studierte von 1975-80 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 |
Schöning studierte von 1975-80 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>. |
||
|SAT]]-Algorithmus<ref>[http://www.oldenbourg-verlag.de/wissenschaftsverlag/kontributor/uwe-schoening Uwe Schöning] beim [[Oldenbourg Verlag]]</ref>. |
|||
== Bücher == |
== Bücher == |
||
| Zeile 26: | Zeile 25: | ||
[[Kategorie:Mann]] |
[[Kategorie:Mann]] |
||
[[Kategorie:Deutscher |
[[Kategorie:Deutscher]] |
||
[[Kategorie:Geboren 1955]] |
|||
[[Kategorie:Hochschullehrer (Universität Ulm)]] |
[[Kategorie:Hochschullehrer (Universität Ulm)]] |
||
[[Kategorie:Informatiker]] |
[[Kategorie:Informatiker]] |
||
Version vom 21. Oktober 2011, 09:38 Uhr
Uwe Schöning (* 1955) ist Hochschulprofessor im Fachgebiet Theoretische Informatik an der Universität Ulm. Desweiteren ist er Autor von Fachpublikationen und Lehrbüchern.
Schöning studierte von 1975-80 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