University, Diss., 2003--Bonn.

This thesis deals with implementation of computer technologies to teaching practice of mathematics in the 7th year of elementary school. The thesis is divided into two parts ? a theory and an application. The theory includes the most important knowledge of interactive teaching divided into teaching with interactive whiteboard and computer assisted learning. It also discusses approaches to teaching mathematics as an important part of education and connecting problem solving into education. The application includes worksheets that introduce the usage of interactive issues in education and description of a trial performed in the 7th class of elementary school. The aim of the trial was to find out the influence of interactive education to dealing with mathematical problem solving

In this work we will try to quantize midisuperspace model of spherically sym- metric spacetime with massless scalar field. On this type of spacetimes we apply Dirac method of canonical quantization, leading to Wheeler-DeWitt equations. We will attempt to solve those equation generally for aforementioned type of spa- cetimes. Our initial midisuperspace model is Roberts dynamical spacetime. As we will see later, Roberts metric behaves badly in the asymptotic region. Due to this problematic behaviour of Roberts spacetime at the boundary, we will choose to quantize its static version, the special Janis-Newman-Winicour spacetime. This midisuperspace model is static, asymptotically flat spacetime with scalar field and it contains a naked time-like singularity. For special Janis-Newman-Winicour spacetime we will then solve Wheeler-DeWitt equations.

The main aim of this thesis is to provide follow up for primary research that was published in the article of Marcin Matczak, Matyas Bencze and Zdeněk Kühn "Constitutions, EU Law and Judicial Strategies in the Czech Republic, Hungary and Poland," and to find out, in what extend it is possible to consider decision-making process of Czech administrative courts to be formalistic, or whether there have been any significant changes in strategies of adjudication since the primary research took place. First part of this thesis introduces organisational structure of Czech administrative courts, elaborates on the position of Supreme Administrative Court within that structure and shortly sums up its history. Second part of this thesis deals with theoretical questions regarding legal reasoning, both in general and with emphasis on judicial application of law, taking into account diverse ideologies and strategies that were formed developed by the doctrine. Final part of this thesis introduces outcomes of the follow up research that provided for quantitative analyses of case law of administrative courts in the years of 2003 to 2011. Matczak, Bencze and Kühn reviewed case law published in the official journal of administrative courts' decisions between 1999 and 2004 by marking usage of interpretational standards divided...

The topic of this thesis is bill formalism and development of its concept in the judicature. The thesis deals mainly with requirements of a bill of exchange, which are set by law, as well as with the effect of the failure to meet the correct form of these requirements on validity of bills of exchange. This issue is analysed especially with regard to its concept in the Czech judicature. The first chapter deals with theoretical aspects of the topic, namely with description of the basic legal regulation of exchange law, the characteristics of a bill of exchange and defining the kinds of bills and special types of them. The second chapter focuses on basic requirements of a bill of exchange set by law, which are analysed in particular with regard to their impact on the validity of the bill of exchange. Individual parts of the chapter deal with the following requirements of bills of exchange: 1.indication that it is a bill of exchange, included in the text of the instrument, expressed in the language in which the instrument is drawn up, 2. unconditional order (promise) to pay a certain financial sum, 3. the name of who is to pay, 4. information on maturity, 5. information on the place where payment is to be, 6. the name of the person to whom or to whose order payment is to be, 7. date and place of issue of bill of exchange, 8. signature of the drawer. The third chapter contains issue that is closely connected with the introduction of the above-mentioned requirements on a bill of exchange and which also reflects the formal character of a bill of exchange. The first part of this chapter concentrates on the bill forms, with whose character certain specific problems are related. The second part of this chapter deals with issues of graphic layout of a bill, which has also significant importance in terms of bill formalism.

Objective of this thesis is about design of grammar and user interface for filtering and visualization of spatiotemporal data. The initial task is to get acquainted with evaluation of traffic data based on trajectory analysis. The next part is the design and description of a formalism which allows spatial filtering and filtering based on static and dynamic attributes. Based on the created formalism, data analysis application with a user interface is designed. Design process was preceded by a comparison of existing solutions. Application is implemented in Qt Framework using C++ and QML languages.

This thesis gives a short introduction into the higher gauge algebras. We first in- troduce the BRST formalism in the context of ordinary gauge theories and show the properties that allow us to use it in the context of higher gauge theories. We define the 2-groups and show the correspondence between 2-groups and crossed modules. We then give a brief introduction into the theory of L∞-algebras - we give account of the graded manifolds and Q-manifolds. We give a short account of Homotopy Maurer-Cartan theory and show that it reduces to the BF theory in case of 4-dimensional manifold and 2-term L∞-algebra. 1

Die ersten Ausstellungen am Leipziger Museum der bildenden Künste nach Ende des Zweiten Weltkrieges erscheinen zum einen überraschend und zum anderen vorhersehbar. Vorhersehbar, da sie dem kulturpolitischen Kurs, wie er in allen vier Besatzungszonen verfolgt wird, entsprechen. In allen Zonen werden Schauen eröffnet, die in ihrer Werkauswahl an die Zeit der Weimarer Republik anknüpfen, die Errungenschaften der (älteren) europäischen Kultur aufzeigen oder die Kunst der Gegenwart, meist mit regionalem Schwerpunkt, präsentieren. So auch in Leipzig. Und dennoch überraschen hier mehrere Faktoren: die große Anzahl der Ausstellungen, das Tempo mit dem Rückführungen, Sammlungsaufbau, Personalmanagement und Konzepte umgesetzt werden und die Auswahl der zeitgenössischen Künstler:innen. Der Wiederaufbau der Gebäude und der Infrastruktur werden in der Messestadt von den amerikanischen als auch den sowjetischen Besatzern hoch priorisiert. Und schließlich entspinnt sich im Sommer 1945 ein Netzwerk kunstpolitischer Akteure, das in seinen Verbindungen und Beziehungen befruchtend auf die museale Praxis einwirkt.:1. Einleitung 1.1 Willkommen in Leipzig! Museale Praxis in der Messestadt Leipzig nach dem Zweiten Weltkrieg - Herleitung, Untersuchungsgegenstand und Fragestellung 1.2 Methoden und Struktur der Arbeit 1.3 Forschungsstand und Quellen 2. 1945-1947: „Kultur im Aufbau“? Politische und organisatorische Rahmenbedingungen für die Umsetzung der ersten Kunstausstellungen 2.1 Die Kunstpolitik der Besatzungsmächte in der SBZ, in Sachsen und Leipzig 2.2 Die Verflechtungen der kommunalen Strukturen und die Leitbilder der städtischen Kunstpolitik 2.2.1 Das Kulturamt in Leipzig - Die Modifikation des Verwaltungsapparates 2.2.2 „Es existieren keine Vorbilder“ - die Akteur:innen der Leipziger Kulturarbeit 2.2.3 Das Streben um den „kulturellen Aufbau“ in Leipzig - Visionen und Realitäten 2.3 Das Museum der bildenden Künste in Leipzig 2.3.1 Das Leipziger Bildermuseum - Historie und Sammlungsgenese bis 1945 2.3.2 Johannes Jahn und Margarete Hartig in der Direktion des MdbK. Eine Diskrepanz zwischen Klassik und Moderne? 2.4 Bestandsaufnahme: Kunsttransfer vor, während und nach dem Zweiten Weltkrieg am Museum der bildenden Künste Leipzig 2.4.1 Die Rückführung ausgelagerter Bestände 2.4.2 Die „Schlossbergungen“ als Teil der Bodenreform in Sachsen 2.4.3 Fallbeispiel: Die private Kunstsammlung Speck von Sternburg 2.4.4 Die Entnahme von Kunstwerken aus dem Bestand des MdbK durch die Trophäenbrigaden und deren teilweise Restitution 2.4.5 Zwischenfazit: Der Transfer von Kunst als Faktor der Sammlungsgenese 3. Die ersten Kunstausstellungen am MdbK nach Kriegsende: Die Besatzungszeit (1945-1948) 3.1 Die Anfänge: Erste Ausstellungen des MdbK nach Kriegsende 3.1.1 „Käthe Kollwitz“ und „Der Schaffende Mensch in Werken der bildenden Kunst“ als erste Nachkriegsausstellungen im Naturkundlichen Heimatmuseum (16.12.1945-11.2.1946) 3.1.2 Die Präsentation „Befreiter Kunst“ in Leipzig (10.3.-14.4.1946) 3.2 Die Transition: Die Ausstellung „Mitteldeutsche Kunst. Malerei, Graphik und Plastik der Gegenwart“ (8.12.1946-9.2.1947) 3.2.1 Die Kooperationsmöglichkeiten und logistischen Herausforderungen der Ausstellung 3.2.2 Die Auswahl der Positionen und Bezüge zur Ausstellungspraxis im Nationalsozialismus 3.2.3 Der inhaltliche Überbau: Konzeption, Kunstvermittlung und Ausstellungsrezeption 3.3 Die Zensur: „Die Malerei der Gegenwart“ (31.08.-12.10.1947) 3.4 Zusammenfassung: Von der Befreiung der Kunst zur Zensur durch die Kommandantur 4. 1948-1951: Zentralisierung nach sowjetischem Vorbild 4.1 Die Kunstpolitik der SED zwischen Staatsgründung und Zentralisierung 4.2 Der Sozialistische Realismus in der Sowjetunion 5. Die Kunstausstellungen unter staatlicher Einflussnahme und die kunstpolitische Debatte um Formalismus und Realismus in Leipzig 5.1 Wie Hans und Lea Grundigs Ausstellung „Die Kunst der Zeit“ Anfang 1951 den Formalismusdiskurs in Leipzig einleitete 5.1.1 Die Organisation der Ausstellung und die Auswahl der Positionen 5.1.2 Von der Portfolioerweiterung zur Diffamierung. Die kunstpolitische Kontroverse um die Kunst Lea Grundigs 5.2 „Vergleichende Betrachtung von Kunstwerken. Ein Beitrag zur Frage Realismus-Formalismus“ im Sommer 1951 5.2.1 Die Analyse des „Museumsführers“ 5.2.2 „Ein Museum und der Formalismus“ - Beurteilung, Rezensionen und die Position des MdbK 5.3 Zusammenfassung: Kunst in die Betriebe und die Diskussion um Realismus-Formalismus 6. Kultur als Wirtschaftsfaktor? Die Leipziger Messen und das begleitende Kulturprogramm 6.1 Die Leipziger Friedensmesse als Bühne der politischen Repräsentation 6.2 Die Messekulturprogramme zwischen 1946 und 1951 als Projektionsflächen der staatlichen und städtischen Kulturpolitik? 6.3 Fazit: Die Ausstellungen während der Messe als kunstpolitisches Instrument der städtischen Repräsentation 7. „Wiedersehen mit Leipzig“ - Zusammenfassung und Ausblick Anhang I. Abkürzungsverzeichnis II. Literatur- und Quellenverzeichnis Archive Gedruckte Quellen Sekundärliteratur III. Ausstellungs- und Vortragsverzeichnis IV. Abbildungsverzeichnis und -nachweis Erklärung

Cremmer und Julia haben 1978 die Existenz von verborgenen En(n)-exzeptionellen Symmetrien in den maximalen Supergravitationstheorien (SUGRA), die aus der Kompaktifizierung der elfdimensionalen SUGRA auf einem n-Torus folgen, entdeckt. Die Existenz dieser En(n)-Symmetrien in den maximalen SUGRA ist eine ihrer bemerkenswertesten Eigenschaften, aber die Bedeutung dieser Symmetrien in der Quantentheorie ist noch nicht vollständig verstanden. Zudem ist erst seit 2013 bekannt, wie eine manifest En(n)-kovariante exzeptionelle Feldtheorie (ExFT), die auf einer exzeptionellen Geometrie basiert und insbesondere die elfdimensionale SUGRA beinhaltet, konstruiert werden kann (Hohm & Samtleben, 2013). In dieser Dissertation konstruieren wir die kanonische Formulierung der E6(6)-ExFT, was als Ausgangspunkt der kanonischen Quantisierung angesehen werden kann. Wir ermitteln die nicht-integrale Form des topologischen Terms der E6(6)-ExFT und untersuchen eine topologische Modelltheorie, die auf dem kinetischen Term der zwei-Form basiert. Um die Konstruktion einer verallgemeinerten Geometrie zu illustrieren konstruieren wir explizit den Y-Tensor für die Gruppe Sp(2n). Außerdem beschreiben wir eine vereinfachte kanonische Behandlung der Zwangsbedingungen des skalaren symmetrischen Raumes, welche wir für SL(n)/SO(n) erläutern. Zur Vorbereitung der kanonischen Analyse der ExFT untersuchen wir die kanonische Formulierung der manifest E6(6)-invarianten ungeeichten maximalen fünfdimensionalen SUGRA und führen eine umfassende kanonische Analyse, inklusive aller Eichtransformationen und der vollständigen Poisson-Algebra der Zwangsbedingungen, durch. Wir errechnen die Hamilton-Funktion der ExFT, sowie den Großteil der kanonischen (Eich-)Transformationen und Teile der Poisson-Algebra der Zwangsbedingungen. Zudem untersuchen wir, wie die kanonische Formulierung durch das verallgemeinerte Vielbein ausgedrückt werden kann und erörtern die mögliche Existenz von verallgemeinerten Ashtekar-Variablen. / In 1978 Cremmer and Julia discovered the existence of hidden non-compact global En(n) exceptional symmetries in the maximal supergravity (SUGRA) theories that follow from the compactification of eleven-dimensional SUGRA on an n-torus. The existence of these hidden exceptional symmetries in maximal SUGRA theories is one of their most notable features, but the role of these symmetries is not yet fully understood at the quantum level. Moreover it has only been known since 2013 how a manifestly En(n) covariant exceptional field theory (ExFT) can be constructed, which is based on an exceptional geometry and in particular contains the eleven-dimensional SUGRA (see Hohm & Samtleben, 2013). In this thesis we construct and investigate the canonical formulation of the (bosonic) E6(6) ExFT, which can be seen as the starting point of the canonical quantisation procedure. We calculate the explicit non-integral form of the topological term of the E6(6) ExFT and explore a topological model theory based on the two-form kinetic term. To illustrate the construction of a generalised geometry we explicitly construct the Y-tensor for the group Sp(2n). Furthermore we establish a simplified canonical treatment of the scalar coset constraints, which we illustrate for SL(n)/SO(n). As a preparation to the canonical analysis of the ExFT we calculate the canonical formulation of the manifestly E6(6) invariant ungauged maximal five-dimensional SUGRA theory and carry out a comprehensive canonical analysis including all gauge transformations and the full constraint algebra. We then proceed to work out the canonical formulation of the E6(6) ExFT. We calculate the full ExFT Hamiltonian, most of the canonical (gauge) transformations and parts of the constraint algebra. Moreover we examine how the canonical formulation can be expressed in the generalised vielbein form and we discuss the possible existence of generalised Ashtekar variables.

Hegel führt die traditionelle formale Logik, wie sie in Kants Konzept der reinen allgemeinen Logik ihre für ihn abschließende Gestalt erfahren hat, innerhalb seiner Systematik auf die Psychologie der produktiven Einbildungskraft und des Denkens zurück. Kants Konzeption der transzendentalen Logik, und mit ihr die neuzeitliche Erkenntnistheorie, wird aus gesamtsystematischer Hinsicht in der Philosophie des subjektiven Geistes verortet, und insbesondere in der Phänomenologie des Geistes und der Psychologie der Anschauung und Vorstellung. In logischer Hinsicht leistet Kant nach Hegel nur eine Übersetzung phänomenologischer Inhalte der psychologischen Vorstellung in relativ unterentwickelte und isolierte objektivlogische Strukturen (reine Reflexions- und wesentliche Verhältnisbestimmungen), wodurch er über den psychologischen Reflex des Begriffs nicht hinauskommt. Der logische Inhalt bzw. der objektive Gedanke dagegen basiert in seiner formalen Dimension auf die Realisierung des Begriffs im Prozess der endlichen Teleologie, aus deren Perspektive auch phänomenologische und logische Dimensionen von Struktur- und Verhältnisbestimmungen differenziert werden können (Inhalte der kontemplative Erwägung der Konstruktionsbedingungen des unausgeführten subjektiven Zwecks im ersten Fall, Funktionalität von Strukturverhältnissen im Prozess der Ausführung des subjektiven Zwecks im zweiten Fall). Der logische Inhalt ist konkret im Vergleich zum phänomenologischen Inhalt der psychologischen Vorstellung und abstrakt im Vergleich zum realsystematischen Inhalt als Korrelat der absoluten Methode. / Within his system Hegel relegates traditional formal logic, as it found its fulfillment in Kant´s concept of pure general logic, to the psychology of productive imagination and thought. Kant´s conception of transcendental logic, and with it a modern epistemological standpoint more generally, is also allocated in the philosophy of subjective spirit, and more specifically in the phenomenology and the psychology of intuition and representation. From a logical standpoint Kant does not, according to Hegel, go beyond translating phenomenological contents of the psychological representation into the relatively simple structures of the determinations of reflection and essential relations, thereby staying within the realm of the mere psychological reflex of the concept. Determinate logical content or objective thought on the contrary is based in its formal dimension on the actualization of the concept in the process of finite teleology. From this perspective it is possible to coherently distinguish between phenomenological and logical dimensions of structural and relational determinations (contents of the contemplative assessment of the conditions of construction of the yet unexecuted subjective finite end on the one hand, functionality of structural relations in the process of executing this end on the other). The logical content is concrete compared to the phenomenological one and abstract compared to the content of the real parts of the system as the correlate of absolute logical method.