2.341
Bearbeitungen
Bernard Hodgson: Unterschied zwischen den Versionen
K
keine Bearbeitungszusammenfassung
| [gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 38: | Zeile 38: | ||
== Arbeitsgebiete == | == Arbeitsgebiete == | ||
* 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) | * 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 == | == Projekte == | ||