Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 20 for “"mathematical logic"”.
-
The Application of Mathematical Logic to Network Theory
Made available in DSpace on 2014-12-04T21:03:03Z (GMT). No. of bitstreams: 1 5805452.pdf: 2006734 bytes, checksum: 4961ca3efd8cba51a17f0fb60adcbd5d (MD5) Previous issue date: 1958
-
The Effects of The Use of a Unit on Mathematical Logic in Freshman College Analysis
Made available in DSpace on 2014-12-10T18:45:24Z (GMT). No. of bitstreams: 1 7212139.pdf: 11327657 bytes, checksum: 182c92279fad6d2a34bdc195ff8bbd47 (MD5) Previous issue date: 1971
-
Remodeling Rationality: An Inquiry into Unorthodox Modes of Logic and Computation
… of such models as nonclassical formalisms of mathematical logic from Brazil, nonbinary Turing machines from postcolonial India, and frameworks of information science from postrevolutionary Cuba. Part II analyzes contemporary developments in the field of artificial intelligence (AI), …
-
Topics on the geometry and classification of Banach lattices
… using tools from functional analysis and mathematical logic. This work can be roughly divided into four parts. The first part (Chapter 2) presents several geometric results on Banach lattice analogues of classical Banach space theorems which ground results from later sections. The second …
-
A classification of reversible bit and stabilizer operations
… analogue of Post's lattice, a central result in mathematical logic from the 1940s, where we allow arbitrary ancilla bits to be used in the computation provided they return to their initial configuration at the end of the computation. It is a step toward the ambitious goal of classifying all …
-
Biosemiotics as systems theory: an investigation into biosemiotics as the grounding for a new form of cultural analysis
… thesis also argues that such a common methodological perspective is an instance of historical continuity due primarily to biosemiotics' and systems theory's involvement with Tartu-Moscow semiotics. Subsequently, the thesis argues that biosemiotics' and cybernetics' systems thinking differ in …
-
Leaving mathematics as it is: Wittgenstein’s later philosophy of mathematics
… the alleged importance of certain non-applied mathematical systems such as set theory and the logicist systems of Frege and Russell. But his criticism is confined to the aspirations towards philosophical insight that has been attributed to those systems. This is consonant with Wittgenstein’s …
-
Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions
… exploration of Random Variable Spaces. Their mathematical properties are studied, including the establishment of relationships between these spaces through functors based on measurable functions. Additionally, the dissertation investigates the possibility of a fibration between the category of …
-
Co-Design of Resource Limited Genetic Networks Tuning System Parameters to Satisfy Specifications
… reasons for this failure in modularity in biological systems, such as load effects (retroactivity), unknown interactions and resource competition, which is our focus for this work. Recent efforts to achieve modular design in systems with resource competition, have focused in adding additional …
-
Restoring Reason: Theology of Logic in Origen of Alexandria
Logic and theology were once spoken of together in a divine speech with which we spoke of God, even as God spoke to us, in one and the same sacred speech. Logic had been conceived as a simulation of speech in argument from the divine Logos. Yet logic has since been repeatedly separated from …
-
Categories with New Foundations
While the interaction between set theory and category theory has been studied extensively, the set theories considered have remained almost entirely within the Zermelo family. Quine’s New Foundations has received limited attention, despite being the one-sorted version of a theory mentioned as a …
-
Una contribución al estudio de álgebras de De Morgan modales 4-valuadas
En 1920, J. Lukasiewicz introdujo sus sistemas de logicas polivalentes como una tentativa de investigar las proposiciones modales y las nociones de posibilidad y necesidad íntimamente relacionadas con tales proposiciones. Los argumentos utilizados por Lukasiewicz están analizados y discutidos en …
-
Decidability bounds for extensions of Presburger arithmetic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms
-
Upper and Lower Complexity Bounds for Some Problems in Elementary Geometry
… to complexity theory. Following the tradition of mathematical logic, we introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending the traditional languages FO(β, ≡) and FO(β), respectively, with new …
-
An analysis and implementation of linear derivation strategies
This study examines the efficacy of six linear derivation strategies: (i) s-linear resolution, (ii) the ME procedure; (iii) t-linear resolution, (iv) SL -resolution, (v) the GC procedure, and (vi) SLM. The analysis is focused on the different restrictions and operations employed in each derivation …
-
Abordagem Estatística no 4º ciclo do Ensino Fundamental na Escola Estadual Camará: Uma metodologia para o ensino da coleta, organização e interpretação de dados.
Aware of the need to address the contents of the block treatment of information at teaching Fundamental, especially those related to Statistics, you must mount an educational proposal that will serve the elementary school students, with regard to the inclusion of statistical data, thus preparing …
-
Homogeneous models and their toposes of supported sets
This thesis studies homogeneous models by looking at their topos of finitely supported sets. Of various well-known toposes, such as cubical sets and simplicial sets, it is shown that they can be presented as a topos of this kind. It is argued that these examples can be understood as coming from a …
-
Algebraically closed fields with characters; differential-henselian monotone valued differential fields
This thesis consists of two unrelated research projects. In the first project we study the model theory of the 2-sorted structure (F, C; χ), where F is an algebraic closure of a finite field of characteristic p, C is the field of complex numbers and χ ∶ F → C is an injective, multiplication …