Änderungen

Zur Navigation springen Zur Suche springen
K
keine Bearbeitungszusammenfassung
Zeile 36: Zeile 36:  
* Mathematiklehre und Geschichte der Mathematik (z.B. Lehrerbildung, Computer im Mathematikunterricht, Einfluss der Geschichte der Mathematik auf die Mathematiklehre, Mathematik im Elementarunterricht, Popularisierung der Mathematik, Mathematisches Problemlösen)
 
* Mathematiklehre und Geschichte der Mathematik (z.B. Lehrerbildung, Computer im Mathematikunterricht, Einfluss der Geschichte der Mathematik auf die Mathematiklehre, Mathematik im Elementarunterricht, Popularisierung der Mathematik, Mathematisches Problemlösen)
 
* Mathematische Logik und theoretische Informatik (z.B. Décidabilité par automate fini, Arithmétisation de classes de complexité, Preuves de la terminaison de systèmes de réécriture, raisonnement automatisé, logique linéaire, vision combinatoire (à la Kirby-Paris) du phénomène d'incomplétude de l'arithmétique de Peano)<ref>https://www.mat.ulaval.ca/bhodgson/bernard-r-hodgson/domaines-de-recherche/</ref>
 
* Mathematische Logik und theoretische Informatik (z.B. Décidabilité par automate fini, Arithmétisation de classes de complexité, Preuves de la terminaison de systèmes de réécriture, raisonnement automatisé, logique linéaire, vision combinatoire (à la Kirby-Paris) du phénomène d'incomplétude de l'arithmétique de Peano)<ref>https://www.mat.ulaval.ca/bhodgson/bernard-r-hodgson/domaines-de-recherche/</ref>
  −
== Projekte ==
  −
<!-- Auflistung der Forschungsprojekte, mit [[...]] verweisen! -->
      
== Mitgliedschaften ==
 
== Mitgliedschaften ==
Cookies helfen uns bei der Bereitstellung von madipedia. Durch die Nutzung von madipedia erklärst du dich damit einverstanden, dass wir Cookies speichern.

Navigationsmenü