Buscar
Mostrando ítems 1-10 de 1076
A semântica formal de MooZ
(Universidade Federal de Pernambuco, 2014)
Formal semanticsSemántica formalSemântica formal
(Programa de Pós-Graduação em Linguística - UFSC, 2020)
Estrutura e interpretação de situações-problema em matemática: uma análise baseada na semântica formal
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Linguística - PPGLCâmpus São Carlos, 2019-06-25)
This dissertation investigates the difficulty of interpreting mathematical story problems, considering the semantic relations established between the natural language in statements and the meaning in the mathematical ...
Semântica computacional com Wordnet
(2016-07)
Mathematical and computational studies of natural language has been advancing largely in the last decades, prompted by development on techniques and by practical applications. The semantical side is no exception, being ...
La semántica formal: un panorama desde la perspectiva de la gramática generativaFormal semantics: a panoramic view from the perspective of generative grammar
(Universidad Nacional del Comahue. Facultad de Lenguas, 2021-11)
Este trabajo se propone trazar un estado del arte de la semántica formal o semántica composicional, disciplina que usa herramientas de la lógica y la matemática para estudiar sistemáticamente el modo en que se compone el ...
Semántica formal, semántica informal y rivalidad lógica
(Marisa VelascoAarón SaalHoracio Faas, 2005-09)
En este trabajo haremos una pregunta relacionada con las que allí se formula Haack: ¿pueden una sintaxis y una semántica formalmente idénticas a las clásicas ocultar un sistema rival de la lógica clásica? Motivaremos nuestra ...
Semántica estática para un lenguaje Pascal-like
(2021)
Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente ...
Intensificadores chulos do português brasileiro (PB): uma análise preliminar pela semântica formal
(Universidade Federal do Rio de JaneiroBrasilFaculdade de LetrasUFRJ, 2021)