2.341
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
[gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
KKeine 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> | ||
== Mitgliedschaften == | == Mitgliedschaften == |