Sökning: "Set theory"
Visar resultat 1 - 5 av 1003 avhandlingar innehållade orden Set theory.
Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER
Sammanfattning : Environmental goals are commonly set to guide work towards ecological sustainability. The aim of this thesis is to develop a precise terminology for the description of goals in terms of properties that are important in their practical use as decision-guides and to illustrate how it can be used in evaluations of environmental policy. LÄS MER
Sammanfattning : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. LÄS MER
Sammanfattning : This thesis contains three papers. Paper A and Paper B deal with homotopy theory and Paper C deals with Topological Data Analysis. All three papers are written from a categorical point of view.In Paper A we construct categories of short hammocks and show that their weak homotopy type is that of mapping spaces. LÄS MER
Sammanfattning : As we all know the classical set theory has a deep-rooted influence in the traditional mathematics. According to the two-valued logic, an element can belong to a set or cannot. In the former case, the element’s membership degree will be assigned to one, whereas in the latter case it takes the zero value. LÄS MER