2.341
Bearbeitungen
Änderungen
Bernard Hodgson (Quelltext anzeigen)
Version vom 14. November 2016, 10:21 Uhr
, 10:21, 14. Nov. 2016keine Bearbeitungszusammenfassung
* 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>
== Mitgliedschaften ==
== Mitgliedschaften ==