Linear-Algebraische Berechnungsmodelle für Boolesche Funktionen und ihre Anwendung

• Antragsteller: Professor Dr. Christoph Meinel
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5146058

Linear-algebraische Berechnungsmodelle für Boolesche Funktionen sind Modelle, deren Arbeitsweise nicht auf der Booleschen Algebra sondern auf Körperstrukturen beruht. Der Vorteil gegenüber traditionellen Modellen ist die unmittelbare Anwendbarkeit linear-algebraischer Methoden für Entwurf und Analyse. Neueste Untersuchungen eröffnen interessante Anwendungsmöglichkeiten für lineare Modelle, aber zu ihrer Umsetzung fehlen noch wichtige Einsichten in die Natur linearer Berechnungen. Im Projekt sollen lineare Modelle und Methoden systematisch untersucht werden, um die Grundlagen zu erweitern und Anwendungsmöglichkeiten zu erschließen.

• DFG-Verfahren: Sachbeihilfen