Mostrando ítems 1-9 de 15
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
(Universidade de BrasíliaBrasilCiência da ComputaçãoPrograma de Pós-Graduação em InformáticaUnB, 2019)
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
(2011-05-07)
Neste trabalho apresenta-se uma formalização do teorema de existência de unificadores mais gerais em teorias de primeira ordem. Tal formalização foi desenvolvida na linguagem de especificação de ordem superior, do assistente ...
A composição do livro Reinações de Narizinho, de Monteiro Lobato: consciência de construção literária e aprimoramento da linguagem narrativa
(Universidade Estadual Paulista (Unesp), 2005-06-24)
Este trabalho apresenta, primordialmente, um estudo sobre o processo de composição do livro Reinações de Narizinho, de Monteiro Lobato. Parte-se de um depoimento do próprio escritor em carta ao amigo Godofredo Rangel, ...
Razones por las que países como Chile y México adoptaron NIIF plenas y/o NIIF para pymes y visualización en Colombia
The IASB (International Accounting Standards Board) is the body responsible for the issuance of International Financial Reporting Standards, which has sought through the development of full IFRS and IFRS for SMEs, establish ...
Algebraic models of conceptual metaphor: contributions to the understanding of mathematics learning processes
(Universidad de Chile, 2013)
This thesis studies a human cognitive phenomenon called Conceptual Metaphor in the context of mathematics learning and reasoning. Metaphor enables the understanding of an abstract concept called target, e.g. numbers, in ...
Provimentos jurisdicionais vinculantes no Brasil: uma leitura desde a filosofia da linguagem
(Universidade Estadual Paulista (Unesp), 2017-10-13)
Qual pode ser o significado de o direito brasileiro adotar uma técnica de resolução de demandas que envolve a vinculação de decisões atuais às precedentes? A pergunta, por não inovar os termos nos quais é posta, já teve ...
Propuesta De Integración Entre Los Aspectos Motivacionales Del Negocio Y La Ingeniería De Requisitos Orientada A Metas
(Universidad Del Quindío- Ingeniería - Ingeniería de Sistemas y Computación, 2017-04-01)
Currently, it is necessary to have standardized practices which allow us making a common language between people who use this language. Software engineering is a discipline that is relatively new and looking for channel ...