Spelling suggestions: "subject:"1ógica"" "subject:"1lógica""
51 |
Notas sobre a questão da inferenciaBandini, Maria Beatriz Gobby 16 August 1991 (has links)
Orientador: Sirio Possenti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudosda Linguagem / Made available in DSpace on 2018-07-14T00:26:02Z (GMT). No. of bitstreams: 1
Bandini_MariaBeatrizGobby_M.pdf: 3372430 bytes, checksum: 844f2771267e8965919146e83e53e306 (MD5)
Previous issue date: 1991 / Resumo: No discurso o que é dito de maneira explícita é determinado pela estrutura das frases, enquanto o que não é, provém de manobras que o próprio discurso possibilita. Isto é, o que vem expresso implicitamente se explicaria pela intervenção de mecanismos interpretativos muito particulares a cada enunciação - através de leis do discurso, as quais possibilitam a instauração de relações de natureza muito específicas (que envolvem raciocínio, intenções, crenças, reações dos interlocutores). Neste sentido, inferir é mais do que detectar os mecanismos semânticos que estão em jogo na significação de uma frase, é mais do que o preenchimento de lacunas ou o cálculo dedutivo mecânico; é mais do que chegar à interpretação pretendida pelo falante. Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Mestrado / Mestre em Linguística
|
52 |
Sobre o metodo dos tableaux em logicas polivalentes finitariasCarnielli, Walter Alexandre, 1952- 14 July 2018 (has links)
Orientador: Newton Carneiro Affonso da Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1
Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksum: ae2b22dcdbcb64ab500dd273b065caff (MD5)
Previous issue date: 1982 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática
|
53 |
Normalização e normalização forte para a logica classica de primeira ordemMassi, Cosme Damião Bastos 31 May 1989 (has links)
Orientador : Luiz Carlos P. D. Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-14T16:48:24Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_M.pdf: 1123334 bytes, checksum: 84d7b2ad0e7b5c1f7bdb7f89710349cc (MD5)
Previous issue date: 1988 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Filosofia
|
54 |
El conocimiento de mundo como facilitador para la generación de inferencias: análisis comparativo de preguntas de inferencia aplicadas en las pruebas PSU Lenguaje y Comunicación y PISA LecturaNúñez Grandón, Tanya January 2014 (has links)
Tesis para optar al grado de Magíster en Estudios Cognitivos / Autor no autoriza el acceso a texto completo de su documento. / La presente tesis tiene como objetivo principal analizar y comparar las preguntas
de inferencia de las pruebas estandarizadas PSU Lenguaje y Comunicación 2010,
2010 y 2011 y PISA Lectura 2009. Este objetivo se plantea con el fin de dilucidar
las estrategias cognitivas que subyacen en las pruebas y que permiten responder
preguntas de inferencia, tomando como factor incidente en su construcción el
conocimiento de mundo.
Este análisis comparativo se hará sobre la base de las teorías acerca de la
construcción de modelos representacionales de un discurso, de acuerdo a la
teoría de Modelos Mentales de Jonhson Laird, el modelo situacional propuesto
por van Dijk y Kinstch y el modelo construcción integración de Kintsch, los que
se complementarás con la propuesta de modelo de contexto de van Dijk y modelo
del experienciador inmerso de Zwaan. El análisis, además, tendrá como sustento
teórico distintos estudios acerca del procesamiento cognitivo del lenguaje, la
generación de inferencias y la incidencia del conocimiento de mundo en la
construcción de estas, basado principalmente en las teorías planteadas por los
investigadores Graesser, Gernsbacher y Zwaan al respecto.
La base teórica mencionada conduce a reportar información respecto al
conocimiento de mundo como factor clave para la generación de inferencias, en
pos de una comprensión confiable y eficaz del discurso. El análisis de las
preguntas permitirá identificar cuáles elementos propuestos por los teóricos
mencionados resultan relevantes para cada prueba estandarizada a analizar y
cómo estos se relacionan con la construcción de la representación del discurso.
De esta forma, la investigación pretende evidenciar el rol del conocimiento y su
incidencia en las estrategias cognitivas que los estudiantes deben realizar al leer
un discurso, con el fin de lograr una comprensión profunda y efectiva, de acuerdo
a los objetivos de las tareas dadas en preguntas de inferencias en las pruebas
estandarizadas mencionadas.
|
55 |
Definição de conjuntos decidiveis de valorações pela fatorização da linguagemLoparic, Andrea Maria Altino de Campos, 1941- 22 April 1988 (has links)
Orientador: Balthazar Barbosa Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:21:40Z (GMT). No. of bitstreams: 1
Loparic_AndreaMariaAltinodeCampos_D.pdf: 4680670 bytes, checksum: cd67073ce355c780cd6ade0827c462d4 (MD5)
Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Lógica e Filosofia da Ciência
|
56 |
Kant e a analise geometrica gregaFrangiotti, Marco Antonio 15 February 1989 (has links)
Orientador: Zeljko Loparic / Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:36:00Z (GMT). No. of bitstreams: 1
Frangiotti_MarcoAntonio_M.pdf: 25799734 bytes, checksum: 673a848edc28bd9076337ef678125886 (MD5)
Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência
|
57 |
Provas de normalização para a logica classicaMassi, Cosme Damião Bastos 11 December 1990 (has links)
Orientador : Luiz Carlos P. D. Pereira / Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T22:58:23Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_D.pdf: 9082634 bytes, checksum: c9505e5aace28913be4668f2a0203745 (MD5)
Previous issue date: 1990 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia
|
58 |
Indução e credibilidade : um estudo probabilistico-personalista sobre o aprendizado a partir da experienciaPlastino, Caetano Ernesto 19 July 2018 (has links)
Orientador : Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T00:31:01Z (GMT). No. of bitstreams: 1
Plastino_CaetanoErnesto_M.pdf: 19418717 bytes, checksum: 4e55c0496a70c66a3b62259e0dde6908 (MD5)
Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência
|
59 |
Estructuras algebraicas para la lógica fuzzyEntizne Jtten, Rosana V. 08 October 2009 (has links)
Finalmente, utilizando la noción de jerarquía de conceptos clásica y fuzzy, damos una aplicación a la economía determinando una función de pertenencia asociada al contexto. / In this dissertation, we give the basic notions of fuzzy sets, as presented by Zadeh, and the we study the underlying algebraic structure.
This structure, essentially a lattice endowed with a Galois connection formed by a product and a residuation, appears in many forms, according to the properties of the product
and its relation to the lattice structure.
We present these cases going from the general to the specific, including the one introduced
by Zadeh.
For these particular cases we analyze the associated logics.
We also expand of the concepts of homomorphisms, subalgebras and products of residuated lattices.
Finally, using both, the classic and fuzzy notions of formal concepts analysis, we give an application to Economic Sciences that helps determine membership functions associated to a context.
|
60 |
Estudo sobre a Demonstração do segundo teorema de incompletude de GödelEstivalet, Manuel Bauer January 2012 (has links)
A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.
|
Page generated in 0.027 seconds