Article
Licensed
Unlicensed
Requires Authentication
Logik und Informatik (Logic and Computer Science)
Logic and Computer Science
-
Stephan Kreutzer
Published/Copyright:
September 25, 2009
Zusammenfassung
Als eine ihrer wichtigsten theoretischen Grundlagen hat die Logik Bedeutung für fast alle Bereiche der Informatik. Wir wollen diese hier anhand der Bereiche Datenbanken, automatische Verifikation und Komplexitätstheorie erläutern und dabei die Fragestellungen und Ergebnisse unserer beiden Dissertationen vorstellen.
Summary
As one of its most important foundations, logic has applications in many areas of computer science. In this article we present some of these applications in the areas databases, verification, and complexity theory and, at the same time, present results of our dissertations.
Online erschienen: 2009-9-25
Erschienen im Druck: 2004-3-1
© 2004 Oldenbourg Wissenschaftsverlag GmbH
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Wissenschaftliche Visualisierung
- Textur- und topologiebasierte Vektorfeldvisualisierung (Texture and Topology Based Vector Field Visualization)
- Moderne Volumenvisualisierung (Modern Volume Visualization)
- Medizinische Visualisierung: Methoden und Anwendungen in der Ausbildung und Therapieplanung (Visualization: Methods and Applications in Therapy Planning and Education)
- Netzwerkvisualisierung (Network Visualization)
- Informationsvisualisierung: Methoden und Perspektiven (Information Visualization: Techniques and Perspectives)
- Aktuelle Anwendungen der Wissenschaftlichen Visualisierung (Current Applications of Scientific Visualization)
- Wissenschaftliche Visualisierung – Ausgewählte Forschungsprojekte (Scientific Visualization – Selected Research Projects)
- DFG-Schwerpunktprogramm “Basissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme” (Middleware for Self-Organized Networked Mobile Systems)
- Logik und Informatik (Logic and Computer Science)
- Lebensähnlich aufgebaut und lebensähnlich handelnd
- Übrigens: Muss man zusammensitzen, um zusammenzuarbeiten?
Articles in the same Issue
- Wissenschaftliche Visualisierung
- Textur- und topologiebasierte Vektorfeldvisualisierung (Texture and Topology Based Vector Field Visualization)
- Moderne Volumenvisualisierung (Modern Volume Visualization)
- Medizinische Visualisierung: Methoden und Anwendungen in der Ausbildung und Therapieplanung (Visualization: Methods and Applications in Therapy Planning and Education)
- Netzwerkvisualisierung (Network Visualization)
- Informationsvisualisierung: Methoden und Perspektiven (Information Visualization: Techniques and Perspectives)
- Aktuelle Anwendungen der Wissenschaftlichen Visualisierung (Current Applications of Scientific Visualization)
- Wissenschaftliche Visualisierung – Ausgewählte Forschungsprojekte (Scientific Visualization – Selected Research Projects)
- DFG-Schwerpunktprogramm “Basissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme” (Middleware for Self-Organized Networked Mobile Systems)
- Logik und Informatik (Logic and Computer Science)
- Lebensähnlich aufgebaut und lebensähnlich handelnd
- Übrigens: Muss man zusammensitzen, um zusammenzuarbeiten?
