Denna kvalitativa studie syftar till att få större insikt i hur lärare kan arbeta för att möta och minska den problematik och de svårigheter som elever kan uppvisa med algebraiska ekvationer i grundskolans årskurs 4-6. Studien är baserad på klassrumsobservationer i två klasser i årskurs 6 och en semistrukturerad intervju med en yrkesverksam matematiklärare. Detta är därmed en fallstudie som grundar sig i teorin om algebrans fem stora idéer samt de fem olika undervisningsstrategierna enligt Trigwell och Prosser, vilka är antingen elev- eller lärarfokuserade. Resultatet från undersökningen visar att den deltagande läraren är medveten om många av de svårigheter som elever har med algebraiska ekvationer, där särskilt stor vikt läggs på likhetstecknets innebörd. Vidare visar resultatet att läraren bemöter dessa, och andra, svårigheter på olika sätt och med varierande metoder baserat på intentionen med undervisningen. Däremot finns ingen djupare kunskap om algebrans fem stora idéer hos läraren, något som kan påverka undervisningsmöjligheterna och i sin tur elevernas inlärning. Det blir därmed relevant att överväga om det är något som bör ingå i de lärarutbildningar som ges vid olika universitet. / This qualitative study aims to gain greater insight into how teachers can work to meet and reduce the problems and difficulties that students may have with algebraic equations in primary school grades 4-6. The study is based on classroom observations in two classes in grade 6 and a semi-structured interview with a mathematics teacher. This is thus a case study based on the theory of the five big ideas of algebra and the five different teaching strategies according to Trigwell and Prosser, which are either student- or teacher-focused. The results of the study show that the participating teacher is aware of many of the difficulties that students have with algebraic equations, where particular emphasis is placed on the meaning of the equal sign. Furthermore, the results show that the teacher addresses these, and other, difficulties in different ways and with varying methods based on the intention of the teaching. However, the teacher has no deeper knowledge of the five big ideas of algebra, which can affect the teaching possibilities and in turn the students' learning. Therefore it becomes relevant to consider whether it is something that should be included in the teacher education programs offered at various universities.

The standard for the auditing profession is not only to review the client's financial reports, but to also offer advice to clients in the form of independent advisory services. This entails potential risks that may mean that the auditor's independent role is affected. In addition, there are discussions that professionalism and commercialism are found as two contradictory institutional logics in the auditing profession. Others believe that the logics can instead integrate with each other and thus do not have to be contradictory. At the same time, some believe that the audit quality increases when the auditor performs both auditing andi ndependent advisory services to the same client, while others believe that different conflicts can arise between these two roles. Therefore, we have chosen to examine how auditors work to deal with the potential conflict between the auditor's audit and advisory role and also the two logics professionalism, commercialism. The purpose of this study is to create a deeper understanding of the auditor’s approach to the professional, commercial logic and also two roles as independent advisors and auditors. A qualitative method has been used in this study, we have conducted personal interviews with six certified public accountants who are active in the industry as both independent advisors and auditors. A comparison of the empirical data has been made between the auditors opinions to identify different methods that can be applied to maintain auditor independence. After gathering the empirical evidence, we can state that the conflicts the theory describes exist between an auditors two roles as an advisor, auditor and the logics of professionalism, commercialism are not present. Instead, our study shows that both logics can integrate with each other in the auditor's work as an advisor and auditor as Carrington et al. (2013) mean. The auditor can use several methods to maintain independence, for example through the use of the analysis model and by referring the client to another auditor when the auditor has trouble maintaining an independent role. / Idag så är standarden för revisionsyrket inte bara att revidera klientens finansiella rapporter, utan även att erbjuda rådgivning till klienten i form av fristående rådgivningstjänster. Detta medför potentiella risker som kan innebära att revisorns oberoende roll påverkas. Utöver det så råder det diskussioner om att professionalism och kommersialism påträffas som två motsägelsefulla institutionella logiker inom revisionsyrket. Andra menar att logikerna istället kan integrera med varandra och behöver alltså inte vara motsägelsefulla. Samtidigt så menar vissa att revisionskvalitén ökar när revisorn utför både revision och fristående rådgivning till samma klient medans andra menar att olika konflikter kan uppstå. Därför har vi valt att undersöka hur revisorer arbetar för att hantera den potentiella konflikten mellan revisorns granskande, rådgivande roll och de två logikerna professionalism, kommersialism. Syftet med denna studie är att skapa en djupare förståelse för revisorns förhållningssätt till den professionella, kommersiella logiken och två roller som fristående rådgivare, granskare. I denna studie har en kvalitativ metod valts där vi har genomfört personliga intervjuer med sex auktoriserade revisorer som är verksamma i branschen som både fristående rådgivare och granskare. En jämförelse av empirin har gjorts mellan revisorernas synpunkter för att identifiera olika metoder som kan tillämpas för att upprätthålla oberoendet. Efter att ha samlat in empirin kan vi konstatera att de konflikter som teorin beskriver existerar mellan revisorns två roller och logikerna professionalism, kommersialism inte är föreliggande. Istället visar vår studie att båda logikerna kan integrera med varandra i revisorns arbete som rådgivare och granskare som Carrington et al. (2013) menar. Revisorn kan använda sig av flera metoder för att upprätthålla oberoendet, bland annat genom användning av analysmodellen och genom att hänvisa klienten vidare till en annan revisor.

Der Text unternimmt den Versuch, einige Begriffe und Denkfiguren von Gilles Deleuze auf die Sonaten Domenico Scarlattis anzuwenden. So wird 'Deterritorialisierung' auf Scarlattis Umgang mit Tonarten bezogen, 'Ereignis' in Zusammenhang mit 'Oberfläche' auf Motivik und Form. Letztlich lassen sich Scarlattis Sonaten als Aphorismen beschreiben, in denen die Grenzen der üblichen Logik überschritten werden und sogar ein Recht auf Sinnwidrigkeit beansprucht wird. / This article attempts to apply some of Gilles Deleuze’s concepts and ways of thinking to the sonatas of Domenico Scarlatti. Thus “deterritorializing” (Deterritorialisierung) will be applied to Scarlatti’s approach to keys, and “event” (Ereignis) and “surface” (Oberfläche) will be applied to motive and form. Finally, Scarlatti’s sonatas may be described as aphorisms in which the boundaries of standard logic are exceeded and even the right to absurdity is claimed.

No description available.

We study relative homological algebra and relative Hochschild cohomology. We dualise the construction in [Cib+21b] for a ring extension B ⊆ A to construct a long nearly exact sequence for the relative Hochschild cohomology HH∗(A|B), the Hochschild cohomology HH∗(A) and the Hochschild cohomology HH∗(B,A). Parallel to this we also study corings and the associated Cartier cohomology and Hochschild cohomology. Given an A-coring C and its right algebra R we have induced maps ExtiA(M, N) → ExtiR(R⊗A M, R⊗A N) by the induction functor. We characterise the vanishing of the Hochschild cohomology of the coring in terms of these induced maps being isomorphisms for degrees greater than or equal to one.

This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. Then, it is shown how a Hoare logic contract can be translated into statements in Csmall, and the defined formal semantics is used to prove that the translation is correct. Furthermore, it is shown that the translation can be applied also to a real specification language. This is done by defining a subset of ACSL, called ACSLsmall, and giving a formal semantics also for this. Lastly, two examples are provided showing that the theory developed in this thesis can be applied to automatically infer ACSL function contracts. / Den här avhandlingen studerar synergier mellan deduktiv verifikation och modelprovning, genom att använda Tricera, ett verktyg för modellprovning, för att automatiskt generera specifikationer för Frama-C, ett verktyg för deduktiv verifikation. Detta uppnås genom att definiera en formell semantik för en delmängd av ANSI-C, utökat med assume satser, som kallas förCsmall. Sedan visas hur kontrakt kan översättas till satser i Csmall samt att översättningen är korrekt. Därefter visas att översättningen också kan tillämpas på ett verkligt specifikationsspråk, genom att definiera en delmängd av ACSL, som kallas ACSLsmall, och definiera en formell semantik också för detta. Slutligen visas med två exempel hur teorin från uppsatsen kan appliceras för att automatiskt generera funktionskontrakt i ACSL.

Propositional dynamic logic (PDL) is one of the most succesful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, it is long-known that reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata.

In its many guises and variations, propositional dynamic logic (PDL) plays an important role in various areas of computer science such as databases, artificial intelligence, and computer linguistics. One relevant and powerful variation is ICPDL, the extension of PDL with intersection and converse. Although ICPDL has several interesting applications, its computational properties have never been investigated. In this paper, we prove that ICPDL is decidable by developing a translation to the monadic second order logic of infinite trees. Our result has applications in information logic, description logic, and epistemic logic. In particular, we solve a long-standing open problem in information logic. Another virtue of our approach is that it provides a decidability proof that is more transparent than existing ones for PDL with intersection (but without converse).

Studien handlar om hur styrelseledamöter i kommunala bolag uppfattar sin representation och om det finns ett samband mellan representationsprinciper och institutionell logik. Tillvägagångssättet har varit intervjuer med politiskt tillsatta styrelseledamöter i tre olika typer av kommunala bolag i en kommun i norra Sverige. Resultatet visar att styrelseledamöterna agerar efter flera representationsprinciper på samma gång, framför allt principen om förtroendeledamoten och bolagsrepresentanten. Samtidigt finns det inget klart samband mellan representationsprinciper och institutionell logik. I studien framkom att det visserligen förs diskussioner i styrelsen om beslut de ska fatta men att de inte är politiska. I stället förs diskussionen utifrån vad som är bolagets bästa.

We present some initial results on ontology-based query answering with description logic ontologies that may employ temporal and probabilistic operators on concepts and axioms. Speci_cally, we consider description logics extended with operators from linear temporal logic (LTL), as well as subjective probability operators, and an extended query language in which conjunctive queries can be combined using these operators. We first show some complexity results for the setting in which either only temporal operators or only probabilistic operators may be used, both in the ontology and in the query, and then show a 2ExpSpace lower bound for the setting in which both types of operators can be used together. / This is an extended version of an article accepted at Description Logics 2019.