Working with problems and making investigations is an activity one has to learn already very early. Therefore in primary school children should not only learn concepts and solve given tasks. They also should find out knowledge and reasons by themselves. Here you will find some problem fields in elementary arithmetic within children of primary school can make different investigations and find as well as give reasons for special statements. The topics concerned are partitions of numbers, sums of consecutive numbers, figured numbers, sequences and chains, table of hundred and numberwalls.

No description available.

Il libro scolastico, nella sua duplice fisionomia di supporto didattico e di prodotto editoriale e sociale, costituisce una preziosa fonte per la ricostruzione della storia pedagogica e didattica, culturale e politica dalla seconda metà del Settecento sino al primo ventennio del Novecento. Sulla base di questa premessa la tesi si propone di evidenziare la valenza educativa e didattica della letteratura scolastica per l’infanzia e il ruolo ricoperto dalla scuola nella formazione dei fanciulli italiani tramite l’analisi quantitativa e qualitativa dei principali libri di lettura editi in Lombardia tra Otto e Novecento. Dopo una panoramica generale sulla produzione editoriale scolastica della realtà italiana, la ricerca fa emergere i contenuti, l’apparato iconografico e la forma linguistica di 65 libri di lettura, adottati a livello nazionale nelle scuole elementari e pubblicati nei decenni postunitari (1871-1923) da case editrici lombarde di notevole rilievo, quali Agnelli, Risveglio Educativo, Trevisini e Vallardi. / The textbook, in its dual aspect of educational support and publishing and social product, is a precious source to reconstruct educational, teaching, cultural and political history from the second half of the eighteenth century to the first decades of the twentieth century. This thesis aims to underline the educational and teaching value of school literature and the role played by school in the education of Italian children through a quantitative and a qualitative analysis of the main reading textbooks published in Lombardy between the nineteenth and the twentyth centuries. After a general overview of the editorial school production of the Italian situation, the research focus on the contents, the iconography and linguistic form of 65 reading textbooks, adopted nationally in the elementary schools and published in the decades after the unification (1871-1923) by important Lombard publishers, such as Agnelli, Risveglio Educativo, Trevisini and Vallardi.

Émile Durkheims "Formes élémentaires de la vie religieuse" (1912) zählen zu den "Klassikern" der Religionssoziologie und Durkheim selbst unbestritten zu den "Gründungsvätern" der Disziplin. In der umfangreichen Sekundärliteratur zu Durkheim und seinem "Meisterwerk" hat die kritische Rezeption des Werks bislang jedoch nur wenig Betrachtung gefunden. Die vorliegende Arbeit präsentiert einen systematischen Überblick der theologischen Rezeption des Werks zwischen 1912 bis 1930 im französischsprachigen Kontext. Insofern Durkheims Studie bewusst als wissenschaftlicher Schlag gegen traditionelle Religionsverständnisse gedacht war und einen gezielten Beitrag zu den aufgeheizten Diskussionen über neue Ansätze der Religionsforschung darstellte, bilden die kritischen Auseinandersetzungen der Theologen die Dispute über die Deutungshoheiten innerhalb der Religionsforschung zum Entstehungskontext des Werks verdichtet ab. Mit der Aufarbeitung der kritischen Rezeption vor dem Hintergrund zeitgenössischer Debatten innerhalb des französischen Wissenschaftskontextes und der (katholischen) Theologie wird der "soziologische Klassiker" in seine intellektuellen Entstehungskontexte zurückgeführt. Dieser Blick auf das Werk als historischer Debattenbeitrag erlaubt, gegenwärtige "Gründungsnarrative" sowie soziologiegeschichtliche Kanonbildung kritisch zu hinterfragen. Dabei wird erkennbar, dass der komplexe Gründungsprozess der Soziologie in Frankreich nicht allein auf die herausragenden Arbeiten eines Einzelnen zurückgeführt werden kann, sondern der kollaborative Charakter des Gründens stärker herausgestellt werden muss. Daneben sind auch die notwendigen institutionellen und intellektuellen Bedingungen für die erfolgreiche "Gründung" der Religionssoziologie zu Beginn des 20. Jahrhunderts anzuerkennen. / Émile Durkheim’s 'Formes élémentaires de la vie religieuse' (1912) counts as one of the 'classics' of sociology of religion, while Durkheim himself is undisputedly considered one of the 'founding fathers' of the discipline. Despite extensive secondary literature on Durkheim and his 'masterpiece', the critical reception of his work has received comparatively little attention. This dissertation presents a systematic overview of the theological reception of the work between 1912 and 1930 in the Frenchspeaking context. Durkheim’s study was intended as an attack against traditional understandings of religion and also contributed to heated discussions about new approaches to the study of religion. Therefore, the critical reception from theologians during the publishing context provides important insight into disputes about sovereignties within the study of religion. By reappraising the reception against the backdrop of historical debates within the French scientific community and (Catholic) theology, the 'sociological classic' is returned to its original intellectual context. Considering the book as a historical contribution to debates allows us to critically question contemporary 'founding narratives', as well as canon formation within the sociology of religion. In doing so, it becomes apparent that the complex founding process of sociology in France cannot be attributed solely to the outstanding work of one individual, instead one must emphasise the collaborative nature of founding. In addition, the necessary institutional and intellectual conditions for the successful 'founding' of the sociology of religion at the beginning of the 20th century must also be acknowledged.

Drückwalzen als inkrementelles Umformverfahren ist aufgrund seiner Verfahrenscharakteristik mit sehr hohen Rechenzeiten bei der Finite-Elemente-Methode (FEM) verbunden. Die Modelle ModIni und FloSim sind zwei analytisch-elementare Ansätze, um dieser Prämisse entgegenzuwirken. Das für ModIni entwickelte Geometriemodell wird in der vorliegenden Arbeit weiterentwickelt, so dass eine werkstoffunabhängige Berechnung der Staugeometrie ermöglicht wird und ein deutlich größeres Anwendungsspektrum der Methode bereitsteht. Die Simulationsmethode FloSim basiert auf dem oberen Schrankenverfahren und ermöglicht somit eine Berechnung von Zylinderdrückwalzprozessen innerhalb weniger Minuten. Für die Optimierung der Methode FloSim wurden in der vorliegenden Arbeit die analytischen Grundlagen für die Berechnung der Bauteillänge sowie der Umformzonentemperatur während des Prozesses erarbeitet. Weiterhin wurde auf Basis von numerisch realisierten Parameteranalysen ein Ansatz für die analytische Berechnung des Vergleichsumformgrades von Drückwalzprozessen entwickelt. Diese drei Ansätze, zu Bauteillänge, Temperatur und Umformgrad wurden in die Simulationssoftware FloSim integriert und führen zu einer deutlichen Genauigkeitssteigerung der Methode. / Flow Forming as incremental forming process is connected with extreme long computation times for Finite-Element-Analyses. ModIni and FloSim are two analytical/elementary models to antagonize this situation. The geometry model, which was developed for ModIni, is improved within the presented work. The improvement enables the material independent computation of the pile-up geometry and permits a wider application scope of ModIni. The simulation method FloSim is based on the upper bound method, which enables the computation of cylindrical Flow Forming processes within minutes. For the optimization of the method FloSim, the basics for the analytical computation of the workpiece length during the process and the computation of the forming zone temperature were developed within this work. Fur-thermore, an analytical approach for the computation of the equivalent plastic strain of cylindrical Flow Forming processes was developed based on numerical parameter analyses. This tree approaches for computing the workpiece length, the temperature and the equivalent plastic strain were integrated in FloSim and lead to an increased accuracy.

Normalformen drücken semantische Eigenschaften einer Logik durch syntaktische Restriktionen aus. Sie ermöglichen es Algorithmen, Grenzen der Ausdrucksstärke einer Logik auszunutzen. Ein Beispiel ist die Lokalität der Logik erster Stufe (FO), die impliziert, dass Graph-Eigenschaften wie Erreichbarkeit oder Zusammenhang nicht FO-definierbar sind. Gaifman-Normalformen drücken die Bedeutung einer FO-Formel als Boolesche Kombination lokaler Eigenschaften aus. Sie haben eine wichtige Rolle in Model-Checking Algorithmen für Klassen dünn besetzter Graphen, deren Laufzeit durch die Größe der auszuwertenden Formel parametrisiert ist. Es ist jedoch bekannt, dass Gaifman-Normalformen im Allgemeinen nur mit nicht-elementarem Aufwand konstruiert werden können. Dies führt zu einer enormen Parameterabhängigkeit der genannten Algorithmen. Ähnliche nicht-elementare untere Schranken sind auch für Feferman-Vaught-Zerlegungen und für die Erhaltungssätze von Lyndon, Łoś und Tarski bekannt. Diese Arbeit untersucht die Komplexität der genannten Normalformen auf Klassen von Strukturen beschränkten Grades, für welche die nicht-elementaren unteren Schranken nicht gelten. Für diese Einschränkung werden Algorithmen mit elementarer Laufzeit für die Konstruktion von Gaifman-Normalformen, Feferman-Vaught-Zerlegungen, und für die Erhaltungssätze von Lyndon, Łoś und Tarski entwickelt, die in den ersten beiden Fällen worst-case optimal sind. Wichtig hierfür sind Hanf-Normalformen. Es wird gezeigt, dass eine Erweiterung von FO durch unäre Zählquantoren genau dann Hanf-Normalformen erlaubt, wenn alle Zählquantoren ultimativ periodisch sind, und wie Hanf-Normalformen in diesen Fällen in elementarer und worst-case optimaler Zeit konstruiert werden können. Dies führt zu Model-Checking Algorithmen für solche Erweiterungen von FO sowie zu Verallgemeinerungen der Algorithmen für Feferman-Vaught-Zerlegungen und die Erhaltungssätze von Lyndon, Łoś und Tarski. / Normal forms express semantic properties of logics by means of syntactical restrictions. They allow algorithms to benefit from restrictions of the expressive power of a logic. An example is the locality of first-order logic (FO), which implies that properties like reachability or connectivity cannot be defined in FO. Gaifman's local normal form expresses the satisfaction conditions of an FO-formula by a Boolean combination of local statements. Gaifman normal form serves as a first step in fixed-parameter model-checking algorithms, parameterised by the size of the formula, on sparse graph classes. However, it is known that in general, there are non-elementary lower bounds for the costs involved in transforming a formula into Gaifman normal form. This leads to an enormous parameter-dependency of the aforementioned algorithms. Similar non-elementary lower bounds also hold for Feferman-Vaught decompositions and for the preservation theorems by Lyndon, Łoś, and Tarski. This thesis investigates the complexity of these normal forms when restricting attention to classes of structures of bounded degree, for which the non-elementary lower bounds are known to fail. Under this restriction, the thesis provides algorithms with elementary and even worst-case optimal running time for the construction of Gaifman normal form and Feferman-Vaught decompositions. For the preservation theorems, algorithmic versions with elementary running time and non-matching lower bounds are provided. Crucial for these results is the notion of Hanf normal form. It is shown that an extension of FO by unary counting quantifiers allows Hanf normal forms if, and only if, all quantifiers are ultimately periodic, and furthermore, how Hanf normal form can be computed in elementary and worst-case optimal time in these cases. This leads to model-checking algorithms for such extensions of FO and also allows generalisations of the constructions for Feferman-Vaught decompositions and preservation theorems.