Sökning: "quantifier analysis"

Visar resultat 6 - 7 av 7 avhandlingar innehållade orden quantifier analysis.

  1. 6. New techniques for handling quantifiers in Boolean and first-order logic

    Författare :Peter Backeman; Philipp Rümmer; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician Leibniz invented a mechanical calculator capable of performing all four basic arithmetic operators. LÄS MER

  3. 7. Differential object marking in South Saami

    Författare :David Kroik; Mikael Vinka; Christian Waldmann; Kristin Melum Eide; Umeå universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; South Saami; Saami; Object Position; Saami Grammar; South Saami Grammar; Differential Object Marking; Generative Grammar; Syntax; Semantics; Morphology; Grammar; sydsamiska; samiska; sydsamisk grammatik; samisk grammatik; objektsposition; differentiell objektsmarkering; generativ grammatik; syntax; semantik; morfologi; grammatik; språkvetenskap; language studies;

    Sammanfattning : This licentiate thesis investigates the case and the syntactic position of the direct object in South Saami. The focus is on plural direct objects, which have Differential Object Marking, a phenomenon in which the case alternates between different types of direct objects. LÄS MER