Sökning: "tableaux"
Visar resultat 1 - 5 av 16 avhandlingar innehållade ordet tableaux.
1. Monodrama, attitudes, tableaux vivants : ‡b studies on some trends of theatrical fashion 1770-1815
Sammanfattning : .... LÄS MER
2. Stålmarck's Method for Automated Theorem Proving in 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
3. A First Order Extension of 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
4. Den avväpnande förtroligheten. Enaktare i Sverige 1870-90 : Disarming intimacy : a study of one-act plays in Sweden, 1869-90
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
5. en studie i... Medier och brott
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