Capítulo 3 Lógica de Primeira Ordem
|
|
- Anna Monsanto Aldeia
- 6 Há anos
- Visualizações:
Transcrição
1 Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur
2 Bibliografia Martins J.P., Lógica para Programação, Capítulo 3. Ben-Ari M., Mathematical Logic for Computer Science, Springer-Verlag, 2003, Capítulos 5 e 7. Huth M. e Ryan M., Logic in Computer Science, Cambridge University Press, 2004, Capítulo 2.
3 Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo Proposicional Lógica de 1 a ordem ou Lógica de Predicados Programação em Lógica Prolog
4 Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo Proposicional Lógica de 1 a ordem ou Lógica de Predicados Programação em Lógica Prolog
5 Lógica de 1 a ordem programa de festas Motivação Componentes de uma Lógica 1. Linguagem (+ representação em lógica) 2. Sistema dedutivo 3. Sistema semântico
6 Lógica de 1 a ordem programa de festas Motivação Componentes de uma Lógica 1. Linguagem (+ representação em lógica) 2. Sistema dedutivo 3. Sistema semântico
7 Lógica de Primeira Ordem Motivação Em lógica clássica existem duas alternativas para a definição de uma linguagem Lógica Proposicional Lógica de Primeira Ordem
8 Como já tínhamos visto... Lógica Proposicional é baseada em proposições, isto é, frases declarativas que fazem afirmações sobre qualquer coisa.
9 Limitações da Lógica Proposicional Como representar Todos os alunos têm exactamente um número em Lógica Proposicional? Conjunção de símbolos proposicionais: Aluno João Número TemNúmero João Como referir todos e exactamente um? Como generalizar para todos os alunos e qualquer número?
10 Ora a Lógica de 1 a ordem permite criar frases com estrutura interna:
11 Exemplo Todos os alunos têm exactamente um número x(aluno(x) y(numero(x, y) z(numero(x, z) y = z))))
12 Lógica de 1 a ordem programa de festas Motivação Componentes de uma Lógica 1. Linguagem (+ representação em lógica) 2. Sistema dedutivo 3. Sistema semântico
13 Linguagem da Lógica de Primeira Ordem (L LPO ) Como já se percebeu, é necessário introduzir novos símbolos, uma nova definição de fbf e novas regras de formação.
14 Alfabeto básico Símbolos de pontuação:, ( ) [ ] Símbolos lógicos:,,,,, O símbolo lê-se não e corresponde ao operador de negação O símbolo lê-se e e corresponde ao operador de conjunção O símbolo lê-se ou e corresponde ao operador de disjunção O símbolo lê-se implica e corresponde ao operador de implicação O símbolo lê-se para todo e corresponde ao operador de quantificação universal O símbolo lê-se existe e corresponde ao operador de quantificação existencial
15 Alfabeto básico (cont.) Letras de função com n argumentos (aridade n), para n 0 e i 1: fi n Representam funções sobre os elementos da linguagem fi 0 corresponde a funções de aridade zero que representam constantes Índice i fornece uma capacidade ilimitada para criar novos nomes Letras de predicado com aridade n, para n 0 e i 1: Pi n Representam operadores sobre elementos da linguagem, produzindo valores lógicos Variáveis individuais para i 1: x i Têm como domínio os objectos da conceptualização
16 Notação Se não for confuso, usamos a, b, c,... para representar constantes e f, g, h,... para representar variáveis; Se não for confuso, usamos P, Q, R,... para representar as letras de predicado; Se não for confuso, usamos x, y, z,... para representar as variáveis.
17 Exemplos Funções capital(x) = capital de x; {(Portugal,Lisboa),(França,Paris),(Espanha,Madrid),...} soma(x, y) = x + y; {(1, 1, 2), (1, 2, 3), (2, 1, 3),...} Predicados Fronteira(x, y) = x tem fronteira com y; {(Portugal,Espanha),(Espanha,França),(França,Bélgica),...}
18 Termos Termos representam objectos; correspondem a sintagmas nominais em linguagem natural São definidos recursivamente Cada letra de função com aridade zero (letra de constante) é um termo Cada variável é um termo Se t 1, t 2,..., t n são termos, então fi n (t 1, t 2,..., t n ) é um termo Nada mais é um termo
19 Exemplos capital(portugal) pai(augustus De Morgan) pai(pai(pai(augustus De Morgan))) x capital(x) pai(x)
20 Conceito Termo chão Termo sem variáveis é chamdo um termo chão (do Inglês ground term)
21 Exemplos capital(portugal) pai(augustus De Morgan) pai(pai(pai(augustus De Morgan)))
22 Fórmulas bem formadas (fbfs) Se t 1, t 2,..., t n são termos, então P n i (t 1, t 2,..., t n ) é uma fbf (atómica) Se α é uma fbf então ( α) é uma fbf Se α e β são fbfs então (α β), (α β) e (α β) são fbfs Se α é uma fbf contendo zero ou mais ocorrências da variável x então x[α] e x[α] são fbfs Nada mais é uma fbf
23 Exemplo Consideremos P letra de predicado com aridade 2 Q letra de predicado com aridade 1 A e B letras de predicado com aridade 0 f letra de função com aridade 1 g letra de função com aridade 3 a, b, c constantes x variável Então são fbfs ( P(a, g(a, b, c))) (P(a, b) x [( Q(f (x)))]) (A B) Parêntesis redundantes podem ser eliminados
24 Quantificadores Nas expressões x[α] e x[α] a fbf α é chamada domínio do quantificador ( ou ) α não tem de conter a variável x; nesse caso x[α] e x[α] são equivalentes a α
25 Conceitos variável livre e variável ligada x é variável livre em α se não for quantificada; caso contrário é variável ligada
26 Exemplo x[a(x)] contém a variável ligada x A(x) x[b(x)] contém uma ocorrência de x livre (em A(x)) e outra ligada (em B(x))
27 Conceitos fbf fechada (ou chã) fbf sem variáveis livres diz-se fechada (ou chã)
28 Vamos agora trabalhar a representação em lógica
29 Lógica de 1 a ordem programa de festas Motivação Componentes de uma Lógica 1. Linguagem (+ representação em lógica) 2. Sistema dedutivo 3. Sistema semântico
30 Sistema dedutivo programa de festas Sistema de dedução natural Conceito de substituição Novas regras de inferência Resolução Conversão para a forma clausal Conceitos de unificação Aplicação da regra de resolução Propriedades do sistema dedutivo
31 Sistema dedutivo programa de festas Sistema de dedução natural Conceito de substituição Novas regras de inferência Resolução Conversão para a forma clausal Conceitos de unificação Aplicação da regra de resolução Propriedades do sistema dedutivo
32 E lá vamos nós ao sistema dedutivo da Lógica de 1 a ordem, mas antes temos que introduzir um conceito fundamental: o de substituição.
33 Conceito Substituição Conjunto finito de pares ordenados {t 1 /x 1,..., t n /x n } x i (1 i n) é uma variável t i (1 i n) é um termo Aplicação da substituição s à fbf α (α s) corresponde à fbf obtida a partir de α substituindo todas as ocorrências da variável livre x i por t i (1 i n) P(x, f (a, y)) {a/x, f (a, b)/y} = P(a, f (a, f (a, b))) P(x, f (a, y)) {a/x, f (a, b)/y, c/z} = P(a, f (a, f (a, b))) A(x) x [B(x)] {a/x, f (a, b)/y, c/z} = A(a) x [B(x)]
34 Substituição duas restrições a reter Nenhuma das variáveis pode ser igual ao termo correspondente Sejam x, y, z variáveis e f função de um argumento OK: {f (x)/x, z/y} KO: {x/x, z/y} Numa substituição todas as variáveis têm de ser diferentes Sejam x, y, z variáveis e f, g, h funções de um argumento OK: {a/x, g(y)/y, f (g(h(b)))/c} KO: {a/x, g(y)/y, b/x, f (g(h(b)))/c}
35 Substituição: problema x P(x, f (a, y)) {a/x, x/y} = x P(x, f (a, x))) Efeito colateral indesejável Variável ligada x foi introduzida como argumento de P Alteração do significado da fbf: y era variável livre e o termo que a substitui inclui a variável x que não é livre Novo conceito: termo livre para uma variável numa fbf Nova abordagem: nem todas as substituições de variáveis livres fazem sentido
36 Notação α(x 1,..., x n ) indica que a fbf α tem (pelo menos) x 1,..., x n como variáveis livres (pode ter outras além destas)
37 Conceito termo livre para uma variável numa fbf Um termo sem variáveis é sempre livre para qualquer variável Seja α uma fbf e t um termo: t é livre para x i em α se nenhuma ocorrência livre de x i em α ocorrer dentro do domínio do quantificador / x j em que x j é uma variável em t.
38 Ou seja... Se ocorrências de x i foram substituídas por t então nenhuma ocorrência de uma variável em t deixa de ser livre em α(t) α(x 1,..., x n ) {t 1 /x 1,..., t n /x n } = α(t 1,..., t n )
39 Exemplo O termo g(y, f (b)) É livre para x na fbf P(x, y) Não é livre para x na fbf y[p(x, y)]
40 Vamos então agora ao sistema dedutivo da Lógica de 1 a ordem, nomeadamente ao sistema de dedução natural.
Lógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
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 - 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 maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. uma expressão com significado Uma expressão pode ser expressão sem significado
Leia maisExercício. Exercício
Exercício Exercício Aula Prática Utilizar o banco de dados ACCESS para passar o MER dos cenários apresentados anteriormente para tabelas. 1 Exercício oções básicas: ACCESS 2003 2 1 Exercício ISERIDO UMA
Leia maisIntrodução ao cálculo-λ
Introdução ao cálculo-λ Pedro Vasconcelos 13 de Fevereiro de 2014 O que é o cálculo-λ? É um modelo computação universal (i.e., equipotente à máquina de Turing) Ao contrário da MT, o cálculo-λ é também
Leia mais1 Teoria de conjuntos e lógica
1 Teoria de conjuntos e lógica Estes breves apontamentos dizem respeito à parte do programa dedicada à teoria de conjuntos e à lógica matemática. Embora concebidos sem grandes formalismos e com poucas
Leia maisA linguagem da Lógica Proposicional (Capítulo 1)
A linguagem da Lógica Proposicional (Capítulo 1) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Alfabeto 3. Fórmulas bem formadas (FBF) 4. Exemplos
Leia maisO Cálculo λ sem Tipos
Capítulo 2 O Cálculo λ sem Tipos 21 Síntaxe e Redução Por volta de 1930 o cálculo lambda sem tipos foi introduzido como uma fundação para a lógica e a matemática Embora este objectivo não tenha sido cumprido
Leia maisRecorrendo à nossa imaginação podemos tentar escrever números racionais de modo semelhante: 1 2 = 1 + 3 + 32 +
1 Introdução Comecemos esta discussão fixando um número primo p. Dado um número natural m podemos escrevê-lo, de forma única, na base p. Por exemplo, se m = 15 e p = 3 temos m = 0 + 2 3 + 3 2. Podemos
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR Assuntos: Produtos Notáveis; Equações; Inequações; Função; Função Afim; Paridade;
Leia maisÁLGEBRA VETORIAL E GEOMETRIA ANALÍTICA (UFCG- CUITÉ)
P L A N O S PARALELOS AOS EIXOS E AOS PLANOS COORDENADOS Casos Particulares A equação ax + by + cz = d na qual a, b e c não são nulos, é a equação de um plano π, sendo v = ( a, b, c) um vetor normal a
Leia maisMódulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano
Módulo de Equações do Segundo Grau Equações do Segundo Grau: Resultados Básicos. Nono Ano Equações do o grau: Resultados Básicos. 1 Exercícios Introdutórios Exercício 1. A equação ax + bx + c = 0, com
Leia maisUnidade 2. Lógica de Predicados. Objetivos:
Unidade 2 Lógica de Predicados Objetivos: Conhecer a linguagem formal Lógica de Predicados, assim como gerar fórmulas bem formadas nessa linguagem, a atribuição de valor verdade às fórmulas envolvendo
Leia maisÁrvores. ! utilizada em muitas aplicações. ! modela uma hierarquia entre elementos. ! O conceito de árvores está diretamente ligado à recursão
Árvores 1 Árvores! utilizada em muitas aplicações! modela uma hierarquia entre elementos! árvore genealógica! diagrama hierárquico de uma organização! modelagem de algoritmos! O conceito de árvores está
Leia maisCadeira de Tecnologias de Informação. Ano lectivo 2009/2010. Sites dinâmicos. Com Expression Web TI2009/10 EWD_1. Filipa Pires da Silva (2009)
Cadeira de Tecnologias de Informação Ano lectivo 2009/2010 Sites dinâmicos Com Expression Web TI2009/10 EWD_1 .ASPX vs.html HTML: HTML é uma linguagem para descrever páginas web HTML significa Hyper Text
Leia mais[RESOLUÇÃO] Economia I; 2012/2013 (2º semestre) Prova da Época Recurso 3 de Julho de 2013
Economia I; 01/013 (º semestre) Prova da Época Recurso 3 de Julho de 013 [RESOLUÇÃO] Distribuição das respostas correctas às perguntas da Parte A (6 valores) nas suas três variantes: ER A B C P1 P P3 P4
Leia maisp. 2 Trechos de Material Didático (Apostila) e Conteúdo do Livro Texto, de autoria de Marcus Ramos, João José Neto e Ítalo Vega i <= 1
Observação: os trechos extraídos do livro apresentados a seguir já incluem as correções da errata (http://www.univasf.edu.br/~marcus.ramos/livro-lfa/errata.pdf). Para outras passagens não incluídas nesse
Leia maisExercícios de Lógica para Programação
Exercícios de Lógica para Programação Ana Cardoso-Cachopo Maio de 2014 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 5 2 Lógica Proposicional Sistema de Dedução Natural 17 3 Lógica Proposicional Tabelas
Leia mais* Lógica Proposicional Formas de Argumento
* Lógica Proposicional Formas de Argumento Hoje é segunda-feira ou sexta-feira. Hoje não é segunda-feira. Hoje é sexta-feira. Lógica, Informática e Comunicação Elthon Allex da Silva Oliveira e-mail: el7hon@gmail.com
Leia mais4.4 Limite e continuidade
4.4 Limite e continuidade Noções Topológicas em R : Dados dois pontos quaisquer (x 1, y 1 ) e (x, y ) de R indicaremos a distância entre eles por då(x 1, y 1 ), (x, y )è=(x 1 x ) + (y 1 y ). Definição
Leia maisMatemática Básica Intervalos
Matemática Básica Intervalos 03 1. Intervalos Intervalos são conjuntos infinitos de números reais. Geometricamente correspondem a segmentos de reta sobre um eixo coordenado. Por exemplo, dados dois números
Leia maisEntropia, Entropia Relativa
Entropia, Entropia Relativa e Informação Mútua Miguel Barão (mjsb@di.uevora.pt) Departamento de Informática Universidade de Évora 13 de Março de 2003 1 Introdução Suponhamos que uma fonte gera símbolos
Leia maisOPERAÇÕES COM FRAÇÕES
OPERAÇÕES COM FRAÇÕES Adição A soma ou adição de frações requer que todas as frações envolvidas possuam o mesmo denominador. Se inicialmente todas as frações já possuírem um denominador comum, basta que
Leia maisLógica Binária. Princípios
Lógica Binária Lógica Binária Proposição é toda a expressão da qual faz sentido dizer que é verdadeira ou falsa. Cada proposição tem um e um só valor lógico, Verdadeiro (1) ou Falso (0). Princípios Princípio
Leia maisMÓDULO 2 Topologias de Redes
MÓDULO 2 Topologias de Redes As redes de computadores de modo geral estão presentes em nosso dia adia, estamos tão acostumados a utilizá las que não nos damos conta da sofisticação e complexidade da estrutura,
Leia maisEXERCÍCIOS LÓGICA DE PRIMEIRA ORDEM - MODELOS
EXERCÍCIOS LÓGICA DE PRIMEIRA ORDEM - MODELOS Lógica Prof. Tacla (UTFPR/Curitiba) assuntos: expressividade LP x LPO; modelos Conceituais 1. Explique a diferença em expressividade da Lógica Proposicional
Leia maisInteligência Artificial
Inteligência Artificial Aula 7 Programação Genética M.e Guylerme Velasco Programação Genética De que modo computadores podem resolver problemas, sem que tenham que ser explicitamente programados para isso?
Leia maisLógica para computação Professor Marlon Marcon
Lógica para computação Professor Marlon Marcon INTRODUÇÃO O objetivo geral da logica formal é a mecanização do raciocnio, ou seja, A obtenção de informação a partir de informações prévias por meio de recursos
Leia maisPOTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS. Potenciação 1
POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS Potenciação 1 Neste texto, ao classificarmos diferentes casos de potenciação, vamos sempre supor que a base e o expoente sejam não nulos, pois já
Leia maisExpressões de sequencias
Expressões de sequencias Semana Olímpica/01 Prof. Armando 01 de fevereiro de 01 1 Introdução Um assunto que cai com frequência em olimpíada são as sequências. Sequências são listas ordenadas de números
Leia maisPronomes e quantificadores universais e indefinidos
Pronomes e quantificadores universais e indefinidos Pronomes e quantificadores indefinidos: referem uma pessoa, coisa ou fenómeno de uma forma imprecisa ou indeterminada, indicando quantidade ou diferença.
Leia maisUnidade 1: O Computador
Unidade : O Computador.3 Arquitetura básica de um computador O computador é uma máquina que processa informações. É formado por um conjunto de componentes físicos (dispositivos mecânicos, magnéticos, elétricos
Leia maisSilogística Aristotélica
Silogística Aristotélica Prof. Paulo Margutti Com base na possibilidade de padronizar todas as sentenças de conformidade com os tipos A, E, I e O, Aristóteles considerava que todos os argumentos poderiam
Leia maisUnidade 3 Função Afim
Unidade 3 Função Afim Definição Gráfico da Função Afim Tipos Especiais de Função Afim Valor e zero da Função Afim Gráfico definidos por uma ou mais sentenças Definição C ( x) = 10. x + Custo fixo 200 Custo
Leia maisLó gica. Para Concursos Públicos. Professor Luiz Guilherme
Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:...
Leia maisAGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO. Escola Básica e Secundária Dr. Vieira de Carvalho. Departamento de Ciências Experimentais
AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO Escola Básica e Secundária Dr. Vieira de Carvalho Departamento de Ciências Experimentais Planificação Anual de Matemática A 10º ano Ano Letivo 2015/2016 TEMA
Leia maisCapítulo 1 - Conectivos lógicos e quantificadores
Capítulo 1 - Conectivos lógicos e quantificadores A linguagem matemática usual combina o português com outros símbolos que têm um significado específico em Matemática. Neste capítulo 1 recordar-se-á, de
Leia maisLógica de Programação. Profas. Simone Campos Camargo e Janete Ferreira Biazotto
Lógica de Programação Profas. Simone Campos Camargo e Janete Ferreira Biazotto O curso Técnico em Informática É o profissional que desenvolve e opera sistemas, aplicações, interfaces gráficas; monta estruturas
Leia maisProbabilidade. Luiz Carlos Terra
Luiz Carlos Terra Nesta aula, você conhecerá os conceitos básicos de probabilidade que é a base de toda inferência estatística, ou seja, a estimativa de parâmetros populacionais com base em dados amostrais.
Leia maisADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8
ADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8 Índice 1. Modelagem de Dados - Continuação...3 1.1. Modelo Entidade-Relacionamento (MER) - II... 3 1.1.1. Entidades fortes e entidades fracas... 3 1.2. Dicionário
Leia maisProgramação de Computadores - I. Profª Beatriz Profº Israel
Programação de Computadores - I Profª Beatriz Profº Israel Programação Orientada a objetos Orientação a Objetos É uma técnica de desenvolvimento de softwares que consiste em representar os elementos do
Leia maisModelo Entidade Relacionamento (MER) Professor : Esp. Hiarly Alves
Tópicos Apresentação Entidade, Atributo e Relacionamento Cardinalidade Representação simbólica Generalizações / Especializações Agregações Apresentação O Modelo Entidade-Relacionamento tem o objetivo de
Leia mais. B(x 2, y 2 ). A(x 1, y 1 )
Estudo da Reta no R 2 Condição de alinhamento de três pontos: Sabemos que por dois pontos distintos passa uma única reta, ou seja, dados A(x 1, y 1 ) e B(x 2, y 2 ), eles estão sempre alinhados. y. B(x
Leia maisATuLCo. Manual de Instruções. Gestor de Agência de Viagens. ATuLCo Gestor de Agencia de Viagens. Horário Abreu Nr. 53792. António Felgueiras Nr.
Manual de Instruções ATuLCo Gestor de Agência de Viagens António Felgueiras Nr. 43481 Horário Abreu Nr. 53792 Ricardo Pinto Nr. 51835 1 Índice O que é o ATuLCo? ------------------------------------- 3
Leia maisAULA 6 LÓGICA DOS CONJUNTOS
Disciplina: Matemática Computacional Crédito do material: profa. Diana de Barros Teles Prof. Fernando Zaidan AULA 6 LÓGICA DOS CONJUNTOS Intuitivamente, conjunto é a coleção de objetos, que em geral, tem
Leia maisOlimpíada Brasileira de Raciocínio Lógico Nível III Fase II 2014
1 2 Questão 1 Um dado é feito com pontos colocados nas faces de um cubo, em correspondência com os números de 1 a 6, de tal maneira que somados os pontos que ficam em cada par de faces opostas é sempre
Leia maisResolução da Prova de Raciocínio Lógico do MPOG/ENAP de 2015, aplicada em 30/08/2015.
de Raciocínio Lógico do MPOG/ENAP de 2015, aplicada em 30/08/2015. Considerando a proposição P: Se João se esforçar o bastante, então João conseguirá o que desejar, julgue os itens a seguir. 43 A proposição
Leia maisM =C J, fórmula do montante
1 Ciências Contábeis 8ª. Fase Profa. Dra. Cristiane Fernandes Matemática Financeira 1º Sem/2009 Unidade I Fundamentos A Matemática Financeira visa estudar o valor do dinheiro no tempo, nas aplicações e
Leia maisÁlge g bra b B ooleana n Bernardo Gonçalves
Álgebra Booleana Bernardo Gonçalves Sumário Histórico Álgebra de Boole Axiomas da Álgebra de Boole Álgebra de Boole de dois valores literais Teoremas da Álgebra de Boole Simplificação de expressões booleanas
Leia maisPRINCÍPIOS DA MULTIPLICAÇÃO, DA ADIÇÃO E DA INCLUSÃO-
Matemática Discreta 2009.10 Exercícios CAP2 pg 1 PRINCÍPIOS DA MULTIPLICAÇÃO, DA ADIÇÃO E DA INCLUSÃO- EXCLUSÃO 1. Quantas sequências com 5 letras podem ser escritas usando as letras A,B,C? 2. Quantos
Leia maisLEITURA E ESCRITA FOTO NOME DESCRIÇÃO
MATERIAL DE INTERVENÇÃO LEITURA E ESCRITA FOTO NOME DESCRIÇÃO 28,29 + IVA (23%) Loto Palavras e Animais Loto de 72 animais para trabalhar a associação de duas formas: imagem com imagem ou imagem com palavra.
Leia maisComecemos por relembrar as propriedades das potências: = a x c) a x a y = a x+y
. Cálculo Diferencial em IR.1. Função Exponencial e Função Logarítmica.1.1. Função Exponencial Comecemos por relembrar as propriedades das potências: Propriedades das Potências: Sejam a e b números positivos:
Leia maisUniversidade Estadual de Campinas Departamento de Matemática. Teorema de Jacobson. Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800)
Universidade Estadual de Campinas Departamento de Matemática Teorema de Jacobson Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800) Campinas - SP 2013 1 Resumo Nesta monografia apresentamos a
Leia mais15.053 26 de fevereiro de 2002
15.053 26 de fevereiro de 2002 Análise de Sensibilidade apresentado como Perguntas Freqüentes Pontos ilustrados em um exemplo contínuo de fabricação de garrafas. Se o tempo permitir, também consideraremos
Leia maisÁlgebra Booleana. Introdução ao Computador 2010/01 Renan Manola
Álgebra Booleana Introdução ao Computador 2010/01 Renan Manola Histórico George Boole (1815-1864) Considerado um dos fundadores da Ciência da Computação, apesar de computadores não existirem em seus dias.
Leia maisCircuitos eléctricos Profª Helena Lança Ciências Físico-Química 9ºano
Profª Helena Lança Ciências Físico-Química 9ºano Um circuito eléctrico é um caminho por onde passa a corrente eléctrica. É constituído obrigatoriamente por um gerador e um receptor, podendo-se também intercalar
Leia maisfísica e astronomia aristotélica
física e astronomia aristotélica andrea bettanin 183178 astronomia fundamental aristóteles (384 a.c - 322 a.c.) Aristóteles nasceu em Estágira, em 384 a.c., próxima da Macedônia. Seus pais morreram durante
Leia maisAula 5. Uma partícula evolui na reta. A trajetória é uma função que dá a sua posição em função do tempo:
Aula 5 5. Funções O conceito de função será o principal assunto tratado neste curso. Neste capítulo daremos algumas definições elementares, e consideraremos algumas das funções mais usadas na prática,
Leia maisRENOVAÇÃO DE MATRÍCULAS via Controle Acadêmico de Graduação-CAGr
RENOVAÇÃO DE MATRÍCULAS via Controle Acadêmico de Graduação-CAGr 1º Passo: Acesso ao CAGr. 1. Acesse o CAGr por meio da página do Campus Araranguá em estudante.ufsc.br >graduação>
Leia maisTipos de problemas de programação inteira (PI) Programação Inteira. Abordagem para solução de problemas de PI. Programação inteira
Tipos de problemas de programação inteira (PI) Programação Inteira Pesquisa Operacional I Flávio Fogliatto Puros - todas as variáveis de decisão são inteiras Mistos - algumas variáveis de decisão são inteiras
Leia maisPlanejamento - 2. Definição de atividades Sequenciamento das atividades. Mauricio Lyra, PMP
Planejamento - 2 Definição de atividades Sequenciamento das atividades 1 6.1 Definir as atividades 1 Lista das atividades A lista das atividades é uma lista abrangente que inclui todas as atividades necessárias
Leia maisFicha Prática 5: Cap 3.Princípios Elementares de Contagem
Matemática Discreta - 2010/11 Cursos: Engenharia Informática, Informática de Gestão DEPARTAMENTO de MATEMÁTICA ESCOLA SUPERIOR de TECNOLOGIA e de GESTÃO - INSTITUTO POLITÉCNICO de BRAGANÇA Ficha Prática
Leia maisENGENHARIA DE SOFTWARE
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Curso Técnico em Informática : ENGENHARIA DE SOFTWARE Prof.: Clayton Maciel Costa clayton.maciel@ifrn.edu.br Um conjunto estruturado
Leia maisProgramação de Computadores I. Linguagem C Função
Linguagem C Função Prof. Edwar Saliba Júnior Fevereiro de 2011 Unidade 07 Função 1 Conceitos As técnicas de programação dizem que, sempre que possível, evite códigos extensos, separando o mesmo em funções,
Leia maisBases Matemáticas. Daniel Miranda 1. 23 de maio de 2011. sala 819 - Bloco B página: daniel.miranda
Daniel 1 1 email: daniel.miranda@ufabc.edu.br sala 819 - Bloco B página: http://hostel.ufabc.edu.br/ daniel.miranda 23 de maio de 2011 Elementos de Lógica e Linguagem Matemática Definição Uma proposição
Leia maisGraphing Basic no Excel 2007
Graphing Basic no Excel 2007 Tabela de Conteúdos 1. Inserindo e formatando os dados no Excel 2. Criando o gráfico de dispersão inicial 3. Criando um gráfico de dispersão de dados de titulação 4. Adicionando
Leia maisEm linguagem matemática, essa proprieade pode ser escrita da seguinte maneira: x. 1 = x Onde x representa um número natural qualquer.
MATEMÁTICA BÁSICA 5 EXPRESSÕES ALGÉBRICAS - EQUAÇÕES A expressão numérica é aquela que apresenta uma sequência de operações e de números. Também já sabemos que as letras são usadas em Matemática para representar
Leia maisAula 03 Proposições e Conectivos. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 03 Proposições e Conectivos Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Proposições: Valores Lógicos; Tipos (simples e compostas). Conectivos. Revisando O que é
Leia maisProgramação para Internet I 4. XML. Nuno Miguel Gil Fonseca nuno.fonseca@estgoh.ipc.pt
Programação para Internet I 4. XML Nuno Miguel Gil Fonseca nuno.fonseca@estgoh.ipc.pt Standard do W3C (www.w3c.org) Formato de ficheiros de texto derivado de SGML (Standard Generalized Markup Language)
Leia maisTESTES SOCIOMÉTRICOS
TESTES SOCIOMÉTRICOS Docente: Mestre Mª João Marques da Silva Picão Oliveira TESTES SOCIOMÉTRICOS * O Teste Sociométrico ajuda-nos a avaliar o grau de integração duma criança/jovem no grupo; a descobrir
Leia maisÁlgebra Linear Aplicada à Compressão de Imagens. Universidade de Lisboa Instituto Superior Técnico. Mestrado em Engenharia Aeroespacial
Álgebra Linear Aplicada à Compressão de Imagens Universidade de Lisboa Instituto Superior Técnico Uma Breve Introdução Mestrado em Engenharia Aeroespacial Marília Matos Nº 80889 2014/2015 - Professor Paulo
Leia maisENG1000 Introdução à Engenharia
ENG1000 Introdução à Engenharia Aula 09 Vetores e Matrizes Edirlei Soares de Lima Introdução Até agora nós temos usado variáveis simples para armazenar valores usados por nossos
Leia maisMatemática - Módulo 1
1. Considerações iniciais Matemática - Módulo 1 TEORIA DOS CONJUNTOS O capítulo que se inicia trata de um assunto que, via-de-regra, é abordado em um plano secundário dentro dos temas que norteiam o ensino
Leia maisAfirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisMétodos Formais. Agenda. Relações Binárias Relações e Banco de Dados Operações nas Relações Resumo Relações Funções. Relações e Funções
Métodos Formais Relações e Funções por Mauro Silva Agenda Relações Binárias Relações e Banco de Dados Operações nas Relações Resumo Relações Funções MF - Relações e Funções 2 1 Relações Binárias Definição
Leia maisRegulamento Interno do Departamento de Sistemas de Informação. Escola Superior de Ciências Empresariais Instituto Politécnico de Setúbal
Regulamento Interno do Departamento de Sistemas de Informação Escola Superior de Ciências Empresariais Instituto Politécnico de Setúbal CAPÍTULO I Disposições Gerais (Artigo 1º) Definição O Departamento
Leia maisModelo Relacional Normalização Diagramas E-R e Tabelas Originadas
Informática II Modelo Relacional Normalização Diagramas E-R e Tabelas Originadas (TÓPICOS ABORDADOS NAS AULAS DE INFORMÁTICA II) Por: Artur Sousa / Jorge Loureiro Conceitos de entidade e atributo Tipos
Leia maisI. Conjunto Elemento Pertinência
TEORI DOS CONJUNTOS I. Conjunto Elemento Pertinência Conjunto, elemento e pertinência são três noções aceitas sem definição, ou seja, são noções primitivas. idéia de conjunto é praticamente a mesma que
Leia maisPUC-Rio Desafio em Matemática 15 de novembro de 2008
PUC-Rio Desafio em Matemática 5 de novembro de 2008 Nome: Assinatura: Inscrição: Identidade: Questão Valor Nota Revisão.0 2.0 3.0 4.0 5a.0 5b.0 6a.0 6b.0 7 2.0 Nota final 0.0 Instruções Mantenha seu celular
Leia maisMANUAL DO INSTALADOR XD EM AMBIENTES MICROSOFT WINDOWS
MANUAL DO INSTALADOR XD EM AMBIENTES MICROSOFT WINDOWS Está disponível a partir da versão 2014.73 do XD Rest/Pos/Disco um novo formato no instalador em ambientes Microsoft Windows. O instalador passa a
Leia maisXML - Extensible Markup Language
Por Sergio Crespo XML - Extensible Markup Language Extensible Markup Language (XML) é linguagem de marcação de dados (meta-markup language) que provê um formato para descrever dados estruturados. Isso
Leia maisFicheiro de Matemática
Adivinha quem somos nós! A partir das pistas, descobre qual o nome de cada um dos sólidos. Regista no teu caderno as conclusões a que chegaste. Planificações Suspeitas Descobri estas planificações suspeitas!
Leia maisPlanos e Retas. Equações do Plano e da Reta. Anliy Natsuyo Nashimoto Sargeant José Antônio Araújo Andrade Solange Gomes Faria Martins
Planos e Retas Uma abordagem exploratória das Equações do Plano e da Reta Anliy Natsuyo Nashimoto Sargeant José Antônio Araújo Andrade Solange Gomes Faria Martins Na geometria, um plano é determinado se
Leia maisAF Não-determinísticos Equivalência entre AFND e AFD
AF Não-determinísticos Equivalência entre AFND e AFD 1 AF NÃO-Determinístico (AFND) Consideremos uma modificação no modelo do AFD para permitir zero, uma ou mais transições de um estado sobre o MESMO símbolo
Leia maisGestão de Sistemas Operacionais I
Gestão de Sistemas Operacionais I Professor: Wellington Fábio de Oliveira Martins MSDOS Comandos mais utilizados Para usar o MS-DOS no Windows 98 va no menu iniciar -> executar -> digita: command No Windows
Leia maisO Plano. Equação Geral do Plano:
O Plano Equação Geral do Plano: Seja A(x 1, y 1, z 1 ) um ponto pertencente a um plano π e n = (a, b, c), n 0, um vetor normal (ortogonal) ao plano (figura ao lado). Como n π, n é ortogonal a todo vetor
Leia maisMatemática para a Economia I - 1 a lista de exercícios Prof. - Juliana Coelho
Matemática para a Economia I - 1 a lista de exercícios Prof. - Juliana Coelho 1 - Para cada função abaixo, calcule os valores pedidos, quando for possível: (a) f(x) = x 3 3x + 3x 1, calcule f(0), f( 1)
Leia maisFundamentos de Bancos de Dados 3 a Prova Caderno de Questões
Fundamentos de Bancos de Dados 3 a Prova Caderno de Questões Prof. Carlos A. Heuser Dezembro de 2009 Duração: 2 horas Prova com consulta Questão 1 (Construção de modelo ER) Deseja-se projetar a base de
Leia maisNivel de Linguagem de Montagem (Assembly)
Nivel de Linguagem de Montagem (Assembly) Orlando Loques setembro 2006 Referências: Structured Computer Organization (capítulo 7), A.S. Tanenbaum, (c) 2006 Pearson Education Inc Computer Organization and
Leia maisLógica Matemática. Lisboa, Março de 2004
Lógica Matemática Grupo de Matemática da Universidade Técnica de Lisboa: António St. Aubyn, Maria Carlos Figueiredo, Luís de Loura, Luísa Ribeiro, Francisco Viegas Lisboa, Março de 2004 O documento presente
Leia maisLó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 maisIBM1018 Física Básica II FFCLRP USP Prof. Antônio Roque Aula 7
Potencial Elétrico Quando estudamos campo elétrico nas aulas passadas, vimos que ele pode ser definido em termos da força elétrica que uma carga q exerce sobre uma carga de prova q 0. Essa força é, pela
Leia maisAlgoritmos e Programação : Conceitos e estruturas básicas. Hudson Victoria Diniz
Algoritmos e Programação : Conceitos e estruturas básicas Hudson Victoria Diniz Relembrando... Um algoritmo é formalmente uma seqüência finita de passos que levam a execução de uma tarefa. Podemos pensar
Leia maisFaculdade de Informática e Tecnologia de Pernambuco
Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;
Leia maisBEM VINDOS ALUNOS DA GRADUAÇÃ ÇÃO. GESTÃO INTEGRADA PESSOAS E SISTEMAS DE INFORMAÇÃ ÇÃO O QUE O MUNDO TEM A VER COM MARKETING?
BEM VINDOS ALUNOS DA TURMA DE PÓS-GRADUA P GRADUAÇÃ ÇÃO. GESTÃO INTEGRADA PESSOAS E SISTEMAS DE INFORMAÇÃ ÇÃO PROF. PAULO NETO FIB - 2011 O QUE O MUNDO TEM A VER COM MARKETING? O QUE EU TENHO A VER COM
Leia maisRoteiro de Auxílio para as Atividades Práticas de Sistemas de Informação
Roteiro de Auxílio para as Atividades Práticas de Sistemas de Informação A linguagem XML no contexto do curso de Sistemas de Informação é utilizada principalmente para o armazenamento e a manipulação de
Leia maisDeterminantes. Vamos associar a cada matriz quadrada A um número a que chamaremos determinante. a11 a Uma matriz de ordem 2, A =
Determinantes Vamos associar a cada matriz quadrada A um número a que chamaremos determinante de A. [ ] a11 a Uma matriz de ordem 2, A 12, é invertível se e só se a 21 a 22 a 11 a 22 a 21 a 12 0, como
Leia mais2 Conceitos Básicos. onde essa matriz expressa a aproximação linear local do campo. Definição 2.2 O campo vetorial v gera um fluxo φ : U R 2 R
2 Conceitos Básicos Neste capítulo são apresentados alguns conceitos importantes e necessários para o desenvolvimento do trabalho. São apresentadas as definições de campo vetorial, fluxo e linhas de fluxo.
Leia mais