Sökning: "Tableaux"

Visar resultat 1 - 5 av 16 avhandlingar innehållade ordet Tableaux.

  1. 1. Monodrama, attitudes, tableaux vivants : ‡b studies on some trends of theatrical fashion 1770-1815

    Författare :Kirsten Gram Holmström; Stockholms universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. Stålmarck's Method for Automated Theorem Proving in First Order Logic

    Författare :Magnus Björk; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated theorem proving; Stålmarck s method; tableaux; first order logic;

    Sammanfattning : We present an extension of Stålmarck's method to classical first order predicate logic. Stålmarck's method is a satisfiability checking method for propositional logic, and it resembles tableaux and KE. Its most distinctive feature is the dilemma rule, which is an extended branching rule, that allows branches to be recombined. LÄS MER

  4. 3. A First Order Extension of Stålmarck's Method

    Författare :Magnus Björk; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Tableaux; Automated Theorem Proving; Stålmarck s Method;

    Sammanfattning : Stålmarck's method is an algorithm that decides validity of formulae in propositional logic. It resembles many tableaux method, but uses a special branch-and-merge-rule, called the dilemma rule. The dilemma rule creates two branches, where a formula (called the dilemma formula) is assumed to be false in one branch and true in the other one. LÄS MER

  5. 4. Den avväpnande förtroligheten. Enaktare i Sverige 1870-90 : Disarming intimacy : a study of one-act plays in Sweden, 1869-90

    Författare :Anna Lyngfelt; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; enaktare; 1800-tal; teater; salongskultur; proverbes dramatiques; tableaux vivants; Strindberg; det moderna genombrottet;

    Sammanfattning : August Strindberg s own words, implying that he was the one who began the tradition of one-acters in Sweden is considered to be true. Yet, a tradition of one-act plays in Sweden was a fact long before Strindberg took an interest in one-acters, in the late 1880's. LÄS MER

  7. 5. en studie i... Medier och brott

    Författare :Ester Pollack; Jan Ekecrantz; Sven-Åke Lindgren; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Crime journalism; crime policy; the media and crime; institution; historical perspective; comntextual constructivism; context oriented discourse analysis; time tableaux; 1955; 1975; 1995; juvenile crime; community service; moral panic; media panic; medier och brott; kriminaljournalistik; kriminalpolitik; institution; historiskt perspektiv; kontextuell konstruktivism; kontextorienterad diskursanalys; tidstablåer 1955; 1975; 1995; ungdomsbrottslighet; samhällstjänst; moralpanik; mediepanik; Media and communication studies; Medie- och kommunikationsvetenskap; Media and Communication Studies; medie- och kommunikationsvetenskap;

    Sammanfattning : AbstractThe principal objective of this study is to provide a concrete historical illumination of the interplay between the media, crime and crime policy over the course of the last 50 years. A further important objective is to identify the boundaries of a field of research, ëmediated crimeí, lying between criminology and media studies, and to show how these two disciplines can stimulate one another. LÄS MER