Hermann Cohens Logik der reinen Erkenntnis

Die Erkenntnis der Liebe

Erachtens die Dialogphilosophie.

20. Jahrestagung Der Gi-fachgruppe " Logik in Der Informatik "

Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition

v vi Inhaltsverzeichnis 1 Einleitung 1

Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten

Diese Arbeit ist in der Theoretischen Informatik positioniert, und zwar in den Fachgebieten Komplexitätstheorie, mathematische Logik und Datenbanktheorie. Die Arbeit beschäftigt sich mit der Ausdrucksstärke der Logik erster Stufe auf Strukturen mit eingebauten Prädikaten wie z.B. lineare Ordnung, Addition und Multiplikation. Die Hauptergebnisse lassen sich den drei Teilbereichen ” Arithmetik un...

Die Logik des Lebens Zur Schlüsselrolle von KI-Methoden in der Biologie der Zukunft

Wie kaum eine andere Wissenschaft hat die Biologie in den letzten 10 Jahren von Entwicklungen in der Informatik profitiert. Dabei spielen Methoden und Ansätze aus der Künstlichen Intelligenz bereits heute eine Schlüsselrolle bei der Erforschung biologischer Prozesse und bilden ein wichtige Grundlage für die Erhebung und Analyse einer stetig wachsenden Menge von Daten mithilfe effizienter und ma...