Sökning: "logic"

Visar resultat 11 - 15 av 1078 avhandlingar innehållade ordet logic.

1. 11. Quantum State Analysis : Probability theory as logic in Quantum mechanics

   Författare :Anders Månsson; Anders Karlsson; Gunnar Björk; Ingemar Bengtsson; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; quantum; quantum mechanics; state; state analysis; probability; probability theory; logic; Photonics; Fotonik;

   Sammanfattning : Quantum mechanics is basically a mathematical recipe on how to construct physical models. Historically its origin and main domain of application has been in the microscopic regime, although it strictly seen constitutes a general mathematical framework not limited to this regime. LÄS MER

3. 12. Finitary Partial Inductive Definitions and General Logic

   Författare :Lars-Henrik Eriksson; Kungl. Tekniska Högskolan; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computing Science; Datalogi;

   Sammanfattning : .... LÄS MER

4. 13. Representation of Compositional Relational Programs

   Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

   Sammanfattning : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. LÄS MER

5. 14. Provability in logic

   Författare :Stig Kanger; Stockholms högskola; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

7. 15. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

   Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

   Sammanfattning : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. LÄS MER