project archive

logic.rforge.com Research

<<
>>
01/01


logic.rforge.com stellt als Subportal von rforge.com einen Einblick in die akademische Arbeit von Roland Poellinger dar. Die Plattform präsentiert Visualisierungen von verschiedenen Einzelpunkten aus der formalen Logik und bietet verschiedene Tools als Implementierungsbeispiele algorithmischer Methoden:

• logics pack: Mithilfe dieser Java Web Start-Anwendung lassen sich Q-Analyse und PNF-Konversion (Pränexe Normalform) durchführen und analysieren (Programmierung: R. Poellinger, 2006);
• 3-D-Ansicht der disjunktiven Boolschen Normalformen über P und Q als Diamant in VRML (Virtual Reality Modelling Language), wie im Collegium Logicum von Prof. Dr. Godehard Link eingeführt;
• Zusätzliche Ressourcen für aktuelle Lehrveranstaltungen des Seminars für Logik und Wissenschaftstheorie der LMU München.

logic.rforge.com aufrufen ...

<<
>>
01/01
 © rforge.com_2000.6 | Roland Poellinger | | DirectLink