Sökning: "formal logic"

Visar resultat 1 - 5 av 73 uppsatser innehållade orden formal logic.

  1. 1. Formal model of eligibility requirements for the Department of Computing Science

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Jonathan Sundqvist; [2023]
    Nyckelord :;

    Sammanfattning : This paper aims to formally model the eligibility requirements for the Department of Computing Science at Umea University. As of now, the requirements are written in plain text resulting in students or lecturers having to evaluate these manually. Eligibility requirements can be built complex which makes it difficult to handle manually. LÄS MER

  3. 2. Blir ett plus ett verkligen två? : En kvalitativ fallstudie om hur en privat organisation hanterar spänningar i styrningen efter företagsförvärv

    Magister-uppsats, Linnéuniversitetet/Institutionen för management (MAN)

    Författare :Daria Abdul; Frida Samuelsson; [2023]
    Nyckelord :Mergers and acquisitions; integration process; formal controls; informal controls; institutional logics; management control tensions; Företagsförvärv; integrationsprocessen; formell styrning; informell styrning; institutionella logiker; styrspänningar.;

    Sammanfattning : Sammanfattning  Examensarbete, Civilekonomprogrammet - Controller, Ekonomihögskolan vid Linnéuniversitetet i Växjö, vårterminen 2023.  Titel: Blir ett plus ett verkligen två?  En kvalitativ fallstudie om hur en privat organisation hanterar spänningar i styrningen efter företagsförvärv   Bakgrund & problem Företagsförvärv har blivit ett populärt tillvägagångssätt för att uppnå snabb och hög tillväxt. LÄS MER

  4. 3. Influence of Bold Text on Decision-Making within Formal Argumentation

    Magister-uppsats, Umeå universitet/Institutionen för psykologi

    Författare :Leo Evijärvi; [2023]
    Nyckelord :formal argumentation; nudging; choice architecture; bold text;

    Sammanfattning : Formal argumentation aims to provide a structured framework for cognitively compatible automated reasoning in the context of artificial intelligence; however, due to its roots in mathematical logic, formal argumentation research is typically focused on formal, ‘object-level’ aspects. It has yet to be studied how environmental, ‘meta-level’ structures, can affect human intuitions regarding the formalized model. LÄS MER

  5. 4. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Arvid Bergman Thörn; [2023]
    Nyckelord :Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Sammanfattning : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. LÄS MER

  7. 5. Of Chaos And Clockworks : A Formal Criticism Of The Modern Sustainability Paradigm

    Master-uppsats, Högskolan i Gävle/Miljövetenskap

    Författare :Sebastian Arnström; [2023]
    Nyckelord :sustainability; sustainability science; complexity; complex adaptive systems; Earth system; Earth system science; resilience theory; the adaptive cycle; chaos theory; eco-theology;

    Sammanfattning : This thesis is a critical review of two central theories in the modern sustainability paradigm – namely… (1) the theory that the Earth’s geosphere, hydrosphere, biosphere and atmosphere form a complex adaptive system – the Earth system, and (2) the theory that all human activities are intrinsically dependent on, and constrained by, non-anthropogenic states and processes in the Earth system. The thesis explains the origins and the logic of these theories, and subjects them to formal, semi-formal and comparative criticism. LÄS MER