Lambda Calculus
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus / Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
2. Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda / An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus
O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
3. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção
The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator there exists a great quantity of variations of this computational system in which the operation of substitution is treated explicitly. In this work we investigate intersection type systems for
Publicado em: 2010
-
4. Números naturais parciais / Partial natural numbers
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipa
Publicado em: 2010
-
5. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
6. Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
A Domain Specific Language is a specification language dedicated to a particular domain, representation technique, or solution searching method. On the other hand, a general-purpose programming language is a language designed with the goal of emulating Lambda Calculus or Turing Machine. Since general-purpose languages must accept any algorithm that can be ex
Publicado em: 2010
-
7. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
8. 2-CATEGORY AND PROOF THEORY / 2-CATEGORIA E TEORIA DA PROVA
Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of ca
Publicado em: 2009
-
9. Editor MIDI para violão com articulação humanizada nota a nota e qualidade acústica em linguagem funcional pura
This work presents as main goal to implement a computational application that allows the user create MIDI musical sequences for guitar. The difference of the musical sequences generated by the software resides in the fact that each musical note of the MIDI sequence can be modified for the inclusion of humanized articulation, individualized and with timbral q
Publicado em: 2007
-
10. Editor MIDI para violÃo com articulaÃÃo humanizada nota a nota e qualidade acÃstica em linguagem funcional pura
This work presents as main goal to implement a computational application that allows the user create MIDI musical sequences for guitar. The difference of the musical sequences generated by the software resides in the fact that each musical note of the MIDI sequence can be modified for the inclusion of humanized articulation, individualized and with timbral q
Publicado em: 2007
-
11. What would be conserved if "the tape were played twice"?
We develop an abstract chemistry, implemented in a lambda-calculus-based modeling platform, and argue that the following features are generic to this particular abstraction of chemistry; hence, they would be expected to reappear if "the tape were run twice": (i) hypercycles of self-reproducing objects arise; (ii) if self-replication is inhibited, self-mainta