1989-1993 :
Intercultural comparative study with Chinese children on the basic algorithmic concepts in predicative and functional processes of concept formation using examples of the foundation of algorithmization and movement control – funded by the Ministry of Science of Lower Saxony.
1987-1990:
www.ikm.uni-osnabrueck.de1989-1993 :
Interkulturelle Vergleichsstudie mit chinesischen Kindern zu grundlegenden Algorithmenkonzepten bei prädikativen und funktionalen Begriffsbildungsprozessen an den Beispielen der Grundlegung von Algorithmierung und Bewegungssteuerung. Förderung: Niedersächsisches Wissenschaftsministerium.
1987-1990:
www.ikm.uni-osnabrueck.deIt fits since it works – It fits since it is right.
On functional and predicative logical analyses Presentation in the context of the Niedersächsischen Telekolloquiums " Mathematik – Hochschullehre in Bewegung " (tele-seminar of lower saxony “ Mathematics – higher education on the move “) (direkt link to the record, start with slide 80) , Dec. 13th 2006 [ websites in German ]
www.ikm.uni-osnabrueck.de– Es passt, weil es stimmt.
Zur funktionalen und prädikativen logischen Analyse Vortrag im Rahmen des Niedersächsischen Telekolloquiums " Mathematik – Hochschullehre in Bewegung " (Direkt zur Aufzeichnung, dann ab Folie 80) , 13. Dez. 2006
www.ikm.uni-osnabrueck.de2000-2001 :
Eyetracking experiments concerning functional / predicative differences in thinking - joint project with Dr. Franz Mechsner, Max Planck Institute for Psychological Research, Munich.
1997-2000:
www.ikm.uni-osnabrueck.de2000-2001 :
Eyetracker-Piloststudie zum Unterschied funktionalen / prädikativen Denkens. Projekt gemeinsam mit Dr. Franz Mechsner, Max Planck Institut für Psychologische Forschung, München.
1997-2000:
www.ikm.uni-osnabrueck.de1997-2000 :
The difference between functional and predicative thinking during EEG measurement - joint project with Prof. Dr. Jan Born, University of Luebeck. ( short info [ website in German ] )
1995-1997:
www.ikm.uni-osnabrueck.de1997-2000 :
Der Unterschied funktionalen / prädikativen Denkens in EEG-Messungen. Projekt gemeinsam mit Prof. Dr. Jan Born, Medizinische Universität zu Lübeck. ( Kurzinfo )
1995-1997:
www.ikm.uni-osnabrueck.deIn difference to other algebraic languages SPECTRUM permits the use of partial functions, including non-strict ones, high-order functions and non-continuous functions.
It uses a predicative polymorphism with type classes.
Type classes are used to model overloading as well as many forms of parameterization.
www4.informatik.tu-muenchen.deIm Unterschied zu anderen algebraischen Methoden sind partielle Funktionen, auch nicht strikte, sowie Funktionen höherer Ordnung und nichtstetige Operationen zugelassen.
SPECTRUM verwendet einen offenen prädikativen Polymorphismus mit Typklassen.
Durch Typklassen können sowohl Überladung als auch viele Formen der Parameterisierung modelliert werden.
www4.informatik.tu-muenchen.deDocument containers for any number of documents
Effective know-how protection with a predicative permissions system
www.contact-software.comDokumentcontainer für beliebige Anzahl von Dateien
Effektiver Know-how-Schutz durch prädikatives Rechtesystem
www.contact-software.comWould you like to add some words, phrases or translations?
Submit a new entry.