• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 6
  • 5
  • 1
  • 1
  • Tagged with
  • 13
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Applications of logic to finite combinatorics

Compton, Kevin Jay. January 1980 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1980. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 118-120).
2

Some extensional term models for combinatory logics and [lambda]-calculi

Barendregt, H. P. January 1971 (has links)
Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971. / "Stellingen" ([2] p.) inserted. Summary in Dutch. Includes supplementary part II to the author's thesis. Includes bibliographical references (p. 134-138).
3

Some extensional term models for combinatory logics and [lambda]-calculi

Barendregt, H. P. January 1971 (has links)
Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971. / "Stellingen" ([2] p.) inserted. Summary in Dutch. Includes supplementary part II to the author's thesis. Includes bibliographical references (p. 134-138).
4

A new program for combinatory reduction and abstraction

Deshpande, Sushant, University of Lethbridge. Faculty of Arts and Science January 2009 (has links)
Even though lambda calculus (λ-calculus) and combinatory logic (CL) appear to be equivalent, they are not. As yet we do not have a reduction in CL which corresponds to β-reduction in λ-calculus. There are three proposals but they all have few problems one of which is the lack of a complete characterization of CL-terms corresponding to λ-terms in β-normal form. Finding such a characterization for any of the three proposals appears to require a lot of examples which are tedious and time consuming to develop by hand. For this reason, a computer program to do reductions and abstractions of CL-terms would be useful. This thesis is about an attempt to write such a program. The program that we have does not yet work for the three proposals but it works for βη-strong reduction. Coding this program turned out to be much harder than anticipated. Dr. Robin Cockett developed a semantic translation which helped in coding the program but his semantic translation needs to be extended to all three proposals to obtain the program originally desired and that needs a lot of research. / v, 96 leaves ; 29 cm
5

Power estimation for combinational logic and low power design /

Kim, Dongho. January 2001 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references (leaves 99-104). Available also in a digital version from Dissertation Abstracts.
6

Analyse phonographématique de l'Arabe en vue d'applications informatiques

Chelyah, Hassane. January 1994 (has links)
Thesis (doctoral)--Université de Paris VII, 1994. / Includes bibliographical references (p. [179]-185). Also issued in print.
7

Analyse phonographématique de l'Arabe en vue d'applications informatiques

Chelyah, Hassane. January 1994 (has links)
Thesis (doctoral)--Université de Paris VII, 1994. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (p. [179]-185).
8

Les référentiels et opérateurs aspecto-temporels : définitions, formalisation logique et informatique / The referentials and aspecto-temporal operators : definitions, logical formalization and informatics

Ro, Hee-Jin 05 October 2012 (has links)
Le présent travail prend appui sur une synthèse de travaux déjà effectués dans l’équipe LaLIC (Langues,Linguistiques, Informatique, Cognition) ; il insiste sur l’articulation entre différents concepts, centrés sur la notion deréférentiel. Ma thèse fait partie d’une chaîne où sont approfondis certains concepts rendus de plus en plus opératoires.Mon travail prend appui sur les travaux sur le temps et l’aspect d’E. Benveniste, A. Culioli et J.-P. Desclés, enparticulier, il s’inscrit le développement de la théorisation du temps et de l’aspect entreprise par J.-P. Desclés et Z.Guentchéva. Dans cette approche, il existe cinq classes de concepts importants :1) Trois notions aspectuelles de base constitutives d’un procès : état, processus, événement ;2) Aspectualisation d’un procès sur un intervalle topologique d’instants ;3) Énonciation conceptualisée comme processus inaccompli ;4) Repérage par identification, différenciation et rupture ;5) Prise en compte de différents référentiels.Certains concepts avaient déjà reçus une formalisation rigoureuse. Au fil des analyses de plus en plus diversifiées, lanotion de référentiel est devenue de plus en plus importante dans le dispositif théorique et dans les descriptions associées.Il m’a donc été demandé de mieux préciser cette notion de référentiel en en proposant une approche formalisée quipermettrait ultérieurement des traitements informatiques. J’ai replacé cette notion dans le cadre théorique de latemporalité appréhendée par les langues en argumentant son introduction et en formalisant ses concepts. Afin de mieuxéprouver le caractère opératoire des concepts formalisés, il est apparu que leurs traductions dans un langage informatiquepermettraient de prouver leurs caractères réellement opératoires et de jeter des ponts solides orientés vers une utilisationopérationnelle des analyses linguistiques que nous proposons. / This dissertation support a synthesis of already accomplished works at the laboratory LaLIC(Languages, Linguistics, Informatics, Cognition) ; it emphasizes the articulation among different concepts, centered onthe notion of referential. My thesis forms a part of a chain where some rendered concepts are deepened more and moreoperatively. My work supports the works about the tense and the aspect of E. Benveniste, A. Culioli and J.-P. Desclés, inparticular, it is in line with the development of the theorization about the tense and the aspect proceeded by J.-P. Desclésand Z. Guentchéva. In this approach, there are five types of important concepts:1) Three basic aspectual notions constituent of a process (situation): state, process, event;2) Aspectualisation of a process (situation) on a topological interval of instants;3) Conceptualized enunciation as imperfective process;4) Reference by identification, differentiation and rupture;5) Recognition of different referentials.Some concepts are already received rigorous formalizations. Over the analyses being increasingly diversified, the notionof referential becomes more and more important in the theoretical plan and in the associated descriptions. It wasdemanded to me to improve the specification of this notion of referential while I proposed a formalized approach thatwould admit the computing treatments later. I put this notion within the theoretical framework of the temporality whichapprehended by the languages while arguing its introduction and while formalizing their concepts. To better perceive theoperative character of the formalized concepts, it was their translations in the computer language which enables to provetheir effectively operative characters and to dispose the solid link oriented towards an operational utilization of thelinguistic analyses that we propose.
9

Relação entre o raciocínio lógico e o raciocínio matemático / Relationship between logical reasoning and mathematical reasoning

Silva, Simone de Oliveira Andrade 15 September 2017 (has links)
Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2017-10-20T14:04:27Z No. of bitstreams: 1 Simone de Oliveira Andrade Silva.pdf: 2491360 bytes, checksum: 076e3d9c3f47be0c573b1d2a44f767da (MD5) / Made available in DSpace on 2017-10-20T14:04:27Z (GMT). No. of bitstreams: 1 Simone de Oliveira Andrade Silva.pdf: 2491360 bytes, checksum: 076e3d9c3f47be0c573b1d2a44f767da (MD5) Previous issue date: 2017-09-15 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The aim was to identify possible relationship between logical reasoning and mathematical reasoning in children between 9 and 10 years old. Twenty-six children were recruited from an elementary school. They were distributed in two different groups: high and low performance in arithmetic mathematics. An instrument was applied to collecting data. It was composed of five set of problems: two to assess mathematical reasoning and three to assess logical reasoning. Three descriptions for analyses: participants performance outcomes; categorization of participants explanation about their reasoning to solving those problems and; instrument. The results evidenced strong correlation between logical reasoning and mathematical reasoning. The categorization of participants explanation indicated strong incorrect control by presence/absence of number in the mathematics problems and strong incorrect control by statement in problems that involve logic. The instrument was useful to register and analyze difficulties of the participants in solving the items. It is suggested insert qualitative analysis in the teacher assessment to understand student performance. It is advised to add to elementary school education and to teacher training the teaching of logic / O objetivo dessa pesquisa foi de identificar as possíveis relações entre o desempenho em problemas que envolvem raciocínio lógico e raciocínio matemático (de aritmética) em crianças entre 9 e 10 anos. O campo da pesquisa foi uma escola municipal de ensino fundamental de São Paulo, alunos do 5.º ano do ciclo I. Os 26 participantes foram distribuídos em dois grupos (fortes e fracos, com relação ao seu desempenho em matemática – aritmética). Para a coleta de dados, aplicou-se um instrumento composto de cinco conjuntos de problemas (dois avaliaram o raciocínio matemático e três avaliaram o raciocínio lógico). A análise dos dados contou com três etapas: análise quantitativa dos resultados do desempenho dos participantes; a análise e categorização das justificativas dadas pelas ao inquérito e; análise do instrumento. Os resultados sugerem que há correlação entre o raciocínio lógico (sentenças verbais – lógica não formal) e o raciocínio matemático (atividades de aritmética). A categorização das justificativas indicou forte controle incorreto da presença/ausência de número nos problemas matemáticos, forte controle incorreto do enunciado nos problemas que envolvem lógica. A análise do instrumento indicou que, apesar de alguns ajustes necessários, ele serviu para registrar e analisar dificuldades dos participantes na solução dos itens. Diante dos resultados, indica-se que a análise qualitativa seja inserida na avaliação que os professores realizam sobre o desempenho dos alunos em matemática. Recomenda-se, ainda, que o estudo de lógica verbal não formal seja inserido nos currículos da educação básica e na formação inicial de professores
10

Vers une logique du mouvement / Toward a logic of movement

Bergier, Hugolin 12 May 2016 (has links)
Depuis Frege (1893), les développements de la logique moderne ne se sont pas montrés à la hauteur de ses ambitions à l’égard de la détermination des objets, la temporalité, l’action, le langage et, d’une façon suréminente, le mouvement. Pour Rôdl (2012), la logique frégéenne et la logique moderne en général ne peuvent pas formaliser le mouvement parce que, comme il le démontre bien, elles reposent essentiellement sur un ordre logico-déductif. Nous voulons montrer que la source de cette faille n’est pas l’ordre logico-déductif de la logique moderne mais la thématisation de ses éléments selon les catégories pré-établies d’objet, de prédicat, de proposition et de valeur de vérité. La question suivante peut alors légitimement se poser : la logique peut-elle, tout en restant moderne, c’est-à-dire formaliste, symbolique et calculatoire, faire émerger la forme de la structure prédicative d’une proposition de façon à résoudre les fractures métaphysiques qui lui sont imputées dont, en premier lieu, celle du mouvement ? Nous proposons de répondre à l’affirmative sous la condition nécessaire d’une déthématisation de la logique, c’est-à-dire du passage d’une logique des prédicats à une logique des opérateurs. Les travaux de Déscles sur la théorie des opérateurs aspecto-temporels, formalisée dans le cadre de la logique combinatoire, répondent à cette condition. On montre comment il est alors possible de résoudre les fractures métaphysiques et de poser les jalons d’une nouvelle logique du mouvement. / Since Frege (1893), the developments of modern logic have not lived up to its ambitions with regard to the determination of objects, temporality, action, language and, priorly, movement. For Rödl (2012), Fregean logic, and modern logic in general, can not formalize the movement because, as he shows it well, they are essentially based on a logico-deductive order. We want to show that the source of the fault is not the logico-deductive order of modern logic but its pre-theming of its tokens according to the categories of object, predicate, proposition and truth value. The following question can then legitimately be asked: can logic, while remaining modern, that is to say, formal, symbolic and computational, exhibit the form of the predicative structure of a proposition in order to solve the metaphysical fractures that it is charged with including, in the first place, that of movement? We propose to answer that it is possible under the condition that logic be unthemed, that is to say going from a predicate logic to an operator logic. The work of Desclés on the theory of aspecto-temporal operators, formalized in the context of combinatorial logic, meet this condition. It shows how it is possible to solve metaphysical fractures and to lay the foundations of a new logic of movement.

Page generated in 0.059 seconds