• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1343
  • 117
  • 38
  • 26
  • 26
  • 26
  • 23
  • 18
  • 18
  • 10
  • 8
  • 8
  • 8
  • 7
  • 4
  • Tagged with
  • 1552
  • 718
  • 492
  • 271
  • 239
  • 198
  • 176
  • 174
  • 151
  • 144
  • 131
  • 126
  • 119
  • 113
  • 107
  • 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.
51

Notas sobre a questão da inferencia

Bandini, 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 finitarias

Carnielli, 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 ordem

Massi, 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 Lectura

Núñ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 linguagem

Loparic, 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 grega

Frangiotti, 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 classica

Massi, 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 experiencia

Plastino, 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 fuzzy

Entizne 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ödel

Estivalet, 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.0298 seconds