Linguagem E Lagica
Mostrando 13-21 de 21 artigos, teses e dissertações.
-
13. Teoria del diritto nel post-positivismo: interpretazione e applicazione della norma giuridica / Teoria do direito no pÃs-positivismo: interpretaÃÃo e aplicaÃÃo da norma jurÃdica
A pesquisa trata da temÃtica da norma jurÃdica em vÃrios de seus aspectos. Sobretudo trata das questÃes da ânaturezaâ, da âinterpretaÃÃoâ e da âaplicaÃÃoâ da ânorma jurÃdicaâ. A AnalÃtica da Linguagem de Wittgenstein, assentada em suas obras, Tractatus Logico-Philosophicus e AnÃlises FilosÃficas, procurou demonstrar que muitos dos equÃvo
Publicado em: 2007
-
14. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
15. RelaÃÃes argumentativas entre topoi e lei de inferÃncia / Argumentative relationship between topoi and inference law.
O presente estudo propÃe uma aproximaÃÃo entre a LingÃÃstica Textual e a SemÃntica Argumentativa, ao tratar de um fenÃmeno comum a diversas Ãreas de estudo: a argumentaÃÃo. Nosso objetivo principal foi discutir a relaÃÃo argumentativa entre topos (ANSCOMBRE e DUCROT, 1995) e lei de inferÃncia (Adam, 1992) na seqÃÃncia argumentativa prototÃpic
Publicado em: 2006
-
16. O VAZIO E O INACABADO DA LEI: PARA UMA TEORIA FRAGMENTÃRIA DO DIREITO
Defendo nesta tese uma concepÃÃo fragmentÃria do direito, partindo de uma crÃtica ao conceito de norma geral, eixo da epistemologia jurÃdica dominante. Analisando o direito desde a sua perspectiva lingÃÃstica, verifiquei a impossibilidade de se firmar o status ontolÃgico da norma geral em qualquer um dos trÃs nÃveis da linguagem. No nÃvel sintÃti
Publicado em: 2004
-
17. The Communication in the organization of work / A comunicaÃÃo na organizaÃÃo do trabalho : construindo identidades ou submissÃo
A comunicaÃÃo e a construÃÃo da identidade humana na relaÃÃo do trabalho à um estudo que requer um aprofundamento integrado de vÃrios aspectos. Esta dissertaÃÃo pretende identificar alguns deles, baseandose principalmente na teoria da aÃÃo comunicativa de Habermas, buscando contribuir no esclarecimento entre duas visÃes distintas na conduÃÃo d
Publicado em: 2004
-
18. InduÃÃo de programas lÃgicos orientados a objetos
Em muitas de suas aplicaÃÃes prÃticas â tais como Processamento de Linguagem Natural(PLN), CASE, sistemas especialistas em domÃnios complexos, ontologias de Web semÃntica e Descoberta de conhecimento em banco de dados(KDD) - ProgramaÃÃo em LÃgica Indutiva(PLI) nÃo à usada para substituir, mas para complementar aquisiÃÃo de conhecimento manual. U
Publicado em: 2003
-
19. Uma arquitetura de um coprocessador criptogrÃfico para o algoritmo Advanced Encryption Standard.
O processo de seleÃÃo de um novo padrÃo para criptografia de dados promovido pelo governo norte-americano, denominado Advanced Encryption Standard - AES, resultou na escolha do algoritmo Rijndael. Este cifrador trabalha com blocos de 128 bits e chave criptogrÃfica de 128, 192 ou 256 bits. Espera-se que este novo padrÃo seja amplamente adotado pela inici
Publicado em: 2002
-
20. ContribuiÃÃes à sÃntese automÃtica de processadores para lÃgica nebulosa.
Este trabalho dedicou-se ao estudo da sÃntese automÃtica de processadores nebulosos dedicados. Inicialmente foi desenvolvido um conjunto de relaÃÃes para a sÃntese de retas no domÃnio digital. O objetivo destas relaÃÃes foi estabelecer quais as operaÃÃes envolvidos na sÃntese de uma reta, para funÃÃes com um nÃmero genÃrico de bits. Com base n
Publicado em: 1998
-
21. ImplementaÃÃo de operaÃÃes booleanas regularizadas entre primitivas CSG em VRML.
A Modelagem de SÃlidos vem se estabelecendo como uma Ãrea da ComputaÃÃo GrÃfica em pleno crescimento, sendo responsÃvel pelo tratamento de problemas envolvendo a manipulaÃÃo, anÃlise e exibiÃÃo interativa de modelos computacionais de objetos sÃlidos. Sistemas de CAD, CAM e CAE contribuÃram para a popularizaÃÃo do uso de diversos conceitos dess
Publicado em: 1997