Lógica de Primeira Ordem -2. Tautologias e quantificação
|
|
- Júlia Martinho Caiado
- 8 Há anos
- Visualizações:
Transcrição
1 Lógica de Primeira Ordem -2 Lógica dos Quantificadores Múltiplos Quantificadores Tradução Referência: Language, Proof and Logic Jon Barwise e John Etchemendy, 1999 Capítulos: 10, 11 1 Tautologias e quantificação Tautologia, consequência tautológica e equivalência tautológica- rever noções para frases com quantificadores x (Cube(x) Small(x)) x Cube(x) x Small(x) x Cube(x) x Small(x) x (Cube(x) Small(x)) Argumentos válidos Validade independente dos quantificadores presentes? Lógica de Primeira Ordem-2 Cristina Ribeiro/ Gabriel David LPO 2-1
2 Tautologias e quantificação x (Cube(x) Small(x)) x Cube(x) x Small(x) Validade dos argumentos depende dos quantificadores presentes x Cube(x) x Small(x) x (Cube(x) Small(x)) x Cube(x) x Cube(x) x Cube(x) x Cube(x) x Cube(x) x Cube(x) é verdade lógica não é verdade lógica étautologia não são tautologias Lógica de Primeira Ordem-3 Tautologias e substituição Tautologia- substituindo uma frase atómica por uma frase arbitrária, continua a ser uma tautologia Exemplo (A B) ( B A) é tautologia ( y (P(y) R(y)) x (P(x) Q(x))) ( x (P(x) Q(x)) y (P(y) R(y))) étautologia A mesma frase poderia ter sido obtida por substituição em A B ou em (A B) C que não são tautologias Como saber se uma frase arbitrária pode ser obtida por substituição a partir de uma tautologia? Lógica de Primeira Ordem-4 Cristina Ribeiro/ Gabriel David LPO 2-2
3 Forma funcional e tautologia Para frase arbitrária: pode determinar-se sistematicamente uma forma funcional, em que as partes quantificadas são substituídas por símbolos Algoritmo - progredir da esquerda para a direita na frase - ao encontrar uma frase atómica, substituí-la por uma letra - ao encontrar um quantificador, identificar a frase a que se aplica e substituí-la por uma letra - nas substituições, usar a mesma letra para frases iguais Frase de 1ª ordem é tautologia se a sua forma funcional o é Fitch: Taut Con usa a forma funcional para testar se frase é tautologia ou consequência tautológica de outras Lógica de Primeira Ordem-5 Verdade, consequência e equivalência Argumento válido: a conclusão é verdadeira em todas as circunstâncias possíveis em que as premissas o forem Na lógica proposicional: tabelas de verdade capturam a noção de circunstâncias possíveis e significado das conectivas Em 1ª ordem: necessário atender às conectivas, aos quantificadores e ao símbolo de igualdade Proposicional Tautologia Consequência Tautológica Equivalência tautológica 1ª Ordem Validade FO Consequência FO Equivalência FO Conceito geral Verdade lógica Consequência Lógica Equivalência Lógica Lógica de Primeira Ordem-6 Cristina Ribeiro/ Gabriel David LPO 2-3
4 Verdade, consequência e equivalência Validade FO, Consequência FO e Equivalência FO Verdades lógicas, consequências lógicas e equivalências lógicas que se verificam devido ao significado das conectivas funcionais, dos quantificadores e do símbolo de identidade Inclusão da identidade quase todas as linguagens a incluem é essencial na tradução de frases de linguagem natural Validade FO Verdade lógica que não depende do significado dos predicados, para além da identidade 1. x SameSize(x, x) 2. x Cube(x) Cube(b) 3. (Cube(b) b=c) Cube(c) 4. (Small(b) SameSize(b, c) Small(c) Todas são verdade lógicas Só 2 e 3 são válidas FO Como se reconhece: substituindo predicados por nomes sem significado Lógica de Primeira Ordem-7 Consequência FO Consequência FO Consequência lógica que não depende do significado dos predicados, para além da identidade x (Tet(x) Large(x)) Large(b) Tet(b) Provar não consequência FO Elaborar contra-exemplo de 1ª ordem x Larger(x,a) x P(x,a) x Larger(b, x) x P(b, x) Larger(c,d) P(c,d) Larger(a,b) P(a,b) x (P(x) Q(x)) Q(b) P(b) Interpretação: P é Gosta c e d gostam um do outro a e b não gostam de ninguém e ninguém gosta deles Lógica de Primeira Ordem-8 Cristina Ribeiro/ Gabriel David LPO 2-4
5 Testar Validade e Consequência FO Método de substituição 1. Substituir todos os símbolos de predicado para além da identidade, bem como todos os símbolos de função, por símbolos sem significado 2. Para testar validade FO da frase S descrever uma situação, com intrepretação dos nomes, predicados e funções, em que S seja falsa 3. Para verificar se S é uma consequência FO de P1,, Pn tentar encontrar uma situação, com interpretação dos nomes, predicados e funções, em que S seja falsa com P1,, Pn verdadeiros; se não existe tal situação S é uma consequência FO de P1,, Pn Fitch: FO Con testa se frase é consequência FO de outras Lógica de Primeira Ordem-9 Tautologia, Validade FO e Verdade Verdades lógicas Válidas FO Tautologias Tet(a) Tet(a) x Cube(x) Cube(a) x LeftOf(x,x) Toda a tautologia é válida FO Todoa a frase válida FO é verdade lógica Lógica de Primeira Ordem-10 Cristina Ribeiro/ Gabriel David LPO 2-5
6 Equivalências FO Equivalência lógica de wff s com variáveis livres duas wff s são logicamente equivalentes se as frases resultantes da substituição das suas variáveis livres por nomes são logicamente equivalentes útil para usar equivalências proposicionais dentro de frases de 1ª ordem Generalizar princípio da substituição P e Q são wff s e S(P) é frase que contém P como componente Se P e Q são logicamente equivalentes, P Q também o são S(P) e S(Q): S(P) S(Q) Lógica de Primeira Ordem-11 Equivalências FO x (P(x) Q(x)) x P(x) x Q(x) x (P(x) Q(x)) x P(x) x Q(x) x (P(x) Q(x)) x P(x) x Q(x) x (P(x) Q(x)) x P(x) x Q(x) Há casos em que o quantificador universal pode passar para dentro da disjunção ou o existencial para for a da conjunção: quantificação nula Se x não é livre na wff P, tem-se x P P x P P x (P Q(x)) P x Q(x) x (P Q(x)) P x Q(x) Se x não é livre em P Lógica de Primeira Ordem-12 Cristina Ribeiro/ Gabriel David LPO 2-6
7 Frases com múltiplos quantificadores Várias ocorrências do mesmo quantificador à cabeça y z (Cube(y) Tet(z) LeftOf(y,z)) x y ((Cube(x) Tet(y)) LeftOf(x,y)) Quantificadores como prefixos de subfrases y (Cube(y) z (Tet(z) LeftOf(y,z))) x (Cube(x) y (Tet(y) LeftOf(x,y))) Relação entre variáveis quantificadas Todo o cubo está ou à esquerda ou à direita de qualquer outro cubo x y ((Cube(x) Cube(y)) (LeftOf(x,y) RightOf(x,y))) é afirmação falsa em qualquer mundo com pelo menos 1 cubo: y ((Cube(b) Cube(y)) (LeftOf(b,y) RightOf(b,y))) (Cube(b) Cube(b)) (LeftOf(b,b) RightOf(b,b)) x y ((Cube(x) Cube(y) x y) (LeftOf(x,y) RightOf(x,y))) Lógica de Primeira Ordem-13 Quantificadores misturados x (Cube(x) y (Tet(y) LeftOf(x,y))) Todo o cubo está à esquerda de um tetraedro Outra forma (Prenex): x y (Cube(x) (Tet(y) LeftOf(x,y))) Ordem entre quantificadores iguais: indiferente x y Gosta(x,y) x y Gosta(x,y) y x Gosta(x,y) y x Gosta(x,y) Ordem entre quantificadores diferentes: é importante x y Gosta(x,y) y x Gosta(x,y) Lógica de Primeira Ordem-14 Cristina Ribeiro/ Gabriel David LPO 2-7
8 Tradução passo a passo Problema: frases em LN com várias frases nominais quantificadas Solução: traduzir parcialmente Todo o cubo está à esquerda de um tetraedro Todo o cubo verifica uma propriedade x (Cube(x) x está-à-esquerda-de-um-tetraedro) x está-à-esquerda-de-um-tetraedro: usando x como um nome, dá a frase quantificada y (Tet(y) LeftOf(x,y)) Compondo as duas x (Cube(x) y (Tet(y) LeftOf(x,y))) Lógica de Primeira Ordem-15 Parafrasear LN Tradução passo a passo, usando a estrutura da frase em LN pode induzir traduções que não são frases em LPO Se uma pessoa pratica um desporto radical, então tem de ser corajosa x(pessoa(x) y (Desporto(y) Radical(y) Pratica(x,y))) Corajosa(x) Parafraseando: Toda a pessoa que pratica um desporto radical tem de ser corajosa x((pessoa(x) y (Desporto(y) Radical(y) Pratica(x,y))) Corajosa(x)) Ao traduzir de LN para LPO: objectivo é obter frase com o significado da original pode ser necessário alterar a forma superficial da frase Lógica de Primeira Ordem-16 Cristina Ribeiro/ Gabriel David LPO 2-8
9 Ambiguidade e sensibilidade ao contexto Problemas com a tradução LN -LPO poucos conceitos primitivos na LPO algumas afirmações resultam pouco naturais para resolver fazem-se cicumlóquios LN é ambígua e LPO não necessário escolher entre diversas interpretações e usar o contexto De hora a hora uma pessoa é assaltada na cidade do Porto; vamos agora entrevistá-la... Tradução da 1ª frase x(hora(x) y (Pessoa(y) AssaltadoDurante(y,x))) Tradução revista atendendo à 2ª frase y(pessoa(y) x (Hora(x) AssaltadoDurante(y,x))) Tradução mais natural não é determinada pela forma da frase: De hora a hora alguém da secretaria tem tentado ligar-te; Lógica de Primeira Ordem-17 Tradução com símbolos de função Funções: expressam relação entre objectos Tudo o que se exprime com símbolos funcionais pode ser expresso com símbolos de relação mãe MãeDe Símbolo de função unária Predicado binário mãe(rui) = fernanda MãeDe(fernanda, rui) Com função: x MaisVelha(mãe(x),x) Com predicado: x y(mãede(y, x) MaisVelha(y,x)) só diz que cada pessoa tem pelo menos 1 mãe que é mais velha que o próprio x y(mãede(y, x) MaisVelha(y,x)) só diz que todas as mães de todas as pessoas são mais velhas que elas Lógica de Primeira Ordem-18 Cristina Ribeiro/ Gabriel David LPO 2-9
10 Captar dependência funcional Captar que a relação MãeDe é funcional: cada pessoa tem pelo menos 1mãe, e no máximo 1 mãe x ymãede(y, x) x y z((mãede(y, x) MãeDe(z, x)) y=z) Frase que capta as duas afirmações x y(mãede(y, x) z(mãede(z, x) y=z)) Para exprimir x MaisVelha(mãe(x),x) pelo menos 1 mãe no máximo 1 mãe x y(mãede(y, x) MaisVelha(y,x) z(mãede(z, x)) y=z)) Tudo o que se pode exprimir com um símbolo de função n-ário pode ser expresso com um predicado de aridade n+1 mais o predicado identidade, a expensas da complexidade da frase resultante Lógica de Primeira Ordem-19 Forma Prenex Todo o cubo à esquerda de um tetraedro está atrás de um dodecaedro x[(cube(x) y(tet(y) LeftOf(x,y))) y(dodec(y) BackOf(x,y))] Tradução mais natural tem quantificações dentro de subexpressões Forma normal Prenex Q 1 v 1 Q 2 v 2... Q n v n P Q i : ou v i : variável P : wff sem quantificadores Uso da forma normal: Medida da complexidade da fórmula: número de alternâncias nos quantificadores Demonstração automática de teoremas Lógica de Primeira Ordem-20 Cristina Ribeiro/ Gabriel David LPO 2-10
11 Conversão na forma Prenex x[(cube(x) y(tet(y) LeftOf(x,y))) y(dodec(y) BackOf(x,y))] x y z[(cube(x) Tet(y) LeftOf(x,y)) (Dodec(z) BackOf(x,z))] Não basta puxar os quantificadores para o prefixo y(tet(y) quantificador passa a universal porque está logicamente dentro de um 2 quantificadores para a variável y: necessário renomear xp xq x[p Q] xp xq x [P Q] xp Q x[p Q] se x não é livre em Q xp Q x [P Q] se x não é livre em Q Q xq se x não é livre em Q Q xq se x não é livre em Q Lógica de Primeira Ordem-21 Exemplo x[(c(x) y(t(y) L(x,y))) y(d(y) B(x,y))] x[ (C(x) y(t(y) L(x,y))) y(d(y) B(x,y))] x[ y(c(x) T(y) L(x,y)) y(d(y) B(x,y))] x[ y (C(x) T(y) L(x,y)) y(d(y) B(x,y))] x[ y (C(x) T(y) L(x,y)) z(d(z) B(x,z))] x y[ (C(x) T(y) L(x,y)) z(d(z) B(x,z))] x y[ z (C(x) T(y) L(x,y)) z(d(z) B(x,z))] x y z[ (C(x) T(y) L(x,y)) (D(z) B(x,z))] x y z[ (C(x) T(y) L(x,y)) (D(z) B(x,z))] Substituições inválidas! xp xq x[p Q] xp xq x [P Q] Lógica de Primeira Ordem-22 Cristina Ribeiro/ Gabriel David LPO 2-11
12 Usos dos quantificadores Afirmações numéricas um certo número de objectos verifica uma propriedade Distinção entre objectos Nomes distintos não têm de referir objectos distintos Variáveis distintas não têm de ter domínios diferentes Cube(a) Small(a) Cube(b) x y(cube(x) Small(x) Cube(y)) verdadeiras num mundo com 1 objecto Cube(a) Small(a) Cube(b) Large(b) x y(cube(x) Small(x) Cube(y) LeftOf(x,y)) há 2 objectos distintos x y(cube(x) Small(x) Cube(y) x y) Lógica de Primeira Ordem-23 Cristina Ribeiro/ Gabriel David LPO 2-12
Lógica de Primeira Ordem Quantificadores
Lógica de Primeira Ordem Quantificadores Lógica dos Quantificadores Múltiplos Quantificadores Tradução Referência: Language, Proof and Logic Jon Barwise e John Etchemendy, 1999 Capítulos: 10, 11 1 Tautologias
Leia maisLógica de Primeira Ordem -2
Lógica de Primeira Ordem -2 Lógica dos Quantificadores Múltiplos Quantificadores Tradução Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 10, 11
Leia maisEXERCÍCIOS DE LÓGICA DE 1ª ORDEM
QUANTIFICADORES EXERCÍCIOS DE LÓGICA DE 1ª ORDEM 1 {9.3} Tornar as frases verdadeiras. Abra Bozo s Sentences e Leibniz s World. Algumas das expressões não são wffs, algumas são wffs mas não são frases
Leia maisLógica Computacional
Lógica Computacional Duração: 3h Ano de 2015 / 16 Exame Final Grupos para Avaliar (Todos por Omissão) G1 G2 G3 G4 Nome: nº: 1.1. (5 valores) Considere as seguintes frases (assuma que uma pessoa só tem
Leia maisLógica Computacional
Lógica Computacional Duração: 3h Ano de 2016 / 17 Exame Final Grupos para Avaliar (Todos por Omissão) G1 G2 G3 G4 Nome: nº: Grupo 1 (corresponde ao 1º teste) 1.1. (5 valores) Considere as seguintes frases:
Leia maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional
Leia maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
Leia maisLógica Computacional
Lógica Computacional Duração: 3h Ano de 2014 / 15 Exame Grupos para Avaliar (Todos por Omissão) G1 G2 G3 G4 Nome: nº: 1.1. (5 valores) Considere as seguintes frases (assuma que uma pessoa só tem uma casa)
Leia maisLógica Computacional. Argumentos válidos e sólidos. Métodos de Demonstração. Demonstrações formais. Regras de Inferência Igualdade
Lógica Computacional Argumentos válidos e sólidos Métodos de Demonstração Demonstrações formais Regras de Inferência Igualdade Não-consequências lógicas 6 Março 2013 Lógica Computacional 1 Argumentos Exemplo:
Leia maisLógica Computacional
Lógica Computacional Duração: 3h Ano de 2017 / 18 Exame Final Grupos para Avaliar (Todos por Omissão) G1 G2 G3 G4 Nome: n.º: Grupo 1 (corresponde ao 1.º teste) 1.1. (5 valores) Considere as seguintes frases:
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
Leia mais1) (VALE 2 PONTOS) Esta questão envolve conhecimentos de sintaxe e semântica da lógica proposicional clássica.
Universidade Tecnológica Federal do Paraná Disciplina: Lógica para Computação Professor Adolfo Neto http://www.dainf.ct.utfpr.edu.br/~adolfo Prova Final Data: 08/07/2011 Alun_: IMPORTANTE: AS RESPOSTAS
Leia maisQUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.
LIÇÃO 4 QUANTIFICADORES Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1. (b) x 2 2x + 1 = 0. (c) x é um país. (d) Ele e
Leia maisAULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE
Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases
Leia maisMatemática Discreta para Computação e Informática
Matemática Discreta para Computação e Informática P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Computação e Informática
Leia maisIntrodução ao estudo de equações diferenciais
Matemática (AP) - 2008/09 - Introdução ao estudo de equações diferenciais 77 Introdução ao estudo de equações diferenciais Introdução e de nição de equação diferencial Existe uma grande variedade de situações
Leia maisLógica Proposicional-2
Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6
Leia maisMatemática Discreta - 03
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 03 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisLógica Proposicional-2
Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6
Leia maispor séries de potências
Seção 23: Resolução de equações diferenciais por séries de potências Até este ponto, quando resolvemos equações diferenciais ordinárias, nosso objetivo foi sempre encontrar as soluções expressas por meio
Leia maisLógica de Primeira Ordem -3
Lógica de Primeira Ordem -3 Métodos de Prova com Quantificadores Provas Formais com Quantificadores Formas Especiais de Quantificação Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise
Leia maisLógica Computacional
Lógica Computacional Métodos de Demonstração com Quantificadores Generalização e Instanciação Universal e Particulares Introdução e Eliminação de Quantificadores 30 Outubro 2013 Lógica Computacional 1
Leia mais4 Sistemas de Equações Lineares
Nova School of Business and Economics Apontamentos Álgebra Linear 4 Sistemas de Equações Lineares 1 Definição Rank ou característica de uma matriz ( ) Número máximo de linhas de que formam um conjunto
Leia maisExercícios Teóricos Resolvidos
Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática Exercícios Teóricos Resolvidos O propósito deste texto é tentar mostrar aos alunos várias maneiras de raciocinar
Leia maisInteligência Artificial IA III. PROVA AUTOMÁTICA DE TEOREMAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa III. PROVA AUTOMÁTICA DE TEOREMAS Parte 2 2004 Cláusulas e resolventes!" # $% # IA-2004-III2 slide 2 1 O Sistema Formal da Resolução Uma renomeação
Leia maisRenata de Freitas e Petrucio Viana. IME, UFF 12 de março de 2015
Definições por indução e por recursão Renata de Freitas e Petrucio Viana IME, UFF 12 de março de 2015 Sumário Lógica formal e principais sistemas lógicos Definições indutivas Definições recursivas Exercícios
Leia maisMD Sequências e Indução Matemática 1
Sequências Indução Matemática Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Sequências e Indução Matemática 1 Introdução Uma das tarefas mais importantes
Leia mais1 A Integral por Partes
Métodos de Integração Notas de aula relativas aos dias 14 e 16/01/2004 Já conhecemos as regras de derivação e o Teorema Fundamental do Cálculo. Este diz essencialmente que se f for uma função bem comportada,
Leia maisAula 9 Plano tangente, diferencial e gradiente
MÓDULO 1 AULA 9 Aula 9 Plano tangente, diferencial e gradiente Objetivos Aprender o conceito de plano tangente ao gráfico de uma função diferenciável de duas variáveis. Conhecer a notação clássica para
Leia maisExercícios 1. Determinar x de modo que a matriz
setor 08 080509 080509-SP Aula 35 MATRIZ INVERSA Uma matriz quadrada A de ordem n diz-se invertível, ou não singular, se, e somente se, existir uma matriz que indicamos por A, tal que: A A = A A = I n
Leia maisSistemas de Apoio à Decisão
Sistemas de Apoio à Decisão Processo de tomada de decisões baseia-se em informação toma em consideração objectivos toma em consideração conhecimento sobre o domínio. Modelar o processo de tomada de decisões
Leia maisMatemática Discreta. Provas Anteriores
Matemática Discreta Provas Anteriores 1 Lógica e Prova 1.1 Introdução a Lógica e Tabela Verdade 1. {0, 25 pt} Dê um exemplo de uma sentença que é uma proposição e justifique porque ela é uma proposição.
Leia maisLÓGICA DE PROGRAMAÇÃO PARA ENGENHARIA DISCUSSÃO DOS EXERCÍCIOS E CONSTRUÇÃO DE PROGRAMAS SEQUENCIAIS. Prof. Dr. Daniel Caetano 2012-1
LÓGICA DE PROGRAMAÇÃO PARA ENGENHARIA DISCUSSÃO DOS EXERCÍCIOS E CONSTRUÇÃO DE PROGRAMAS SEQUENCIAIS Prof. Dr. Daniel Caetano 2012-1 Objetivos Apresentar as soluções para os exercícios propostos Exercitar
Leia maisProgramação Orientada a Objetos. Introdução à Análise Orientada a Objetos (AOO)
Programação Orientada a Objetos Introdução à Análise Orientada a Objetos (AOO) Cristiano Lehrer, M.Sc. Processo de Desenvolvimento de Software Um processo de software mostra os vários estágios do desenvolvimento
Leia maisUnidade 3 Função Logarítmica. Definição de logaritmos de um número Propriedades operatórias Mudança de base Logaritmos decimais Função Logarítmica
Unidade 3 Função Logarítmica Definição de aritmos de um número Propriedades operatórias Mudança de base Logaritmos decimais Função Logarítmica Definição de Logaritmo de um número Suponha que certo medicamento,
Leia maisProposições compostas
Proposições compostas Nesta aula iremos rever o que são proposições e aplicar algumas regras que facilitarão o desenvolvimento de aplicações futuras. Negação de uma proposição composta Já sabemos negar
Leia maisDepartamento de Engenharia Informática da Universidade de Coimbra
Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Prática Laboratorial Lógica elementar: programa Boole 1. Abra o Boole e construa a tabela de verdade da proposição
Leia mais7 - Análise de redes Pesquisa Operacional CAPÍTULO 7 ANÁLISE DE REDES. 4 c. Figura 7.1 - Exemplo de um grafo linear.
CAPÍTULO 7 7 ANÁLISE DE REDES 7.1 Conceitos Básicos em Teoria dos Grafos Diversos problemas de programação linear, inclusive os problemas de transporte, podem ser modelados como problemas de fluxo de redes.
Leia maisCapítulo 2. VARIÁVEIS DO TIPO INTEIRO
Capítulo 2. VARIÁVEIS DO TIPO INTEIRO OBJETIVOS DO CAPÍTULO Conceitos de: variáveis do tipo inteiro, atribuição, avisos e erros de compilação, erros de execução, comentários dentro do programa-fonte Operadores
Leia maisINTELIGÊNCIA ARTIFICIAL
INTELIGÊNCIA ARTIFICIAL 1 Ramo da computação que procura permitir uma máquina simular comportamento inteligente, através de algoritmos e técnicas que simulem situações consideradas específicamente humanas,
Leia mais5 - Vetores e Matrizes Linguagem C CAPÍTULO 5 VETORES E MATRIZES
CAPÍTULO 5 5 VETORES E MATRIZES 5.1 Vetores Um vetor armazena uma determinada quantidade de dados de mesmo tipo. Vamos supor o problema de encontrar a média de idade de 4 pessoas. O programa poderia ser:
Leia maisIntrodução. Introdução. Objetivos da Aula. Bases Computacionais da Ciência(BC-0005)
1 Bases Computacionais da Ciência(BC-0005) Lógica de Programação: Estruturas Condicionais Maria das Graças Bruno Marietto graca.marietto@ufabc.edu.br Centro de Matemática, Computação e Cognição(CMCC) Universidade
Leia maisProbabilidades: Função massa de probabilidades ou função distribuição de probabilidade ou modelo de probabilidade:
Exame MACS- Probabilidades Probabilidades: Função massa de probabilidades ou função distribuição de probabilidade ou modelo de probabilidade: Nos modelos de probabilidade: há uma primeira fase em que colocamos
Leia maisFUNÇÃO DE 1º GRAU. = mx + n, sendo m e n números reais. Questão 01 Dadas as funções f de IR em IR, identifique com um X, aquelas que são do 1º grau.
FUNÇÃO DE 1º GRAU Veremos, a partir daqui algumas funções elementares, a primeira delas é a função de 1º grau, que estabelece uma relação de proporcionalidade. Podemos então, definir a função de 1º grau
Leia maisAV1 - MA 12-2012. (b) Se o comprador preferir efetuar o pagamento à vista, qual deverá ser o valor desse pagamento único? 1 1, 02 1 1 0, 788 1 0, 980
Questão 1. Uma venda imobiliária envolve o pagamento de 12 prestações mensais iguais a R$ 10.000,00, a primeira no ato da venda, acrescidas de uma parcela final de R$ 100.000,00, 12 meses após a venda.
Leia mais24/Abril/2013 Aula 19. Equação de Schrödinger. Aplicações: 1º partícula numa caixa de potencial. 22/Abr/2013 Aula 18
/Abr/013 Aula 18 Princípio de Incerteza de Heisenberg. Probabilidade de encontrar uma partícula numa certa região. Posição média de uma partícula. Partícula numa caixa de potencial: funções de onda e níveis
Leia maisA motivação é fundamental
A motivação é fundamental A motivação é fundamental para se dedicar aos estudos. Quando a perdemos, nossa vontade de estudar diminui ou até desaparece. A seguir algumas dicas para manter a motivação para
Leia maisAULA 3 LPL 14.1: Quantificação Numérica
Declarações Numéricas AULA 3 LPL 14.1: Quantificação Numérica Declarações que fazem uso explícito de números. Três Tipos Pelo menos dois livros chegaram esta semana. No máximo dois livros estão faltando
Leia maisEdite - Um sistema de Acesso a Base de Dados em Língua Natural
Edite - Um sistema de Acesso a Base de Dados em Língua Natural Maria Luísa Torres Ribeiro Marques da Silva Coheur (Tese de mestrado defendida em Maio de 1997) 1 Motivação Direcção Geral de Turismo Inventário
Leia maisJavaScript (ou JScript)
1. Introdução JavaScript (ou JScript) Uma linguagem como o JavaScript permite criar interfaces interativas na web (permite a interação do usuário). Para desenvolver web sites interativos precisamos de
Leia maisProgramação em papel quadriculado
4 NOME DA AULA: Programação em papel quadriculado Tempo de aula: 45 60 minutos Tempo de preparação: 10 minutos Objetivo principal: ajudar os alunos a entender como a codificação funciona. RESUMO Ao "programar"
Leia maisMatemática Discreta - 02
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 02 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisCalculando RPM. O s conjuntos formados por polias e correias
A U L A Calculando RPM O problema O s conjuntos formados por polias e correias e os formados por engrenagens são responsáveis pela transmissão da velocidade do motor para a máquina. Geralmente, os motores
Leia maisAlgumas vantagens da Teoria das Descrições Definidas (Russel 1905)
Textos / Seminário de Orientação - 12 de Março de 2005 - Fernando Janeiro Algumas vantagens da Teoria das Descrições Definidas (Russel 1905) Assume-se que o objecto de uma teoria semântica é constituído
Leia maisLógica Computacional
Lógica Computacional Apresentação da Disciplina Introdução Inferência Linguagem Natural e Linguagens de 1ª Ordem Domínios de Aplicação 11 Setembro 2017 Lógica Computacional 1 Introdução à Cadeira Objectivos
Leia maisInstruções para uso do Tarski's World
Universidade Federal de Pernambuco Centro de Informática Instruções para uso do Tarski's World Feito por: Paula Arantes Raposo (par@cin.ufpe.br) Licença de Uso: O conteúdo deste slide, vedado o seu uso
Leia mais1) Eficiência e Equilíbrio Walrasiano: Uma Empresa
1) Eficiência e Equilíbrio Walrasiano: Uma Empresa Suponha que há dois consumidores, Roberto e Tomás, dois bens abóbora (bem 1) e bananas (bem ), e uma empresa. Suponha que a empresa 1 transforme 1 abóbora
Leia maisLista de Exercícios Tratamento de Incerteza baseado em Probabilidade
Lista de Exercícios Tratamento de Incerteza baseado em Probabilidade 1) Explique o termo probabilidade subjetiva no contexto de um agente que raciocina sobre incerteza baseando em probabilidade. 2) Explique
Leia mais- Aulas 57, 58, 59 e 60 - Técnicas de programação. Funções
1 - Aulas 57, 58, 59 e 60 - Técnicas de programação. Funções Um programa pode possuir determinados processos realizados repetidas vezes ao longo da execução do programa. Estes processos podem se agrupar
Leia maisAlgoritmos e Programação Parte Teórica
Universidade Federal do Vale do São Francisco Curso de Engenharia da Produção / Elétrica Algoritmos e Programação Parte Teórica Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti
Leia maisEspecificação do Trabalho
Especificação do Trabalho I. Introdução O objetivo deste trabalho é abordar a prática da programação orientada a objetos usando a linguagem Java envolvendo os conceitos de classe, objeto, associação, ligação,
Leia maisDesenhando perspectiva isométrica
Desenhando perspectiva isométrica A UU L AL A Quando olhamos para um objeto, temos a sensação de profundidade e relevo. As partes que estão mais próximas de nós parecem maiores e as partes mais distantes
Leia mais13 a Aula 2004.10.13 AMIV LEAN, LEC Apontamentos
3 a Aula 2004.0.3 AMIV LEAN, LEC Apontamentos (Ricardo.Coutinho@math.ist.utl.pt) 3. Singularidades isoladas Para na prática podermos aplicar o teorema dos resíduos com eficiência, precisamos de conhecer
Leia maisA TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO.
A TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO. Ac. Denise Carla de Deus (PIBIC/CNPq/UFSJ 2000-2002) Orientadora: Prof. Dra. Marilúze Ferreira Andrade e Silva
Leia maisLógica Linear e Aplicações em Computação
Lógica Linear e Aplicações em Computação Francismario A. Xavier¹, Marco O. Medeiros de Menezes e Oliveira², Michel Santana de Deus², Roberto Buarque de Assunção Filho¹ ¹ Departamento de Informática e Matemática
Leia maisCONCEITOS BÁSICOS PARA A CONSTRUÇÃO DE ALGORITMOS PARA COMPUTADORES. Isac Aguiar isacaguiar.com.br isacaguiar@gmail.com
CONCEITOS BÁSICOS PARA A CONSTRUÇÃO DE ALGORITMOS PARA COMPUTADORES Isac Aguiar isacaguiar.com.br isacaguiar@gmail.com Objetivos Compreender os conceitos de lógica de programação e de algoritmos. Conhecer
Leia maisA MONTAGEM DA EQUAÇÃO PARA DETERMINAÇÃO DO PREÇO DE VENDA
A MONTAGEM DA EQUAÇÃO PARA DETERMINAÇÃO DO PREÇO DE! Como considerar o valor dos impostos no tempo.! A montagem da equação do preço na forma de um fluxo de caixa. Francisco Cavalcante(f_c_a@uol.com.br)
Leia maisPreparação para o Exame Nacional de Biologia e Geologia 2015. 2. Ter um horário rígido (por exemplo das 10 às 20 horas), sempre o mesmo nos dias
I Indicações gerais 1. Ter todo o material organizado e à mão. 2. Ter um horário rígido (por exemplo das 10 às 20 horas), sempre o mesmo nos dias disponíveis para o. 3. Ter um bom plano de. 4. Cumprir
Leia maisLógica Computacional
Aula Teórica 3: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisLista 1 para a P2. Operações com subespaços
Lista 1 para a P2 Observação 1: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós sugerimos
Leia maisResolução da Prova de Raciocínio Lógico do TCE/SP, aplicada em 06/12/2015.
de Raciocínio Lógico do TCE/SP, aplicada em 6/12/215. Raciocínio Lógico p/ TCE-SP Na sequência, criada com um padrão lógico-matemático, (1; 2; 1; 4; 2; 12; 6; 48; 24;...) o quociente entre o 16º termo
Leia maisMatemática Básica - 08. Função Logarítmica
Matemática Básica Função Logarítmica 08 Versão: Provisória 0. Introdução Quando calculamos as equações exponenciais, o método usado consistia em reduzirmos os dois termos da equação à mesma base, como
Leia maisLógica Computacional
Aula Teórica 1: Apresentação António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade Engenharia,
Leia maisResoluções comentadas de Raciocínio Lógico e Estatística SEFAZ - Analista em Finanças Públicas Prova realizada em 04/12/2011 pelo CEPERJ
Resoluções comentadas de Raciocínio Lógico e Estatística SEFAZ - Analista em Finanças Públicas Prova realizada em 04/1/011 pelo CEPERJ 59. O cartão de crédito que João utiliza cobra 10% de juros ao mês,
Leia maisÍNDICE 01 DYNAFLEET. Visão geral... 2 Transferência de dados... 3
ÍNDICE 01 DYNAFLEET Visão geral... 2 Transferência de dados... 3 Assembly date filter: w1527 (2015-06-29). Variant filter on: STWPOS-L,TAS-ANA,TGW-3GWL,TYPE-FH. DYNAFLEET 01 01 Visão geral DYNAFLEET 2
Leia maisPredicados e Quantificadores
Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando
Leia maisCorrelação quando uma Variável é Nominal
Correlação quando uma Variável é Nominal Em geral, quando uma das duas variáveis é do tipo categórica e puramente nominal (isto é, não pode nem ser ordenada) não se pode fazer um estudo de correlação.
Leia maisInstituto Superior Técnico Departamento de Matemática Última actualização: 11/Dez/2003 ÁLGEBRA LINEAR A
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Última actualização: 11/Dez/2003 ÁLGEBRA LINEAR A FICHA 8 APLICAÇÕES E COMPLEMENTOS Sistemas Dinâmicos Discretos (1) (Problema
Leia maisUNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE TECNOLOGIA AULA 16 PROFª BRUNO CALEGARO
UNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE TECNOLOGIA AULA 16 PROFª BRUNO CALEGARO Santa Maria, 12 de Novembro de 2013. Revisão aula anterior Modelagem orientada a objetos com UML Software: Astah Community
Leia maisMicroeconomia II. Cursos de Economia e de Matemática Aplicada à Economia e Gestão
Microeconomia II Cursos de Economia e de Matemática Aplicada à Economia e Gestão AULA 2.3 Oligopólio em Restrições de Capacidade (Edgeworth). Oligopólio de Stackelberg. Variações Conjecturais Isabel Mendes
Leia maisLógica Proposicional
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira slago@ime.usp.br 1 Introdução A lógica proposicional é um formalismo matemático através do qual podemos abstrair a estrutura de um argumento, eliminado
Leia maisTanto neste nosso jogo de ler e escrever, leitor amigo, como em qualquer outro jogo, o melhor é sempre obedecer às regras.
Nível 1 5ª e 6ª séries (6º e 7º anos) do Ensino Fundamental 2ª FASE 08 de novembro de 2008 Cole aqui a etiqueta com os dados do aluno. Parabéns pelo seu desempenho na 1ª Fase da OBMEP. É com grande satisfação
Leia maisLista 05. Devemos calcular a probabilidade de ser homem dado que é loiro, sendo:
Lista 05 Questão 1: Em uma turma escolar 60% dos alunos são homens e 40% são mulheres. Dentre os homens, 25% são loiros, enquanto que 45% das mulheres são loiras. Um aluno desta turma foi sorteado de maneira
Leia maisN1Q1 Solução. a) Há várias formas de se cobrir o tabuleiro usando somente peças do tipo A; a figura mostra duas delas.
1 N1Q1 Solução a) Há várias formas de se cobrir o tabuleiro usando somente peças do tipo A; a figura mostra duas delas. b) Há várias formas de se cobrir o tabuleiro com peças dos tipos A e B, com pelo
Leia maisCURRÍCULO 1º ANO do ENSINO UNDAMENTAL LINGUAGEM
CURRÍCULO do ENSINO UNDAMENTAL LINGUAGEM ORALIDADE Formar frases com seqüência e sentido. Relacionar palavras que iniciam com vogais. Associar primeira letra/som em palavras iniciadas por vogal. Falar
Leia maisSistemas de Manutenção da Verdade-4. "Truth Maintenance System" Objectivos de um TMS: 1. Identificar a responsabilidade pelas conclusões
Sistemas de Manutenção da Verdade-1 Sistemas de Manutenção da Verdade-2 Sistemas de Manutenção da Verdade TMS "Truth Maintenance System" Um sistema de manutenção da verdade ou TMS é um mecanismo que auxilia
Leia maisPROVA DE MATEMÁTICA PARA OS CANDIDATOS MAIORES DE 23 ANOS
PROVA DE MATEMÁTICA PARA OS CANDIDATOS MAIORES DE ANOS Duração: 60 minutos Nome: 1ª Parte Para cada uma das seguintes questões de escolha múltipla, seleccione a resposta correcta com um círculo de entre
Leia maisNOME: TURMA. a) Mostre que, numa representação em complemento para dois, são necessários 8 bits para representar Tset e 7 bits para representar T.
Sistemas Digitais, 2ª chamada 10/Jul/2002 (01101110) Página 1 Departamento de Engenharia Electrotécnica e de Computadores Sistemas Digitais (2001/2002) 2ª chamada 10/Julho/2002 Duração: 2horas, sem consulta.
Leia maisAula 4 Estatística Conceitos básicos
Aula 4 Estatística Conceitos básicos Plano de Aula Amostra e universo Média Variância / desvio-padrão / erro-padrão Intervalo de confiança Teste de hipótese Amostra e Universo A estatística nos ajuda a
Leia maisInteligência Artificial
Universidade Federal de Campina Grande Unidade Acadêmica de Sistemas e Computação Curso de Pós-Graduação em Ciência da Computação Inteligência Artificial Representação do Conhecimento (Parte II) Prof.
Leia maisUNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL PROGRAMA DE PÓS-GRADUAÇÃO EM EDUCAÇÃO MATEMÁTICA. Seleção 2009. Prova Escrita 06/02/2009
UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL PROGRAMA DE PÓS-GRADUAÇÃO EM EDUCAÇÃO MATEMÁTICA Seleção 2009 Prova Escrita 06/02/2009 Número de inscrição: Esta prova é composta de três partes: Parte A: conteúdos
Leia maisCapítulo 3 Modelos Estatísticos
Capítulo 3 Modelos Estatísticos Slide 1 Resenha Variáveis Aleatórias Distribuição Binomial Distribuição de Poisson Distribuição Normal Distribuição t de Student Distribuição Qui-quadrado Resenha Slide
Leia maisAnálise e Projeto Orientado a Objetos
Análise e Projeto Orientado a Objetos Linguagem UML Modelagem Estrutural Modelagem Estrutural Anderson Belgamo Classes Definição: uma classe é uma descrição de um conjunto de objetos que compartilham os
Leia maisUma e.d.o. de segunda ordem é da forma
Equações Diferenciais de Ordem Superior Uma e.d.o. de segunda ordem é da forma ou então d 2 y ( dt = f t, y, dy ) 2 dt y = f(t, y, y ). (1) Dizemos que a equação (1) é linear quando a função f for linear
Leia maisUnidade 11 - Probabilidade. Probabilidade Empírica Probabilidade Teórica
Unidade 11 - Probabilidade Probabilidade Empírica Probabilidade Teórica Probabilidade Empírica Existem probabilidade que são baseadas apenas uma experiência de fatos, sem necessariamente apresentar uma
Leia maisIntrodução à Ciência da Computação
Créditos Introdução à Ciência da Computação Algoritmos O material a seguir é composto de adaptações dos slides gentilmente cedidos por: Prof. André de Carvalho Slides baseados nos originais das professoras
Leia mais