Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Tamanho: px
Começar a partir da página:

Download "Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani"

Transcrição

1 Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1

2 Que tipo de estrutura de modelos é apropriada ou adequada para as línguas naturais? (p. 15) gramática universal: estou escrevendo aqui língua natural como se todas as línguas naturais se comportassem da mesma forma com respeito ao tipo de estrutura de modelo que elas exigem. Esta é uma questão muito importante e gigantesca. Não podemos meramente assumir que isto esteja correto. Mas espera-se que, como na sintaxe, onde tentamos desenvolver uma teoria geral da gramática universal no âmbito da qual podemos dar conta da unidade e da diversidade das línguas naturais, na semântica, também procuramos uma teoria universal no âmbito da qual possamos entender línguas naturais como o chinês, o português, o aramaico, o hindu, e assim por diante. (p. 15) 2

3 comecei a fazer a seguinte pergunta: A estrutura de modelos que encontramos para o CP também é adequada para as línguas naturais? E sugeri que não. (p. 15) Vamos continuar a rever este sistema simples para tentar entender o que temos de fazer para que um sistema deste tipo nos permita atingir teorias cada vez mais adequadas para as línguas naturais. (p. 15) predicados de três lugares, como dar: A dá B a C (p. 16) predicados de quatro lugares, como comprar: A compra B de C por D (p. 16) (predicados de qualquer quantidade de lugar) 3

4 interpretação com duas partes: Uma interpretação, no sentido da teoria semântica de teoria de modelos, é uma forma de atribuir denotações de uma determinada estrutura de modelos às expressões de uma língua. Então uma interpretação de uma língua tem duas partes. (p. 17) primeira parte: A primeira é o que chamei de estrutura de modelos, que é constituída apenas pelos objetos necessários para se interpretar a língua. Na interpretação padrão do cálculo de predicados, são necessários dois tipos de objetos, porque trata-se de um sistema extremamente simples. Tudo o que você precisa é de um conjunto de indivíduos, que vou chamar de E, e um conjunto de valores de verdade. Não existe uma maneira padrão para designar este último conjunto, mas ele é simplesmente um conjunto que eu escrevo como 1 e 0. (p. 17) 4

5 segunda parte: Da última vez, também disse alguma coisa sobre a forma como estas coisas estão relacionadas às expressões através da interpretação. Esta é a segunda coisa da qual precisamos: uma forma de atribuir elementos da estrutura de modelos às expressões da língua. Como você pode recordar, quando estamos diante de termos, estes termos estão ligados diretamente ao conjunto de indivíduos se eles são constantes, ou estão ligados indiretamente ao conjunto de indivíduos de acordo com uma atribuição de valores às variáveis. (p. 17) predicados de um lugar: conjuntos de indivíduos predicados de dois lugares: conjuntos de pares ordenados de indivíduos 5

6 (agora) três partes: Então, o que é uma interpretação? Uma interpretação, até agora, precisa de três coisas. Primeiro, precisa de uma certa estrutura de modelos vamos chamar esta estrutura de modelos de M1. M1 vai ser a primeira estrutura de modelos que vamos ver. M1 é a estrutura de modelos de uma interpretação padrão do cálculo de predicados. Além disso, duas coisas são necessárias: primeiro, um conjunto (chamado de G) de atribuições de valores às variáveis, e precisamos também de uma função de avaliação, que vou chamar de D. A função (mapeamento ou procedimento) de avaliação é uma maneira de tomar uma expressão e dizer que signicado ou denotação ela deve ter dentro desta estrutura de modelos. Consequentemente, estas três coisas são parte da interpretação padrão do cálculo de predicados: uma determinada estrutura de modelos, uma determinada atribuição de valores às variáveis e uma função de avaliação. Eis um resumo de uma estrutura de interpretação: M1, D, G. 6

7 D(Correr) = conjunto dos indivíduos que correm (p. 17) [Correr ] D(m) = algum indivíduo do modelo; Murilo, digamos (p. 17) [m] D(Correr(m)) = 1 sse D(m) D(Correr) [Correr(m)] D(Correr(x)) = 1 sse g(x) D(Correr) (p. 18) [Correr(x)] reformulação da semântica do universal: xf denota 1 numa atribuição g sse F denota 1 em toda atribuição g, que é exatamente como g, exceto possivelmente pelo valor que g atribui a x. (p. 18) 7

8 E = {,, } / D(V er) = {,,,,,,, } D(V er(x, y)) D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 0 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 1 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 1 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 1 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 0 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 0 8

9 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 1 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 0 D [x,y ] (V er(x, y)) = 1 sse, D(V er) D [x,y ] (V er(x, y)) = 0 linguística e não ciência: Não faz parte de nossa tarefa sermos capaz de dizer quando determinadas asseverações são verdadeiras ou falsas em relação ao mundo real. (p. 19) línguas naturais CP: diferenças sintáticas: outros tipos de expressão além de constantes, variáveis e predicados diferenças semânticas: outras estruturas de modelos além de indiíduos e conjuntos 9

10 `Necessariamente, F ' é verdadeira se e somente se, em todo mundo possível, F for verdadeira. (p. 20) nova estrutura de modelos: indivíduos (E), valores de verdade ({0, 1}) e, agora, mundos possíveis (P ) É possível que esteja chovendo em Pequim é verdadeira só no caso de, em algum mundo possível, ser realmente verdade nesse mundo que está chovendo em Pequim. (p. 21) um mundo possível não é assim tão misterioso. É simplesmente uma maneira de pensar sobre outras formas que o mundo poderia ter, diferentemente do que ele é na realidade. (p. 21) 10

11 suponham que estou vendo aqui alguém cujo nome é Maria e digo `Maria pode falar português'. Talvez nesse exato momento Maria esteja dormindo ou lendo um livro ou falando com alguém em uma outra língua, quem sabe o chinês. O que eu estaria dizendo de acordo com essa maneira de explicar modalidade, de explicar idéias modais como pode e deve e precisa e assim por diante, seria mais ou menos como dizer: `Maria pode falar português' é verdadeira se há algum mundo possível no qual Maria de fato fale português ou esteja falando português naquele momento. (p. 21) 11

12 O que signica dizer `João não deveria caminhar no parque' nesse mundo? O que estou dizendo sugere que a resposta está numa reexão sobre outros mundos possíveis. A sentença 5 é verdadeira se, em todos os `mundos do dever' (todos os mundos que deveriam existir), João não caminha no parque. Na verdade, talvez João esteja caminhando no parque. Gostaríamos de dizer, bom, é verdade que João está caminhando no parque, mas em algum outro tipo de circunstância, mais explicitamente, o tipo de circunstância que deveria existir, João não está caminhando no parque; portanto, estes mundos possíveis estão relacionados à compreensão de estados alternativos que as coisas poderiam assumir. E isto é tudo o que a expressão mundos possíveis signica. (p. 21) 12

13 Nós dizemos que `Maria caminhou no parque' é verdadeira em um certo mundo se há um mundo anterior um mundo que está ordenado anteriormente em relação ao mundo presente e neste mundo anterior, `Maria caminha no parque' é verdadeira. (p. 22) A sentença 12 vai ser verdadeira em um certo tempo t, se e somente se houver um outro tempo posterior t, no qual a sentença 13 é verdadeira. O que signica posterior? Signica que t é um tempo depois de agora. (p. 22) 12. Maria vai caminhar no parque. 13. Maria caminha no parque. 13

14 nossa estrutura de modelos contém não só um conjunto de mundos possíveis, mas também um conjunto de tempos com algum tipo de ordenamento para eles. (p. 22) nova estrutura de modelos: M 2 = E: um conjunto de indivíduos (p. 23) P : T : um conjunto de mundos possíveis um conjunto de tempos, numa relação R de ordenamento entre eles {1, 0}: o conjunto de valores de verdade tempo: instantes sem dimensão ou intervalos densos? 14

15 A relação R é o que se chama de ordenamento simples; isto é, um ordenamento que é transitivo, reexivo e anti-simétrico (p. 24) transitivo: se t acontece antes de t e t acontece antes de t, então t acontece antes de t ; reexivo: todo tempo t acontece antes de (ou simultaneamente a) si mesmo; anti-simétrico: se t acontece antes de t e vice-versa, então t e t são iguais. (Escrevi `antes de' porque precisamos imaginar que isto signique, na verdade, `antes de ou simultaneamente a' como a notação de Montague sugere.) (p. 24) muitas vezes notado como (ou, mais simplesmente, como ) 15

16 transitividade do tempo: se t 1 t 2 e t 2 t 3, então t 1 t 3 t 1 t 2 t 3 ou t 1, t 2 t 3 ou t 1 t 2, t 3 reexividade do tempo: para todo t, t t t não acontece: t anti-simetria do tempo: se t 1 t 2 e t 2 t 1, então t 1 = t 2 não acontece: t 1 t 2 e t 1, t 2 16

17 mundos possíveis: apresentados sem restrições entre eles (p. 24) mas é possível estabelecer relações de acessibilidade entre os mundos possíveis para lidar com lógicas modais denônticas e epistêmicas, por exemplo (p. 24) epistêmica: *eu sei que p, mas eu não sei que eu sei que p (reexivo) volitiva: eu quero que p, mas eu não quero querer que p (não reexivo) p p p p ou p 17

18 Vocês não podem fazer isso (p. 24) vagueza modal: trissecção de ângulo (com régua e compasso): impossibilidade matemática construção de máquina de movimento perpétuo: impossibilidade física aprender uma nova língua em uma semana: impossibilidade cognitiva (epistêmica) tratar desrespeitosamente uma pessoa de idade: impossibilidade moral (deôntica) identidade intermundos: Se Cecília Meireles tivesse nascido homem, ela provelmente não teria sido um poeta tão importante uso de ela, apesar de ter virado homem neste outro mundo (p. 24) mesmos indivíduos em diferentes mundos possíveis (Kripke) contrapartes dos indivíduos em diferentes mundos (Lewis) 18

19 contexto criador-de-mundo, além do condicional (p. 24): sonho imaginação desejo tentativa Se eu fosse dois, eu seria muito mais feliz: uma coisa que são duas?! (p. 25) tempos e mundos independentes (p. 25) problema da sincronia entre os mundos (p. 25) (questão da independência entre mundos e suas propriedades (descritas pela função de interpretação)) uso das línguas naturais para desenvolver teorias (p. 25) (e para contar estórias de cção) 19

Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 o que é signicado? semântica de teoria de modelos muitos avanços recentes A tarefa primordial das teorias

Leia mais

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 crença de que a estrutura lógica das línguas naturais não é igual à das línguas articiais da lógica:

Leia mais

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Signicado e verdade condições para verdadeiro ou falso: Como um argumento é (intuitivamente) válido se não é possível

Leia mais

Interpretação Formal do Discurso Ficcional e Performatividade. Luiz Arthur Pagani (UFPR)

Interpretação Formal do Discurso Ficcional e Performatividade. Luiz Arthur Pagani (UFPR) Interpretação Formal do Discurso Ficcional e Performatividade Luiz Arthur Pagani (UFPR) 1 1 Apresentação Lógica Modal a partir do nal dos anos 50: semântica de mundos possíveis (Kripke) Mundo possível

Leia mais

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens linguagem: sistema de símbolos que serve como meio de comunicação (p. 31) articial natural: isso não se restringe

Leia mais

Conjuntos, cap. 4 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Conjuntos, cap. 4 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Conjuntos, cap. 4 de Introdução à Lógica (Mortari 00) Luiz Arthur Pagani Caracterização de conjuntos conjunto coleção de objetos: A idéia básica é de que conjuntos são coleções de objetos. (Outros termos

Leia mais

Gramática de Montague

Gramática de Montague Gramática de Montague Apresentação Inicial Luiz Arthur Pagani 1 There is in my opinion no important theoretical dierence between natural languages and the articial languages of logicians; indeed I consider

Leia mais

FLL5072 Semântica Intensional Aula 5-6

FLL5072 Semântica Intensional Aula 5-6 FLL5072 Semântica Intensional Aula 5-6 Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 05/10/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 05/10/2017 1 / 12 Verbos Modais

Leia mais

Aulas Informais sobre Semântica Formal

Aulas Informais sobre Semântica Formal Emmon Bach Aulas Informais sobre Semântica Formal Traduzido por Cláudio Corrêa e Castro Gonçalves Luiz Arthur Pagani Luisandro Mendes de Souza Contents Prefácio iii 1 Fundamentos e Começo 1 2 Mundos Sucientes

Leia mais

Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987)

Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Exercício 1 Determine se as expressões abaixo são ou não fórmulas do CP de acordo com a sintaxe apresentada

Leia mais

Elementos de Lógica Matemática p. 1/2

Elementos de Lógica Matemática p. 1/2 Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ

Leia mais

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

FLL5072 Semântica Intensional Aula 7(8)

FLL5072 Semântica Intensional Aula 7(8) FLL5072 Semântica Intensional Aula 7(8) Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 26/10/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 26/10/2017 1 / 15 Condicionais

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto

Leia mais

Semântica e Gramática Gerativa Aula 1

Semântica e Gramática Gerativa Aula 1 Semântica e Gramática Gerativa Aula 1 ferreira10@gmail.com USP, 15 de Agosto de 2012 Significado, Verdade e Mundo (1) Está chovendo em Paris. Que tipo de conhecimento se espera de uma pessoa que sabe o

Leia mais

Os Fundamentos: Lógica de Predicados

Os Fundamentos: Lógica de Predicados Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01

Leia mais

Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010

Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação

Leia mais

Sistemas Inteligentes

Sistemas Inteligentes Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.

Leia mais

FLL5072 Semântica Intensional Aula 10(11)

FLL5072 Semântica Intensional Aula 10(11) FLL5072 Semântica Intensional Aula 10(11) Marcelo Barra Ferreira Departamento de Linguística Universidade de São Paulo 23/11/2017 Marcelo Barra Ferreira (DL-USP) Semântica Intensional 23/11/2017 1 / 16

Leia mais

Notas sobre Relações

Notas sobre Relações 1 / 1 Notas sobre Relações Fonte: livro de Kenneth Rosen (ref. completa na página) Centro de Informática Universidade Federal de Pernambuco CIn-UFPE 2 / 1 Seja S um conjunto de pessoas. Digamos que queremos

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A

Leia mais

Limite de uma função quando a variável independente tende a um número real a

Limite de uma função quando a variável independente tende a um número real a Limite de uma função quando a variável independente tende a um número real a Santos Alberto Enriquez Remigio Março de 2018 Notação Seja y = f (x) a regra de correspondência da função f, então: 1. x tende

Leia mais

Geometria Analítica. Cleide Martins. Turmas E1 e E3. DMat - UFPE Cleide Martins (DMat - UFPE ) VETORES Turmas E1 e E3 1 / 22

Geometria Analítica. Cleide Martins. Turmas E1 e E3. DMat - UFPE Cleide Martins (DMat - UFPE ) VETORES Turmas E1 e E3 1 / 22 Geometria Analítica Cleide Martins DMat - UFPE - 2017.1 Turmas E1 e E3 Cleide Martins (DMat - UFPE - 2017.1) VETORES Turmas E1 e E3 1 / 22 Objetivos 1 Entender a denição de VETOR 2 Aprender a somar dois

Leia mais

Probabilidade combinatória

Probabilidade combinatória Capítulo 5 Probabilidade combinatória 51 Eventos e probabilidades A teoria da probabilidade é uma das áreas mais importantes da matemática do ponto de vista de aplicações Neste livro, não tentamos introduzir

Leia mais

Língua Falada e Língua Escrita

Língua Falada e Língua Escrita Língua Falada e Língua Escrita Língua Falada é a linguagem que usamos para nos comunicar, pronunciada pela boca, muitas vezes de modo informal, sem muitas regras e com algumas gírias; muito diferente da

Leia mais

O criador de ilusões

O criador de ilusões O criador de ilusões De repente do escuro ficou claro, deu para ver as roupas brancas entre aventais e máscaras e foi preciso chorar, logo uma voz familiar misturada com um cheiro doce e agradável de

Leia mais

Algumas Reexões. Na Sala de Aula

Algumas Reexões. Na Sala de Aula Sociedade Brasileira de Matemática Mestrado Prossional em Matemática em Rede Nacional MA11 Números e Funções Reais Unidade 1 Conjuntos Unidade 2 Conjuntos Algumas Reexões Armações Sempre Verdadeiras Em

Leia mais

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Símbolos individuais alfabeto & gramática: para caracterizar uma linguagem formal necessitamos,

Leia mais

Evento: Concurso Público para Provimento de Cargo Técnico-Administrativo em Educação Edital N 144/2016 PARECER

Evento: Concurso Público para Provimento de Cargo Técnico-Administrativo em Educação Edital N 144/2016 PARECER UNIVERSIDADE FEDERAL DO CEARÁ COORDENADORIA DE CONCURSOS CCV Evento: Concurso Público para Provimento de Cargo Técnico-Administrativo em Educação Edital N 144/2016 PARECER A Comissão Examinadora da Prova

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 04 Linguagens Formais humberto@bcc.unifal-mg.edu.br Última aula... Relação da teoria dos conjuntos com LFA; Relação dos grafos com LFA.

Leia mais

LINGUAGENS FORMAIS E AUTÔMATOS

LINGUAGENS FORMAIS E AUTÔMATOS LINGUGENS FORMIS E UTÔMTOS Introdução reve Histórico Em 1936, lan Turing (matemático) propôs a possibilidade de se construir um computador digital através da formalização de um procedimento em tempo finito.

Leia mais

A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens de primeira ordem (Onde se usa linguagem, vou preferir língua; porque o primeiro

Leia mais

Apresenta-se aqui um resumo do segundo capítulo do manual de semântica A CONSERVATIVIDADE DA DENOTAÇÃO DOS DETERMINANTES. Luiz Arthur Pagani *

Apresenta-se aqui um resumo do segundo capítulo do manual de semântica A CONSERVATIVIDADE DA DENOTAÇÃO DOS DETERMINANTES. Luiz Arthur Pagani * A CONSERVATIVIDADE DA DENOTAÇÃO DOS DETERMINANTES Luiz Arthur Pagani * Introdução Apresenta-se aqui um resumo do segundo capítulo do manual de semântica de Chierchia (1997), no qual se discute a denotação

Leia mais

Quando dividimos uma oração em partes para estudar as diferentes funções que as palavras podem desempenhar na oração e entre as orações de um texto, e

Quando dividimos uma oração em partes para estudar as diferentes funções que as palavras podem desempenhar na oração e entre as orações de um texto, e MORFOSSINTAXE Quando analisamos a que classe gramatical pertencem as palavras de determinada frase, estamos realizando sua análise morfológica. A morfologia é a parte da gramática que estuda a classificação,

Leia mais

FLL5072 Semântica Intensional Aula 9(10)

FLL5072 Semântica Intensional Aula 9(10) FLL5072 Semântica Intensional Aula 9(10) Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 9/11/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 9/11/2017 1 / 25 Presente, Pretérito,

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

A Ideia de Continuidade. Quando dizemos que um processo funciona de forma contínua, estamos dizendo que ele ocorre sem interrupção.

A Ideia de Continuidade. Quando dizemos que um processo funciona de forma contínua, estamos dizendo que ele ocorre sem interrupção. Polos Olímpicos de Treinamento Curso de Álgebra - Nível 2 Prof. Marcelo Mendes Aula 5 A Ideia de Continuidade Quando dizemos que um processo funciona de forma contínua, estamos dizendo que ele ocorre sem

Leia mais

É uma sequência lógica de ações, um passo a passo, para atingir determinado objetivo.

É uma sequência lógica de ações, um passo a passo, para atingir determinado objetivo. Computação I Introdução Olá pessoal, eu sou o Edivaldo e aqui vou tentar ensinar de um jeito resumido e descomplicado as noções iniciais do curso de Programação da UFRJ, que é ministrado na linguagem de

Leia mais

Pressuposição Antecedentes históricos

Pressuposição Antecedentes históricos A suposta natureza pressuposicional dos performativos Pressuposição Antecedentes históricos Luiz Arthur Pagani 1 1 Frege sentido sem referência (acomodação) [1, p. 137]: A sentença Ulisses profundamente

Leia mais

PREDICADOS COMPLEXOS. KRAUSE, Andressa Harms¹; CARDOSO, Paula Fernanda Eick 2

PREDICADOS COMPLEXOS. KRAUSE, Andressa Harms¹; CARDOSO, Paula Fernanda Eick 2 PREDICADOS COMPLEXOS KRAUSE, Andressa Harms¹; CARDOSO, Paula Fernanda Eick 2 ¹Acadêmica do Curso de Letras Português e Francês e Respectivas Literaturas da UFPel; andressahkrause@hotmail.com ³Doutora em

Leia mais

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa.

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa. DR. SIMON G. CHIOSSI @ GMA / UFF MB V 1 0/02/2016 NOME LEGÍVEL: Matemática Básica Prova V 1 turma A1 0 / 02 / 2016 MATRÍCULA: EXERCÍCIOS OBRIGATÓRIOS (1) Sejam P(x) o predicado x 2 = x e Q(x) o predicado

Leia mais

Limite de uma função quando a variável independente tende a um número real a

Limite de uma função quando a variável independente tende a um número real a Limite de uma função quando a variável independente tende a um número real a Santos Alberto Enriquez Remigio 10 de abril de 2018 Notação Seja f uma função e y = f (x) sua regra de correspondência, então:

Leia mais

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR)

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR) Gramática Categorial Conectivo Luiz Arthur Pagani (UFPR) 1 1 Motivação Pedro bateu em sua mulher e José fez o mesmo três interpretações: 1. Pedro e José bateram na mulher de Pedro 2. Pedro e José bateram,

Leia mais

Introdução à Lógica Proposicional Sintaxe

Introdução à Lógica Proposicional Sintaxe Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo

Leia mais

Modalidade e Metafisica

Modalidade e Metafisica Modalidade e Metafisica November 19, 2012 Segue-se um resumo/adaptação/explicação da introdução de Michael J. Loux ao livro The Possible and the Actual. 1 Cepticismo sobre a modalidade David Hume: rejeitava

Leia mais

FUNÇÕES SINTÁTICAS NA ORAÇÃO FUNDAMENTOS DE SINTAXE APOIO PEDAGÓGICO 11/05/2018 SAULO SANTOS

FUNÇÕES SINTÁTICAS NA ORAÇÃO FUNDAMENTOS DE SINTAXE APOIO PEDAGÓGICO 11/05/2018 SAULO SANTOS FUNÇÕES SINTÁTICAS NA ORAÇÃO FUNDAMENTOS DE SINTAXE APOIO PEDAGÓGICO 11/05/2018 SAULO SANTOS PROGRAMA DA AULA 1. Definição formal das funções 2. A hierarquia dos constituintes 3. Predicado e Núcleo do

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da

Leia mais

Lista de Exercícios 8: Soluções Relações

Lista de Exercícios 8: Soluções Relações UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 8: Soluções Relações Ciências Exatas & Engenharias 2 o Semestre de 2016 Definição 1 [Composição de relações]. Seja R uma relação do conjunto

Leia mais

Funções I. Alan Anderson. 1 Denição, Intuição e Primeiro Exemplo

Funções I. Alan Anderson. 1 Denição, Intuição e Primeiro Exemplo Funções I Alan Anderson 30 de maio de 2016 1 Denição, Intuição e Primeiro Exemplo Começaremos com dois conjuntos não-vazios A e B. Intuitivamente, uma função f : A B é uma relação entre conjuntos de A

Leia mais

AS LÍNGUAS DE CABO VERDE

AS LÍNGUAS DE CABO VERDE UNIVERSIDADE DE LISBOA FACULDADE DE LETRAS DEPARTAMENTO DE LINGUÍSTICA GERAL E ROMÂNICA AS LÍNGUAS DE CABO VERDE UMA RADIOGRAFIA SOCIOLINGUÍSTICA Anexo 6: Guião de Entrevista Tese orientada pela Prof.

Leia mais

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos MAT 1351 Cálculo para funções uma variável real I Curso noturno de Licenciatura em Matemática 1 semestre de 2016 Docente: Prof. Dr. Pierluigi Benevieri Resumo das aulas dos dias 4 e 11 de abril e exercícios

Leia mais

Na aula passada... Introdução à lógica Resolver problemas do code.org Dúvidas? Pergunta: Quem consegue explicar o que fizemos?

Na aula passada... Introdução à lógica Resolver problemas do code.org Dúvidas? Pergunta: Quem consegue explicar o que fizemos? Aula 2 - Lógica Avisos Facebook: Curtam a página no facebook: facebook.com/pet.codifique Grupo para os alunos do curso Dúvidas: Não deixem dúvidas passar Procurem os professores (pessoalmente, pelo facebook,

Leia mais

O limite de uma função

O limite de uma função Universidade de Brasília Departamento de Matemática Cálculo 1 O ite de uma função Se s(t) denota a posição de um carro no instante t > 0, então a velocidade instantânea v(t) pode ser obtida calculando-se

Leia mais

Apostila organizada por: Vanderlane Andrade Florindo Silvia Cristina Freitas Batista Carmem Lúcia Vieira Rodrigues Azevedo

Apostila organizada por: Vanderlane Andrade Florindo Silvia Cristina Freitas Batista Carmem Lúcia Vieira Rodrigues Azevedo Instituto Federal Fluminense Campus Campos Centro Programa Tecnologia Comunicação Educação (PTCE) Com esta apostila espera-se levar o aluno a: Apostila organizada por: Vanderlane Andrade Florindo Silvia

Leia mais

Mercados de Emparelhamento

Mercados de Emparelhamento Mercados de Emparelhamento Redes Sociais e Econômicas Prof. André Vignatti Mercados de Emparelhamento Mercados - interação econômica entre pessoas numa rede estruturada Mercados de Emparelhamento modelam:

Leia mais

FLL5072 Semântica Intensional Aula 4

FLL5072 Semântica Intensional Aula 4 FLL5072 Semântica Intensional Aula 4 Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 14/09/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 14/09/2017 1 / 20 Na Aula Passada

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

Leia mais

Painel 1 : LUZ PAZ CONHECIMENTO

Painel 1 : LUZ PAZ CONHECIMENTO Painel 1 : PAZ LUZ CONHECIMENTO LUZ LUZ QUENTE, LUZ FRIA VISÍVEL E INVISÍVEL COLORIDA, INCOLOR QUE INSPIRA E ILUMINA QUE DÁ VIDA E FAZ VIVER Querem uma Luz Melhor que a do Sol! AH! QUEREM uma luz melhor

Leia mais

FLL5072 Semântica Intensional Aula 2

FLL5072 Semântica Intensional Aula 2 FLL5072 Semântica Intensional Aula 2 Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 24/08/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 24/08/2017 1 / 23 Deslocamento Temporal

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula / 1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de

Leia mais

INF1009.3WB: Lógica para computação

INF1009.3WB: Lógica para computação INF1009.3WB: Lógica para computação Aula 13: A sintaxe da lógica de primeira ordem (cont.) Cecília Englander Guilherme F. Lima Edward Hermann Lab. TecMF, Dep. Informática, PUC-Rio 2017.2 INF1009.3WB: Lógica

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 07 Agentes Lógicos Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou

Leia mais

Material Teórico - Módulo de Função Exponencial. Primeiro Ano - Médio. Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M.

Material Teórico - Módulo de Função Exponencial. Primeiro Ano - Médio. Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Material Teórico - Módulo de Função Exponencial Gráfico da Função Exponencial Primeiro Ano - Médio Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto 0 de dezembro de 018 1 Funções convexas

Leia mais

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

APLICAÇÕES IMAGEM DIRETA - IMAGEM INVERSA. Professora: Elisandra Bär de Figueiredo

APLICAÇÕES IMAGEM DIRETA - IMAGEM INVERSA. Professora: Elisandra Bär de Figueiredo Professora: Elisandra Bär de Figueiredo APLICAÇÕES DEFINIÇÃO 1 Seja f uma relação de E em F. Dizemos que f é uma aplicação de E em F se (i) D(f) = E; (ii) dado a D(f), existe um único b F tal que (a, b)

Leia mais

PROJETO KALI MATEMÁTICA B AULA 1

PROJETO KALI MATEMÁTICA B AULA 1 PROJETO KALI - 2015 MATEMÁTICA B AULA 1 Introdução Estudar e entender Matemática exige do aluno um esforço contínuo. Os conteúdos mais básicos são usados no aprendizado dos mais complexos e o raciocínio

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

INE Fundamentos de Matemática Discreta para a Computação

INE Fundamentos de Matemática Discreta para a Computação INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de

Leia mais

MAT001 Cálculo Diferencial e Integral I

MAT001 Cálculo Diferencial e Integral I 1 MAT001 Cálculo Diferencial e Integral I GEOMETRIA ANALÍTICA Coordenadas de pontos no plano cartesiano Distâncias entre pontos Sejam e dois pontos no plano cartesiano A distância entre e é dada pela expressão

Leia mais

Vetores. Laura Goulart. 21 de Julho de 2018 UESB. Laura Goulart (UESB) Vetores 21 de Julho de / 1

Vetores. Laura Goulart. 21 de Julho de 2018 UESB. Laura Goulart (UESB) Vetores 21 de Julho de / 1 Vetores Laura Goulart UESB 21 de Julho de 2018 Laura Goulart (UESB) Vetores 21 de Julho de 2018 1 / 1 Introdução Muitas grandezas físicas como força para serem completamente identicadas precisam de comprimento,

Leia mais

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

Leia mais

Critérios Específicos de Avaliação. PORTUGUÊS ENSINO BÁSICO (7.º Ano) 2016/2017

Critérios Específicos de Avaliação. PORTUGUÊS ENSINO BÁSICO (7.º Ano) 2016/2017 Critérios Específicos de Avaliação PORTUGUÊS ENSINO BÁSICO (7.º Ano) 2016/2017 Domínio de Avaliação Saber e Saber Fazer Instrumentos de Avaliação. Atividades de planeamento de produções orais: grelhas

Leia mais

Reference to English Interconnections Lesson Changes at School p. 14 Social Studies Standard(s): Standard 1, Objective 1

Reference to English Interconnections Lesson Changes at School p. 14 Social Studies Standard(s): Standard 1, Objective 1 1ª Série Lição: As mudanças na escola - Igual e diferente Reference to English Interconnections Lesson Changes at School p. 14 Social Studies Standard(s): Standard 1, Objective 1 Objetivo(s) do Conteúdo

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:

Leia mais

PIBID 2015/FSV-UNIBR: iniciação à docência com qualidade e (re)significação das práticas pedagógicas. Caderno de Atividades LÍNGUA PORTUGUESA.

PIBID 2015/FSV-UNIBR: iniciação à docência com qualidade e (re)significação das práticas pedagógicas. Caderno de Atividades LÍNGUA PORTUGUESA. PIBID 2015/FSV-UNIBR: iniciação à docência com qualidade e (re)significação das práticas pedagógicas Caderno de Atividades LÍNGUA PORTUGUESA 9º ano Jeniffer Prieto Mathias Palinkas Subprojeto - Letras

Leia mais

Universidade Federal de Pelotas. Instituto de Física e Matemática Pró-reitoria de Ensino. Módulo de Limites. Aula 01. Projeto GAMA

Universidade Federal de Pelotas. Instituto de Física e Matemática Pró-reitoria de Ensino. Módulo de Limites. Aula 01. Projeto GAMA Universidade Federal de Pelotas Instituto de Física e Matemática Pró-reitoria de Ensino Atividades de Reforço em Cálculo Módulo de Limites Aula 0 208/ Projeto GAMA Grupo de Apoio em Matemática Ideia Intuitiva

Leia mais

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação) Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação

Leia mais

Campos dos Goytacazes/RJ Maio 2015

Campos dos Goytacazes/RJ Maio 2015 Instituto Federal Fluminense Campus Campos Centro Programa Tecnologia Comunicação Educação (PTCE) Apostila organizada por: Vanderlane Andrade Florindo Silvia Cristina Freitas Batista Carmem Lúcia Vieira

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

ESTRUTURAS DE REPETIÇÃO - PARTE 1

ESTRUTURAS DE REPETIÇÃO - PARTE 1 AULA 15 ESTRUTURAS DE REPETIÇÃO - PARTE 1 15.1 O comando enquanto-faca- Considere o problema de escrever um algoritmo para ler um número inteiro positivo, n, e escrever todos os números inteiros de 1 a

Leia mais

E-Learning: ou porque vim de Lisboa a Leiria fazer uma conferência

E-Learning: ou porque vim de Lisboa a Leiria fazer uma conferência E-Learning: ou porque vim de Lisboa a Leiria fazer uma conferência DAVID RODRIGUES PRESIDENTE DA PRÓ INCLUSÃO /ANDEE CONSELHEIRO NACIONAL DE EDUCAÇÃO. Modelar como estratégia para compreender. Andar de

Leia mais

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ. Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem

Leia mais

Linguagens de Domínio Específico

Linguagens de Domínio Específico Linguagens de Domínio Específico Fabio Mascarenhas 2016.1 http://www.dcc.ufrj.br/~fabiom/dsl Processamento de uma DSL Análise sintática A análise sintática quebra o texto de um programa na sua estrutura

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício

Leia mais

VETORES Motivação AULA 19

VETORES Motivação AULA 19 AULA 19 VETORES 19.1 Motivação Considere o problema de calcular a média aritmética das notas de 5 alunos de uma disciplina e determinar e escrever o número de alunos que obtiveram nota superior à média

Leia mais

Modelagem e Projeto de Banco de Dados I. Modelo Entidade-Relacionamento Parte IV

Modelagem e Projeto de Banco de Dados I. Modelo Entidade-Relacionamento Parte IV Modelagem e Projeto de Banco de Dados I Modelo Entidade-Relacionamento Parte IV Sumário 1 Introdução 2 Embasamento 3 Entidade 4 Atributo 5 Relacionamento 6 Conclusão 5.3 Caracterização dos Relacionamento

Leia mais

Técnicas de Programação

Técnicas de Programação Técnicas de Programação Algoritmos Anderson Gomes Eleutério Lógica A lógica de programação é necessária para pessoas que desejam trabalhar com desenvolvimento de sistemas e programas, ela permite definir

Leia mais

Calculo - Aula 1. Artur Soares

Calculo - Aula 1. Artur Soares Calculo - Aula 1 Artur Soares Irei resumir este curso em uma palavra: Praticidade. Iremos abordar tal assunto de forma que o aluno saia deste curso sabendo aplicar cálculo a uma questão e entender o que

Leia mais

Conteúdos para Reorientação - 8º ano

Conteúdos para Reorientação - 8º ano Conteúdos para Reorientação - 8º ano Língua Portuguesa Rosa 05/12/2016 1. Leitura e interpretação de textos. 2. Transitividade verbal. 3. Objeto direto e indireto. 4. Aposto e Vocativo. 5. Orações Subordinadas

Leia mais

MAC425/5739 Inteligência Artificial 6. Agentes lógicos

MAC425/5739 Inteligência Artificial 6. Agentes lógicos MAC425/5739 Inteligência Artificial 6. Agentes lógicos Denis Deratani Mauá (largamente baseado no material de aula dos Profs. Edileri de Lima e Leliane de Barros) REPRESENTAÇÃO DE CONHECIMENTO Busca (cega,

Leia mais

filosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34.

filosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34. Introdução Na Idade Média, a lógica foi concebida como a ciência da razão (scientia rationalis) ou como a ciência do discurso (scientia sermocinalis). Em geral, a primeira concepção distingue-se por identificar

Leia mais

Linguagens de Domínio Específico

Linguagens de Domínio Específico Linguagens de Domínio Específico Fabio Mascarenhas 2016.1 http://www.dcc.ufrj.br/~fabiom/dsl Processamento de uma DSL Erros Uma falha em um parser de combinadores tem dois significados: A alternativa que

Leia mais

Fundação CECIERJ/Consórcio CEDERJ Formação Continuada em Matemática Tarefa 2: Plano de Trabalho

Fundação CECIERJ/Consórcio CEDERJ Formação Continuada em Matemática Tarefa 2: Plano de Trabalho Fundação CECIERJ/Consórcio CEDERJ Formação Continuada em Matemática Tarefa 2: Plano de Trabalho Matemática 1 Ano - 4º Bimestre/2014 Trigonometria na circunferência Cursista: Soraya de Oliveira Coelho Tutor:

Leia mais

Aulas 10 e 11 / 18 e 20 de abril

Aulas 10 e 11 / 18 e 20 de abril 1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar

Leia mais

COMO LER NOTAÇÃO LÓGICA

COMO LER NOTAÇÃO LÓGICA COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque

Leia mais