Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Arithmetics"”.
-
Automata-based decision procedures for weak arithmetics
Around forty years ago, mathematicians such as Büchi and Rabin <br>discovered that automata are a useful mathematical tool for <br>understanding the decidability of different weak systems of <br>arithmetic. A prominent example is the weak monadic second-order logic <br>of one successor, WS1S for …
-
Medidas de localización robusta para elementos aleatorios con valores imprecisos
… The types of data to be dealt with, the usual arithmetics and metrics between them, the random mechanisms generating these data and the associated Aumann/Aumann-type means, are also presented. To motivate the main body of the work, simulation studies are carried out to corroborate empirically …
-
Arbeitsgedächtnis und Schulleistungen in Mathematik und Schriftsprache bei älteren Grundschülern
Der Zusammenhang zwischen Arbeitsgedächtnisfunktionen nach dem Modell von Baddeley (1986) und den Leistungsbereichen Mathematik, Lesen, Rechtschreiben und Intelligenz wird untersucht. Die Arbeitsgedächtnisfunktionen sowie deren Teilfunktionen werden mit Hilfe der eigens entwickelten …