Visar resultat 11 - 15 av 335 avhandlingar innehållade ordet logical.
Sammanfattning : Internet of Things (IoT) is on the verge of experiencing a paradigm shift, the focus of which is the integration of people, services, context information, and things in the Connected Society, thus enabling Internet of Everything (IoE). Hundreds of billions of things will be connected to IoT/IoE by 2020. LÄS MER
Sammanfattning : The quest for certainty is a constant theme in the works of Swedish-Finnish author Willy Kyrklund. This quest is communicated both explicitly in essayistic prose articles and implicitly as a theme in his works of fiction. LÄS MER
13. Frege och idén om det givna : En undersökning av logisk form och idén om ett begreppsligt givet innehåll i språket
Sammanfattning : This study is an investigation of some main problems of the philosophy of language initiated by Gottlob Frege. Frege wanted to show that there is a conceptual content in expressions that is not the same as the psychological associations given in intuitions. He also wanted to show that such a content is objective and independent of thesubject. LÄS MER
Sammanfattning : This thesis investigates aspects of synchronization and coordination in concurrent systems. In such systems synchronization and coordination are highly important as they form a basis for how a set of entities can collaborate to solve a task. LÄS MER
Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER