Semântica Formal no Brasil

Semântica Formal no Brasil A Semântica Formal no Brasil tem início com a formação curricular do bacharelado e do mestrado em linguística da UNICAMP a partir dos anos 1970, com propósitos de inserir o Brasil na pesquisa internacional em particular no campo da linguística. As primeiras propostas curriculares previam disciplinas como ‘Matemática para Linguistas’, que indicava um encaminhamento para os estudos formais. Uma visão para estudos de sintaxe formal, mas que também serviram de base para os estudos de semântica formal. No mestrado em Linguística, não havia a disciplina ‘Semântica’, mas havia uma equivalente que se chamava ‘Lógica e Linguagem’. E uma disciplina oferecida em 1976 pelo Instituto de Matemática se chamava ‘Gramáticas Formais’. Os cursos de linguística da UNICAMP davam aos alunos condições para acompanhar o que se fazia nos centros de pesquisa quase ao mesmo tempo em que a semântica se consolidava no exterior. A saída de estudantes para cursar linguística no exterior, a partir do final dos anos 1970, trouxe pesquisadores com outras formações. Vários eventos também permitiram o florescimento da semântica no Brasil. De especial importância foram os Workshops, que tiveram início no final dos anos 90. Em 1999 na cidade de Curitiba, aconteceram vários movimentos para integrar a semântica formal na pesquisa nacional. Os estudos nacionais ganharam um grande impulso com a organização por Ana Müller, em 2000, do primeiro Workshop on Formal Linguistics…

A semântica formal das línguas naturais: histórias e desafios Formal Semantics: stories and challenges José Borges Neto Universidade FFederal ederal do PParaná araná - UFPR Ana Müller Universidade de São PPaulo aulo - USP Roberta Pires de Oliveira Universidade Federal de Santa Catarina - UFSC Resumo Este artigo faz um resumo da história dos estudos semânticos no Brasil e no mundo, sobretudo das transformações iniciadas na década de 1970 e da abertura para uma semântica formal…

Modelo Cascata ou Clássico (mais antigo) No modelo cascata, o desenvolvimento de um software se dá de forma seqüencial, a partir da atividade de verificação da viabilidade do desenvolvimento. Para cada etapa cumprida, segue-se a etapa imediatamente posterior, daí a idéia de uma cascata (Figura 3). Este modelo tornou-se incompatível com a realidade atual porque a busca de requisitos não deve ocorrer somente no momento inicial do projeto, pois na maioria das vezes é…

1 A SEMÂNTICA NO QUADRO DAS CIÊNCIAS DA LINGUAGEM THE SEMANTICS END THE LINGUISTICS Virgínia Beatriz Baesse Abrahão 1 virginia_abrahao@yahoo.com.br RESUMO: O presente artigo tem por tema a Semântica enquanto disciplina dos cursos de Letras. Interessa-nos observar suas tendências dentro do quadro atual das ciências da linguagem. A motivação para tal temática deve-se à crescente renovação do quadro teórico da Semântica, devido às influências que vem sofrendo das Teorias da Argumentação,…

Especificação Z Métodos formais  São técnicas embasados em formalismos matemáticos para especificação desenvolvimento e verificação dos sistemas de softwares e hardwares.  Uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais Especificação z   Z é um método formal. Proposto por Jean-Raymond Abrial.  O modelo Z foi desenvolvido na Universidade de Oxford na década de 70.  Para servir como notação para a…

Especificação Z  Vinícius M. Métodos formais  São técnicas embasados em formalismos matemáticos para especificação desenvolvimento e verificação dos sistemas de softwares e hardwares.  Uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais Especificação z  Z é um método formal.  Proposto por Jean-Raymond Abrial.  O modelo Z foi desenvolvido na Universidade de Oxford na década de 70.  Para…

DÉBORA DIONES FERREIRA DE ARAÚJO MATRÍCULA: ATIVIDADE ESTRUTURADA 1 Resumo do Texto: Semântica Formal, Ana Muller e Evani Viotti. Disciplina: Teorias do Discurso Professora: Arlene Vidal UNESA – Campus João Uchôa 2013.5 Resumo 1. O que estuda a Semântica Formal? A Semântica se desborda em inúmeras áreas, como: semântica textual, semântica cognitiva, semântica, semântica argumentativa, semântica discursiva e etc. e todas estudam o significado, cada…

................................................................6 2 Fundamentação Teórica...................................................................................................................7 2.1 SOA( Service Oriented Architecture)......................................................................................7 2.1.1 Vantagens da SOA............................................................................................................7 2.1.2 Características da…

Projeto de Linguagem Linguagem é um conjunto de regras sintáticas e semânticas usada para definir uma forma de comunicação. Na computação, também surgiu a necessidade de se criar um método padronizado para expressar instruções sobre as quais um computador vai atuar, como elas serão armazenadas ou transmitidas e quais ações devem ser tomadas sob várias circunstâncias. Como toda linguagem é utilizada por várias pessoas, ela deve ser inteligível por todos. Desta forma, uma linguagem…

DESIGN DO OBJETO – BASES CONCEITUAIS “O conceito de estética provém da palavra grega aisthesis e significa percepção sensorial. A estética é a ciência das aparências percebidas pelos sentidos”. (Löbach, 1981). No design, a aparência estético-formal do objeto diz respeito aos seus atributos de configuração física e ao estilo de sua identidade visual. É o aspecto psicológico da percepção sensorial do objeto, principalmente durante o seu uso, e se relaciona com suas características…