Log in

Relevant bibliographies by topics / Foundations of mathematics / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Foundations of mathematics.

Dissertations / Theses on the topic 'Foundations of mathematics'

Author: Grafiati

Published: 4 June 2021

Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Foundations of mathematics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Uzquiano, Gabriel 1968. "Ontology and the foundations of mathematics." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/9370.

Full text

Abstract:

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1999.<br>Includes bibliographical references.<br>"Ontology and the Foundations of Mathematics" consists of three papers concerned with ontological issues in the foundations of mathematics. Chapter 1, "Numbers and Persons," confronts the problem of the inscrutability of numerical reference and argues that, even if inscrutable, the reference of the numerals, as we ordinarily use them, is determined much more, precisely than up to isomorphism. We argue that the truth conditions of a variety of numerical mo

APA, Harvard, Vancouver, ISO, and other styles

2

Frovin, Jørgensen Klaus. "Kant's schematism and the foundations of mathematics /." Roskilde : Section Philosophy and Science Studies, Roskilde University, 2005. http://hdl.handle.net/1800/1664.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nefdt, Ryan Mark. "The foundations of linguistics : mathematics, models, and structures." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/9584.

Full text

Abstract:

The philosophy of linguistics is a rich philosophical domain which encompasses various disciplines. One of the aims of this thesis is to unite theoretical linguistics, the philosophy of language, the philosophy of science (particularly mathematics and modelling) and the ontology of language. Each part of the research presented here targets separate but related goals with the unified aim of bringing greater clarity to the foundations of linguistics from a philosophical perspective. Part I is devoted to the methodology of linguistics in terms of scientific modelling. I argue against both the Con

APA, Harvard, Vancouver, ISO, and other styles

4

Varon, Stephanie Stigers 1939. "The mathematical foundations of classical ballet." Thesis, The University of Arizona, 1997. http://hdl.handle.net/10150/292004.

Full text

Abstract:

This treatise sets out to show how both the mathematical aspect of ballet (and music to a very limited extent) and the associated psychological aspects of both the dancer and the stage space in which he or she operates contribute together to create an entire gestalt that becomes visible on and within the bodies of the dancers as they move through time and space. The recognition of both intention in the role of speaking a language with meaning, along with the existence of energy projection in music, dance and drama, make apparent the existence of this extension of the mental realm into the phys

APA, Harvard, Vancouver, ISO, and other styles

5

Bartocci, C. "Foundations of graded differential geometry." Thesis, University of Warwick, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.386972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Fennelly, Maxwell. "Geometric foundations of network partitioning." Thesis, University of Southampton, 2014. https://eprints.soton.ac.uk/375533/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Stergianopoulos, Georgios. "Large non-cooperative games : foundations and tools." Thesis, University of Warwick, 2012. http://wrap.warwick.ac.uk/56809/.

Full text

Abstract:

Following Schmeidler (1973) and Mas-Colell (1984), economists have typically used aggregative games with a continuum of players to model strategic environments with a large number of participants. In these games a player's payoff depends on her own strategy and on an average of the strategies of everyone in the game. Examples include corporate competition in global markets, welfare maximization in multi-period economies, strategic voting in national elections, network congestion, and environmental models of pollution or, more generally, widespread externalities. This study consists of three ch

APA, Harvard, Vancouver, ISO, and other styles

8

Beaton, Ryan. "Interpreting Frege's Grundgesetze in an adaptation of Quine's New Foundations." Thesis, McGill University, 2004. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=81592.

Full text

Abstract:

We first give a modern presentation of the formal language of Frege's Grundgesetze. There follows a comparison of the motivations for Frege's "Cumulative Type Theory" and for Russell's Type Theory and of the basic arithmetical definitions in each. Quine's New Foundations and, in particular, extensions of Jensen's modification, NFU, are introduced and consistency results are discussed. Finally, an interpretation is given in an NFU framework of a modified form of the Grundgesetze theory. It is shown that an "Axiom of Counting" necessary for arithmetic in NFU is needed in an analogous way

APA, Harvard, Vancouver, ISO, and other styles

9

Johnson, Estrella Maria Salas. "Establishing Foundations for Investigating Inquiry-Oriented Teaching." PDXScholar, 2013. http://pdxscholar.library.pdx.edu/open_access_etds/1102.

Full text

Abstract:

The Teaching Abstract Algebra for Understanding (TAAFU) project was centered on an innovative abstract algebra curriculum and was designed to accomplish three main objectives: to produce a set of multi-media support materials for instructors, to understand the challenges faced by mathematicians as they implemented this curriculum, and to study how this curriculum supports student learning of abstract algebra. Throughout the course of the project I took the lead investigating the teaching and learning in classrooms using the TAAFU curriculum. My dissertation is composed of three components of t

APA, Harvard, Vancouver, ISO, and other styles

10

Szudzik, Matthew P. "Some Applications of Recursive Functionals to the Foundations of Mathematics and Physics." Research Showcase @ CMU, 2010. http://repository.cmu.edu/dissertations/26.

Full text

Abstract:

We consider two applications of recursive functionals. The first application concerns Gödel’s theory T , which provides a rudimentary foundation for the formalization of mathematics. T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0N, the successor function S, and the operator RT for primitive recursion on objects of type T . It is known that the functions from non-negative integers to non-negative integers that can be defined in this theory are exactly the <ε0-recursive functions of non-negative integers. But it is not well-known wh

APA, Harvard, Vancouver, ISO, and other styles

11

Bailin, S. G. "An analysis of finitism and the justification of set theory." Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371602.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Picard, Joseph Romeo William Michael. "Impredicativity and turn of the century foundations of mathematics : presupposition in Poincare and Russell." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/12498.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1993.<br>Includes bibliographical references (leaves 145-158).<br>by Joseph Romeo William Michael Picard<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

13

Farias, Pablo Mayckon Silva. "A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics." Universidade Federal do CearÃ, 2007. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516.

Full text

Abstract:

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico<br>Este trabalho Ã um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, Ã apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. Ã tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, Ã apresentada a ome{german}{Begriffsschrift}

APA, Harvard, Vancouver, ISO, and other styles

14

Thornhill, Hannah C. "The Philosophy of Mathematics: A Study of Indispensability and Inconsistency." Scholarship @ Claremont, 2016. http://scholarship.claremont.edu/scripps_theses/894.

Full text

Abstract:

This thesis examines possible philosophies to account for the practice of mathematics, exploring the metaphysical, ontological, and epistemological outcomes of each possible theory. Through a study of the two most probable ideas, mathematical platonism and fictionalism, I focus on the compelling argument for platonism given by an appeal to the sciences. The Indispensability Argument establishes the power of explanation seen in the relationship between mathematics and empirical science. Cases of this explanatory power illustrate how we might have reason to believe in the existence of mathematic

APA, Harvard, Vancouver, ISO, and other styles

15

Marks, Lori J. "Difficulties vs. Disabilities in K-12 Mathematics: Synthesis and Systematic Review." Digital Commons @ East Tennessee State University, 2015. https://dc.etsu.edu/etsu-works/3679.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Bushnell, Megan Haramoto. "The Process of Tracking in Mathematics in Box Elder School District." DigitalCommons@USU, 2008. https://digitalcommons.usu.edu/etd/85.

Full text

Abstract:

Educational policymakers have used tracking to instruct students in a variety of subjects, including mathematics. Tracking, which has also been called ability grouping, is a process by which students in the same grade are placed into different classes based on academic ability. Few educators and sociologists have looked at the process by which students are placed in different mathematics tracks. The research design of this study focused on accumulating, evaluating, and reporting the understanding and observations of 12 teachers and 4 counselors as they discussed their knowledge and involvement

APA, Harvard, Vancouver, ISO, and other styles

17

Solanki, Vinesh. "Zariski structures in noncommutative algebraic geometry and representation theory." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45.

Full text

Abstract:

A suitable subcategory of aﬃne Azumaya algebras is deﬁned and a functor from this category to the category of Zariski structures is constructed. The rudiments of a theory of presheaves of topological structures is developed and applied to construct examples of structures at a generic parameter. The category of equivariant algebras is deﬁned and a ﬁrst-order theory is associated to each object. For those theories satisfying a certain technical condition, uncountable categoricity and quantiﬁer elimination results are established. Models are shown to be Zariski structures and a functor from the c

APA, Harvard, Vancouver, ISO, and other styles

18

Smith, Michael M. "PRE-CALCULUS CONCEPTS FUNDAMENTAL TO CALCULUS." University of Akron / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=akron1164048974.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Bryant, Ross. "A Computation of Partial Isomorphism Rank on Ordinal Structures." Thesis, University of North Texas, 2006. https://digital.library.unt.edu/ark:/67531/metadc5387/.

Full text

Abstract:

We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.

APA, Harvard, Vancouver, ISO, and other styles

20

Carruth, Nathan Thomas. "Classical Foundations for a Quantum Theory of Time in a Two-Dimensional Spacetime." DigitalCommons@USU, 2010. https://digitalcommons.usu.edu/etd/708.

Full text

Abstract:

We consider the set of all spacelike embeddings of the circle S1 into a spacetime R1 × S1 with a metric globally conformal to the Minkowski metric. We identify this set and the group of conformal isometries of this spacetime as quotients of semidirect products involving diffeomorphism groups and give a transitive action of the conformal group on the set of spacelike embeddings. We provide results showing that the group of conformal isometries is a topological group and that its action on the set of spacelike embeddings is continuous. Finally, we point out some directions for future research.

APA, Harvard, Vancouver, ISO, and other styles

21

Magka, Despoina. "Foundations and applications of knowledge representation for structured entities." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:4a3078cc-5770-4a9b-81d4-8bc52b41e294.

Full text

Abstract:

Description Logics form a family of powerful ontology languages widely used by academics and industry experts to capture and intelligently manage knowledge about the world. A key advantage of Description Logics is their amenability to automated reasoning that enables the deduction of knowledge that has not been explicitly stated. However, in order to ensure decidability of automated reasoning algorithms, suitable restrictions are usually enforced on the shape of structures that are expressible using Description Logics. As a consequence, Description Logics fall short of expressive power when it

APA, Harvard, Vancouver, ISO, and other styles

22

Burke, Mark. "Frege, Hilbert, and Structuralism." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/31937.

Full text

Abstract:

The central question of this thesis is: what is mathematics about? The answer arrived at by the thesis is an unsettling and unsatisfying one. By examining two of the most promising contemporary accounts of the nature of mathematics, I conclude that neither is as yet capable of giving us a conclusive answer to our question. The conclusion is arrived at by a combination of historical and conceptual analysis. It begins with the historical fact that, since the middle of the nineteenth century, mathematics has undergone a radical transformation. This transformation occurred in most branches of math

APA, Harvard, Vancouver, ISO, and other styles

23

D'Silva, Vijay Victor. "Logical abstract interpretation." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003.

Full text

Abstract:

Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompass the model theory of temporal logics, the analysis of satisfiability solvers, and the construction of Craig interpolants. In each case, the combination of logic and abstract interpretation leads to more general results, simpler proofs, and a unification of ideas from seemingly disparate fields. The first c

APA, Harvard, Vancouver, ISO, and other styles

24

Yim, Austin Vincent. "On Galois correspondences in formal logic." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97.

Full text

Abstract:

This thesis examines two approaches to Galois correspondences in formal logic. A standard result of classical first-order model theory is the observation that models of L-theories with a weak form of elimination of imaginaries hold a correspondence between their substructures and automorphism groups defined on them. This work applies the resultant framework to explore the practical consequences of a model-theoretic Galois theory with respect to certain first-order L-theories. The framework is also used to motivate an examination of its underlying model-theoretic foundations. The model-theoreti

APA, Harvard, Vancouver, ISO, and other styles

25

Lange, Alissa A. "Is a Pizza Slice a Triangle? Buiding Accurate Mathematical Foundations in Preschool Using a Fun, Interactive, and Research-based Approach." Digital Commons @ East Tennessee State University, 2017. https://dc.etsu.edu/etsu-works/4183.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Farias, Pablo Mayckon Silva. "Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática." reponame:Repositório Institucional da UFC, 2007. http://www.repositorio.ufc.br/handle/riufc/18511.

Full text

Abstract:

FARIAS, Pablo Mayckon Silva. Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática. 2007. 110 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007.<br>Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T14:54:53Z No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5)<br>Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:48:23Z (GMT) No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 byt

APA, Harvard, Vancouver, ISO, and other styles

27

Colijn, Caroline. "The de Broglie-Bohm Causal Interpretation of Quantum Mechanics and its Application to some Simple Systems." Thesis, University of Waterloo, 2003. http://hdl.handle.net/10012/1044.

Full text

Abstract:

The de Broglie-Bohm causal interpretation of quantum mechanics is discussed, and applied to the hydrogen atom in several contexts. Prominent critiques of the causal program are noted and responses are given; it is argued that the de Broglie-Bohm theory is of notable interest to physics. Using the causal theory, electron trajectories are found for the conventional Schrödinger, Pauli and Dirac hydrogen eigenstates. In the Schrödinger case, an additional term is used to account for the spin; this term was not present in the original formulation of the theory but is necessary for the theory

APA, Harvard, Vancouver, ISO, and other styles

28

Dijk, Wilhelmina Van, and Lori Jean Marks. "English Language Learners with Learning Disabilities and the Language in Mathematics: Inclusive Instruction to Support the Acquisition of Both Languages." Digital Commons @ East Tennessee State University, 2014. https://dc.etsu.edu/etsu-works/3533.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Shearer, Robert D. C. "Scalable reasoning for description logics." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca.

Full text

Abstract:

Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web language OWL 2, which is quickly becoming the standard for knowledge representation on the web. A central component of most DL applications is an efficient and scalable reasoner, which provides services such as consistency testing and classification. Despite major advances in DL reasoning algorithms over the last decade, however, ontologies are still encountered in practice that cannot b

APA, Harvard, Vancouver, ISO, and other styles

30

Hieronymi, Philipp Christian Karl. "The real field with an irrational power function and a dense multiplicative subgroup." Thesis, University of Oxford, 2008. http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817.

Full text

Abstract:

In recent years the field of real numbers expanded by a multiplicative subgroup has been studied extensively. In this thesis, the known results will be extended to expansions of the real field. I will consider the structure R consisting of the field of real numbers and an irrational power function. Using Schanuel conditions, I will give a first-order axiomatization of expansions of R by a dense multiplicative subgroup which is a subset of the real algebraic numbers. It will be shown that every definable set in such a structure is a boolean combination of existentially definable sets and that t

APA, Harvard, Vancouver, ISO, and other styles

31

Elsner, Bernhard August Maurice. "Presmooth geometries." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96.

Full text

Abstract:

This thesis explores the geometric principles underlying many of the known Trichotomy Theorems. The main aims are to unify the field construction in non-linear o-minimal structures and generalizations of Zariski Geometries as well as to pave the road for completely new results in this direction. In the first part of this thesis we introduce a new axiomatic framework in which all the relevant structures can be studied uniformly and show that these axioms are preserved under elementary extensions. A particular focus is placed on the study of a smoothness condition which generalizes the presmooth

APA, Harvard, Vancouver, ISO, and other styles

32

Simaitis, Aistis. "Automatic verification of competitive stochastic systems." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:68b5e2d8-ba04-419f-8926-4cd542121e2d.

Full text

Abstract:

In this thesis we present a framework for automatic formal analysis of competitive stochastic systems, such as sensor networks, decentralised resource management schemes or distributed user-centric environments. We model such systems as stochastic multi-player games, which are turn-based models where an action in each state is chosen by one of the players or according to a probability distribution. The specifications, such as “sensors 1 and 2 can collaborate to detect the target with probability 1, no matter what other sensors in the network do” or “the controller can ensure that the energy us

APA, Harvard, Vancouver, ISO, and other styles

33

Marks, Lori J. "Addressing Math skills Through Assistive Technology." Digital Commons @ East Tennessee State University, 2000. https://dc.etsu.edu/etsu-works/3706.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Leyva, Daviel. "The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact." Scholar Commons, 2019. https://scholarcommons.usf.edu/etd/7844.

Full text

Abstract:

In 1942, Paul C. Rosenbloom put out a definition of a Post algebra after Emil L. Post published a collection of systems of many–valued logic. Post algebras became easier to handle following George Epstein’s alternative definition. As conceived by Rosenbloom, Post algebras were meant to capture the algebraic properties of Post’s systems; this fact was not verified by Rosenbloom nor Epstein and has been assumed by others in the field. In this thesis, the long–awaited demonstration of this oft–asserted assertion is given. After an elemental history of many–valued logic and a review of basic Class

APA, Harvard, Vancouver, ISO, and other styles

35

Smith, Michael Anthony. "Embedding an object calculus in the unifying theories of programming." Thesis, University of Oxford, 2010. http://ora.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3.

Full text

Abstract:

Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relational predicates. This theory is intended to provide a single framework in which any programming paradigms, languages, and features, can be modelled, compared and contrasted. The UTP already has models for several programming formalisms, such as imperative programming, higher-order programming (e.g. programing with procedures), several styles of concurrent programming (or reactive systems), class-based object-orientation, and transaction processing. We believe that the UTP ought to be able to repres

APA, Harvard, Vancouver, ISO, and other styles

36

Wyld, Kira A. "Sudoku Variants on the Torus." Scholarship @ Claremont, 2017. http://scholarship.claremont.edu/hmc_theses/103.

Full text

Abstract:

This paper examines the mathematical properties of Sudoku puzzles defined on a Torus. We seek to answer the questions for these variants that have been explored for the traditional Sudoku. We do this process with two such embeddings. The end result of this paper is a deeper mathematical understanding of logic puzzles of this type, as well as a fun new puzzle which could be played.

APA, Harvard, Vancouver, ISO, and other styles

37

Souba, Matthew. "From the Outside Looking In: Can mathematical certainty be secured without being mathematically certain that it has been?" The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1574777956439624.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Atzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.

Full text

Abstract:

This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus for dagger compact categories. Our second contribution lifts the expressive power of the dagger lambda calculus, to that of a quantum programming language, by adding classical control in the form of complementary classical structures and dualisers. Finally, our third contribution demonstrates how our lambda calculus can be applied to various well known proble

APA, Harvard, Vancouver, ISO, and other styles

39

Freire, Rodrigo de Alvarenga. "Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281061.

Full text

Abstract:

Orientador: Walter Alexandre Carnielli<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-12T22:46:52Z (GMT). No. of bitstreams: 1 Freire_RodrigodeAlvarenga_D.pdf: 761227 bytes, checksum: 3b1a0de92aa93b50f2bfc602bf6173bc (MD5) Previous issue date: 2009<br>Resumo: Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria

APA, Harvard, Vancouver, ISO, and other styles

40

Pierpoint, Alan S. "Logic: The first term revisited." CSUSB ScholarWorks, 1995. https://scholarworks.lib.csusb.edu/etd-project/480.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

van, Dijk Wilhelmina, and Pamela J. Mims. "Instruction to support the acquisition of mathematics and vocabulary for young English Language Learners with Developmental Disabilities." Digital Commons @ East Tennessee State University, 2015. https://dc.etsu.edu/etsu-works/193.

Full text

Abstract:

This session will present the preliminary findings from a research designed to determine the efficacy of a validated instructional routine on the mathematics and vocabulary acquisition of English language learners with developmental disabilities using word problems based on Common Core State Standards (CCSS). Learner Outcomes: • To learn several techniques on how to integrate vocabulary supports in mathematics instruction; • To learn components of an intervention package designed to increase math and vocabulary outcomes for students with ELL and DD; and • To understand how careful selection of

APA, Harvard, Vancouver, ISO, and other styles

42

Samson, Duncan Alistair. "An analysis of the influence of question design on pupils' approaches to number pattern generalisation tasks." Thesis, Rhodes University, 2008. http://hdl.handle.net/10962/d1003302.

Full text

Abstract:

This study is based on a qualitative investigation framed within an interpretive paradigm, and aims to investigate the extent to which question design affects the solution strategies adopted by children when solving linear number pattern generalisation tasks presented in pictorial and numeric contexts. The research tool comprised a series of 22 pencil and paper exercises based on linear generalisation tasks set in both numeric and 2-dimensional pictorial contexts. The responses to these linear generalisation questions were classified by means of stage descriptors as well as stage modifiers. Th

APA, Harvard, Vancouver, ISO, and other styles

43

Gomes, Rodrigo Rafael. "A noção de função em Frege /." Rio Claro : [s.n.], 2009. http://hdl.handle.net/11449/91131.

Full text

Abstract:

Orientador: Irineu Bicudo<br>Banca: Itala Maria Loffredo D'Otaviano<br>Banca: Paulo Isamo Hiratsuka<br>Resumo: Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número

APA, Harvard, Vancouver, ISO, and other styles

44

Cox, Louis Anthony. "Mathematical foundations of risk measurement." Thesis, Massachusetts Institute of Technology, 1986. http://hdl.handle.net/1721.1/114010.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 261-266.<br>by Louis Anthony Cox, Jr.<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

45

Wharton, Elizabeth. "The model theory of certain infinite soluble groups." Thesis, University of Oxford, 2006. http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25.

Full text

Abstract:

This thesis is concerned with aspects of the model theory of infinite soluble groups. The results proved lie on the border between group theory and model theory: the questions asked are of a model-theoretic nature but the techniques used are mainly group-theoretic in character. We present a characterization of those groups contained in the universal closure of a restricted wreath product U wr G, where U is an abelian group of zero or finite square-free exponent and G is a torsion-free soluble group with a bound on the class of its nilpotent subgroups. For certain choices of G we are able to us

APA, Harvard, Vancouver, ISO, and other styles

46

King, Brian Christopher Ambrose. "Towards a Kantian foundation of mathematics." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Bilal, Ahmed. "Counterfactual conditional analysis using the Centipede Game." Scholarship @ Claremont, 2019. https://scholarship.claremont.edu/cmc_theses/2252.

Full text

Abstract:

The Backward Induction strategy for the Centipede Game leads us to a counterfactual reasoning paradox, The Centipede Game paradox. The counterfactual reasoning proving the backward induction strategy for the game appears to rely on the players in the game not choosing that very same backward induction strategy. The paradox is a general paradox that applies to backward induction reasoning in sequential, perfect information games. Therefore, the paradox is not only problematic for the Centipede Game, but it also affects counterfactual reasoning solutions in games similar to the Centipede Game. T

APA, Harvard, Vancouver, ISO, and other styles

48

Rodriguez, Paul Fabian. "Mathematical foundations of simple recurrent networks /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1999. http://wwwlib.umi.com/cr/ucsd/fullcit?p9935464.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Bartl, Eduard. "Mathematical foundations of graded knowledge spaces." Diss., Online access via UMI:, 2009.

Find full text

Abstract:

Thesis (Ph. D.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Systems Science and Industrial Engineering, 2009.<br>Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

50

Bispo, Danilo Gustavo. "A teoria da computação de Alan Turing." Pontifícia Universidade Católica de São Paulo, 2018. https://tede2.pucsp.br/handle/handle/21265.

Full text

Abstract:

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-07-25T11:54:43Z No. of bitstreams: 1 Danilo Gustavo Bispo.pdf: 1616324 bytes, checksum: cbc43e66f323825f005da2c275dfa256 (MD5)<br>Made available in DSpace on 2018-07-25T11:54:43Z (GMT). No. of bitstreams: 1 Danilo Gustavo Bispo.pdf: 1616324 bytes, checksum: cbc43e66f323825f005da2c275dfa256 (MD5) Previous issue date: 2018-04-03<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>The present work aims to expose the study of some aspects that permeated the emergence of Computing Theory of Alan Mathison Turing a

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!