Essays about: "definition of logic"

Showing result 1 - 5 of 30 essays containing the words definition of logic.

1. 1. Abstract Logics and Lindström's Theorem

   University essay from Uppsala universitet/Algebra, logik och representationsteori

   Author : Niclas Bengtsson; [2023]
   Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

   Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE

3. 2. EDPM : An embedded domain-specific language for performance monitoring C and C++ programs

   University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

   Author : David Weisskopf Holmqvist; [2023]
   Keywords : performance monitoring; domain-specific languages; language abstractions; compilers;

   Abstract : Manual insertion of performance monitoring probes gives programmers great control over the performance counters collected, but brings with it problems such as increased code size, obfuscated logic in code due to intermingling of application logic and performance probes, and time and mental cost required to learn the APIs of different performance monitoring tools. EDPM is an embedded domain-specific language that seeks to raise the level of abstraction for marking regions of code that need to be instrumented in C and C++ programs, designed to be easy to learn for programmers and to reduce the lines of code needed to collect performance counters. READ MORE

4. 3. "Under pressure". A study of the Swedish Public Health Agency´s crisis - and reputation management during the COVID-19 pandemic.

   University essay from Göteborgs universitet/Institutionen för journalistik, medier och kommunikation

   Author : Lina Karlsson; [2021-07-27]
   Keywords : COVID-19; crisis communication; societal crisis; public organizations; public agencies; reputation; reputational threat; Image Repair Theory; IRT; Bureaucratic Reputation Theory; BRT; rhetorical analysis; rhetorical criticism; kategoria; apologia;

   Abstract : This study examines the Swedish Public Health Agency’s (PHA) crisis communication regarding the COVID-19 pandemic during the year of 2020. Departing from a synthesis of the frameworks of Image Repair Theory and Bureaucratic Reputation Theory, the PHA’s online press conferences are critically analyzed to map out how the PHA’s representatives react to reputational threats that occur alongside and in connection to its management of the crisis at hand. READ MORE

5. 4. Steering towards Circular Economy- A case study about how individual translation of circular economy influences a multinational corporation (MNC)

   University essay from Göteborgs universitet/Graduate School

   Author : Carl-Fredrik Fock; Julia Carlsson; [2021-06-28]
   Keywords : Circular Economy; Translation; Institutional logics; Organisational change; Legitimacy; Individual motives; MNC;

   Abstract : Circular Economy (CE) has been argued to be a necessary guideline for improving sustainable development, with the objective to gradually decouple growth from the consumption of finite resources. The findings in this report emphasise the complexity of finding a coherent definition of CE and outline why the concept is translated differently by individuals in a multinational corporation (MNC). READ MORE

6. 5. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Carl Åkerman Rydbeck; [2021]
   Keywords : ;

   Abstract : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. READ MORE