[B&A] Computação na Lógica de Predicados
|
|
- Felipe da Costa Regueira
- 6 Há anos
- Visualizações:
Transcrição
1 [B&A] Computação na Lógica de Predicados Soluções dos Exercícios 1. Transforme as seguintes fbf s para a forma normal prenex, elimine os quantificadores e transforme-as para a forma normal clausal. (a) x.( P (x, y) y.p (y, x)) x.( P (x, y) y.p (y, x)) x.(p (x, y) y.p (y, x)) x. y 1.(P (x, y) P (y 1, x)) Note que ao final deste passo a fórmula obtida é equivalente à fórmula original. y. x. y 1.(P (x, y) P (y 1, x)) Passo 3: Skolemizar eliminar existenciais x.(p (x, a) P (f(x), x)) Note que ao fim deste passo a fórmula obtida é satisfatível exatamente nas mesmas circunstâncias que a fórmula original. P (x, a) P (f(x), x) Observe que a fórmula acima já está na forma normal conjuntiva reduzida. (b) x.(p (z, x) R(x, y)) ( x.p (z, x) x.r(x, y)) x.(p (z, x) R(x, y)) ( x.p (z, x) x.r(x, y)) x. (P (z, x) R(x, y)) ( x.p (z, x) x.r(x, y)) x.( P (z, x) R(x, y)) ( x.p (z, x) x.r(x, y)) x 1.(( P (z, x 1 ) R(x 1, y)) ( x.p (z, x) x.r(x, y))) x 1. x 2.(( P (z, x 1 ) R(x 1, y)) (P (z, x 2 ) x.r(x, y))) x 1. x 2. x 3.(( P (z, x 1 ) R(x 1, y)) P (z, x 2 ) R(x 3, y)) y. z. x 1. x 2. x 3.(( P (z, x 1 ) R(x 1, y)) P (z, x 2 ) R(x 3, y)) Passo 3: Skolemizar x 3.(( P (b, c) R(c, a)) P (b, d) R(x 3, a)) ( P (b, c) R(c, a)) P (b, d) R(x 3, a) ( P (b, c) P (b, d) R(x 3, a)) ( R(c, a) P (b, d) R(x 3, a)) Lógica Aplicada à Computação 1
2 (c) x.p (x, y) y.(p (y, x) R(a, f(x, y))) x.p (x, y) y.(p (y, x) R(a, f(x, y))) x. P (x, y) y.(p (y, x) R(a, f(x, y))) x 1.( P (x 1, y) y.(p (y, x) R(a, f(x, y)))) x 1. y 1.( P (x 1, y) (P (y 1, x) R(a, f(x, y 1 )))) x. y. x 1. y 1.( P (x 1, y) (P (y 1, x) R(a, f(x, y 1 )))) Passo 3: Skolemizar x 1.( P (x 1, c) (P (g(x 1 ), b) R(a, f(b, g(x 1 ))))) P (x 1, c) (P (g(x 1 ), b) R(a, f(b, g(x 1 )))) ( P (x 1, c) P (g(x 1 ), b)) ( P (x 1, c) R(a, f(b, g(x 1 )))) (d) x. y.(p (x, f(a, y)) x.r(x)) Não há conectivos destes tipos para serem eliminados. x. y. x 1.(P (x, f(a, y)) R(x 1 )) A fórmula já se encontra fechada. Passo 3: Skolemizar x.(p (x, f(a, g(x))) R(h(x))) P (x, f(a, g(x))) R(h(x)) A fórmula já se encontra na forma normal conjuntiva reduzida. (e) ( x.(p (x, y) y.r(y, z)) z.p (z, x)) ( x.( P (x, y) y.r(y, z)) z.p (z, x)) x.( P (x, y) y.r(y, z)) z.p (z, x) x. ( P (x, y) y.r(y, z)) z. P (z, x) x.(p (x, y) y.r(y, z)) z. P (z, x) x.(p (x, y) y. R(y, z)) z. P (z, x) x 1.((P (x 1, y) y. R(y, z)) z. P (z, x)) x 1. y 1.((P (x 1, y) R(y 1, z)) z. P (z, x)) x 1. y 1. z 1.((P (x 1, y) R(y 1, z)) P (z 1, x)) x. y. z. x 1. y 1. z 1.((P (x 1, y) R(y 1, z)) P (z 1, x)) Passo 3: Skolemizar y 1. z 1.((P (d, b) R(y 1, c)) P (z 1, a)) Lógica Aplicada à Computação 2
3 (P (d, b) R(y 1, c)) P (z 1, a) (P (d, b) P (z 1, a)) ( R(y 1, c) P (z 1, a)) 2. Determine o unificador mais geral para cada um dos seguintes pares de termos ou fórmulas. Se estes não são unificáveis, diga o porquê. a. P (x, f(a, x)) P (b, y) b. P (x, f(g(a, y), z)) P (b, f(g(a, f(w, c)), h(y, x))) c. f(a, f(b, f(c, x))) f(a, y) d. f(x, f(a, f(y, c))) f(z, f(z, f(f(a, c), w))) Unificadores para os termos e fórmulas acima podem ser: a. x := b y := f(a, x) = f(a, b) Daí, o umg será σ = [x := b, y := f(a, b)] b. x := b y := f(w, c) z := h(y, x) = h(f(w, c), b) Daí, o umg será σ = [x := b, y := f(w, c), z := h(f(w, c), b)] c. y := f(b, f(c, x)) Daí, o umg será σ = [y := f(b, f(c, x))] d. x := z = a z := a y := f(a, c) w := c Daí, o umg será σ = [x := a, y := f(a, c), w := c, z := a] 3. Exibir uma refutação por resolução para cada uma dos seguintes conjuntos de cláusulas. Algumas dicas: Faça a separação padrão de um par de cláusulas antes de unificar. Indique cada substituição unificadora claramente. Realize a substituição unificadora em ambas as cláusulas. Não existe limite para a quantidade de vezes que se usa uma cláusula em particular. Lógica Aplicada à Computação 3
4 a. P (a, x, x) P (f(y, x), w, f(x, z)) P (y, w, z) P (f(a, f(b, a)), f(c, a), x) b. Q(a, b) Q(f(y, x), g(z)) Q(y, z) Q(f(x, f(c, f(d, a))), w) c. R(x, a, a) R(x, f(x, y), z) R(x, y, z) R(x, f(y, z), f(y, w)) R(x, z, w) R(b, f(b, f(c, f(b, a))), x) d. P (x, e, x) P (y, z, v) P (y, v, w) P (e, z, w) P (a, f(u, v), e) P (e, f(f(b, c), a), a) e. P (c, a, f(x)) P (f(y), a, f(z)) P (y, x, z) P (f(f(y)), z, f(f(f(z)))) f. P (x, f(x, y), g(a)) P (a, x, z) P (g(y), f(a, x), z) P (g(z), f(a, f(a, a)), z) P (a, f(a, z), z) Realizando as refutações para cada conjunto de cláusulas acima, podemos obter: a. Antes de mais nada, façamos a separação das 3 cláusulas: P (a, x, x) = P (a, x 1, x 1 ) P (f(y, x), w, f(x, z)) P (y, w, z) = P (f(y, x 2 ), w, f(x 2, z)) P (y, w, z) P (f(a, f(b, a)), f(c, a), x) = P (f(a, f(b, a)), f(c, a), x 3 ) P (a, x 1, x 1 ) P (f(y, x 2 ), w, f(x 2, z)) P (y, w, z) σ 1 = [y := a, w := x 1, z := x 1 ] P (a, x 1, x 1 )P (f(a, x 2 ), x 1, f(x 2, x 1 )) P (a, x 1, x 1 ) P (f(a, x 2 ), x 1, f(x 2, x 1 )) P (f(a, f(b, a)), f(c, a), x 3 ) σ 2 = [x 2 := f(b, a), x 1 := f(c, a), x 3 := f(f(b, a), f(c, a))] P (f(a, f(b, a)), f(c, a), f(f(b, a), f(c, a)) P (f(a, f(b, a)), f(c, a), f(f(b, a), f(c, a)) b. Fazendo a separação das 2 últimas cláusulas: Q(a, b) Q(f(y, x), g(z)) Q(y, z) = Q(f(y, x 1 ), g(z)) Q(y, z) Q(f(x, f(c, f(d, a))), w) = Q(f(x 2, f(c, f(d, a))), w) Q(a, b) Q(f(y, x 1 ), g(z)) Q(y, z) σ 1 = [y := a, z := b] Q(a, b)q(f(a, x 1 ), g(b)) Q(a, b) Q(f(a, x 1 ), g(b)) Q(f(x 2, f(c, f(d, a))), w) σ 2 = [x 2 := a, x 1 := f(c, f(d, a)), w := g(b)] Q(f(a, f(c, f(d, a))), g(b)) Q(f(a, f(c, f(d, a))), g(b)) Lógica Aplicada à Computação 4
5 c. Fazendo a separação das 4 cláusulas: R(x, a, a) = R(x 1, a, a) R(x, f(x, y), z) R(x, y, z) = R(x 2, f(x 2, y 1 ), z 1 ) R(x 2, y 1, z 1 ) R(x, f(y, z), f(y, w)) R(x, z, w) = R(x 3, f(y 2, z 2 ), f(y 2, w)) R(x 3, z 2, w) R(b, f(b, f(c, f(b, a))), x) = R(b, f(b, f(c, f(b, a))), x 4 ) R(x 2, f(x 2, y 1 ), z 1 ) R(x 2, y 1, z 1 ) R(b, f(b, f(c, f(b, a))), x 4 ) σ 1 = [x 2 := b, y 1 := f(c, f(b, a)), z 1 := x 4 ] R(b, f(b, f(c, f(b, a))), x 4 ) R(b, f(c, f(b, a)), x 4 ) R(b, f(b, f(c, f(b, a))), x 4 ) Daí temos, usando a umg: R(b, f(c, f(b, a)), x 4 ) R(b, f(c, f(b, a)), x 4 ) R(x 3, f(y 2, z 2 ), f(y 2, w)) R(x 3, z 2, w) σ 2 = [x 3 := b, y 2 := c, z 2 := f(b, a), x 4 := f(c, w)] R(b, f(c, f(b, a)), f(c, w))r(b, f(c, f(b, a)), f(c, w)) R(b, f(b, a), w) R(b, f(b, a), w) Continuando o processo de resolução: R(b, f(b, a), w) R(x 2, f(x 2, y 1 ), z 1 ) R(x 2, y 1, z 1 ) σ 3 = [x 2 := b, y 1 := a, z 1 := w] R(b, f(b, a), w) R(b, f(b, a), w) R(b, a, w) R(b, a, w) R(x 1, a, a) σ 4 = [x 1 := b, w := a] R(b, a, a) R(b, a, a) d. Considere as duas primeiras cláusulas: P (y, z, v) P (y, v, w) P (e, z, w) P (x, e, x) Construindo a árvore de refutação em conjunto com a unificação a seguir: σ 1 = [x := e, y := e, z := e, v := e, w := e] Teremos: P (e, e, e) P (e, e, e) P (e, e, e)p (e, e, e) P (e, e, e) P (e, e, e) P (e, e, e) P (e, e, e) P (e, e, e) e. Fazendo a separação das três claúsulas: P (c, a, f(x)) = P (c, a, f(x 1 )) P (f(y), a, f(z)) P (y, x, z) = P (f(y 1 ), a, f(z 1 )) P (y 1, x 2, z 1 ) P (f(f(y)), z, f(f(f(z)))) = P (f(f(y 2 )), z 2, f(f(f(z 2 )))) P (f(y 1 ), a, f(z 1 )) P (y 1, x 2, z 1 ) P (f(f(y 2 )), z 2, f(f(f(z 2 )))) σ 1 = [y 1 := f(y 2 ), z 2 := a, z 1 := f(f(a))] P (f(f(y 2 )), a, f(f(f(a)))) P (f(y 2 ), x 2, f(f(a))) P (f(f(y 2 )), a, f(f(f(a)))) P (f(y 2 ), x 2, f(f(a))) Lógica Aplicada à Computação 5
6 Continuando: P (f(y 2 ), x 2, f(f(a))) P (f(y 1 ), a, f(z 1 )) P (y 1, x 2, z 1 ) σ 2 = [y 1 := y 2, x 2 := a, z 1 := f(a)] P (f(y 2 ), a, f(f(a)))p (f(y 2 ), a, f(f(a))) P (c, a, f(a)) P (c, a, f(a)) P (c, a, f(x 1 )) σ 3 = [x 1 := a] P (c, a, f(a)) P (c, a, f(a)) f. Fazendo a separação das 3 cláusulas: P (x, f(x, y), g(a)) = P (x 1, f(x 1, y 1 ), g(a)) P (a, x, z) P (g(y), f(a, x), z) = P (a, x 2, z 1 ) P (g(y 2 ), f(a, x 2 ), z 1 ) P (g(z), f(a, f(a, a)), z) P (a, f(a, z), z) = P (g(z 2 ), f(a, f(a, a)), z 2 ) P (a, f(a, z 2 ), z 2 ) P (x 1, f(x 1, y 1 ), g(a)) P (a, x 2, z 1 ) P (g(y 2 ), f(a, x 2 ), z 1 ) σ 1 = [x 1 := a, x 2 := f(a, y 1 ), z 1 := g(a)] P (a, f(a, y 1 ), g(a)) P (a, f(a, y 1 ), g(a)) P (g(y 2 ), f(a, f(a, y 1 )), g(a)) P (g(y 2 ), f(a, f(a, y 1 )), g(a)) Usando agora a terceira cláusula acima: P (g(y 2 ), f(a, f(a, y 1 )), g(a)) P (g(z 2 ), f(a, f(a, a)), z 2 ) P (a, f(a, z 2 ), z 2 ) σ 2 = [y 1 := a, y 2 := g(a), z 2 := g(a)] P (g(g(a)), f(a, f(a, a)), g(a)) P (g(g(a)), f(a, f(a, a)), g(a)) P (a, f(a, g(a)), g(a)) P (a, f(a, g(a)), g(a)) Daí: P (a, f(a, g(a)), g(a)) P (x 1, f(x 1, y 1 ), g(a)) σ 3 = [x 1 := a, y 1 := g(a)] P (a, f(a, g(a)), g(a))p (a, f(a, g(a)), g(a)) 4. Mostre que Γ α, quando: (a) Γ = { P (x) R(x, y), P (x)} e α = R(x, y) Mostraremos que Γ α, isto é, P (x) R(x, y), P (x) R(x, y). Com efeito, temos: premissa P (x) R(x, y) premissa P (x) R(x, y) (b) Γ = {P (x, x), P (x, z) P (x, y) P (y, z)} e α = P (a, a) Mostraremos que Γ, α, isto é, P (x, x), P (x, z) P (x, y) P (y, z), P (a, a). premissa premissa P (x, x) P (a, a) σ = [x := a] P (a, a) P (a, a) Lógica Aplicada à Computação 6
7 5. Apresente uma refutação para a negação da fórmula x. y. (P (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x))) x 2. P (f(f(x 2 )), x) Negando esta fórmula teremos: ( x. y. (P (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x))) x 2. P (f(f(x 2 )), x)) Para facilitar a manipulação inicial desta fórmula, abreviemos: A = (P (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x))) B = P (f(f(x 2 )), x)) Com isso: ( x. y.( A) x 2.( B)) x. y.( A) x 2.( B) x. y.( A) x 2.(B) Iremos refutar, portanto: x. y.( A) x 2.(B) Substituindo A e B pelas suas respectivas definições, retirando e, e transformando para a FNP, teremos: ( x. y. (P (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x))) x 2. P (f(f(x 2 )), x)) x. y.( (P (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x)))) x 2.P (f(f(x 2 )), x) x. y.(p (y, x) z. (P (f(x), f(z)) x 1. P (x 1, x))) x 2.P (f(f(x 2 )), x) x. y.(p (y, x) z.(p (f(x), f(z)) x 1. P (x 1, x))) x 2.P (f(f(x 2 )), x) x. y.(p (y, x) z.( P (f(x), f(z)) x 1. P (x 1, x))) x 2.P (f(f(x 2 )), x) x 3.( y.(p (y, x 3 ) z.( P (f(x 3 ), f(z)) x 1. P (x 1, x 3 ))) x 2.P (f(f(x 2 )), x)) x 3. y.(p (y, x 3 ) z.( P (f(x 3 ), f(z)) x 1. P (x 1, x 3 )) x 2.P (f(f(x 2 )), x)) x 3. y. z.(p (y, x 3 ) ( P (f(x 3 ), f(z)) x 1. P (x 1, x 3 )) x 2.P (f(f(x 2 )), x)) x 3. y. z. x 1.(P (y, x 3 ) ( P (f(x 3 ), f(z)) P (x 1, x 3 )) x 2.P (f(f(x 2 )), x)) x 3. y. z. x 1. x 2.(P (y, x 3 ) ( P (f(x 3 ), f(z)) P (x 1, x 3 )) P (f(f(x 2 )), x)) Tomando o fecho existencial: x. x 3. y. z. x 1. x 2.(P (y, x 3 ) ( P (f(x 3 ), f(z)) P (x 1, x 3 )) P (f(f(x 2 )), x)) Fazendo a skolemização: x 3. y. z. x 1.(P (y, x 3 ) ( P (f(x 3 ), f(z)) P (x 1, x 3 )) P (f(f(a)), b)) Ocultando os universais: P (y, x 3 ) ( P (f(x 3 ), f(z)) P (x 1, x 3 )) P (f(f(a)), b) Como a fórmula obtida já está na FNCR, acabamos de obter as seguintes cláusulas: (C1) P (y, x 3 ) (C2) P (f(x 3 ), f(z)) P (x 1, x 3 ) (C3) P (f(f(a)), b) Aplicando agora o método de resolução, podemos obter: Lógica Aplicada à Computação 7
8 P (y, x 3 ) P (f(x 3 ), f(z)) P (x 1, x 3 ) σ 1 = [y := x 1 ] P (x 1, x 3 ) P (f(x 3 ), f(z)) P (x 1, x 3 ) P (f(x 3 ), f(z)) P (y, x 3 ) σ 2 = [y := f(f(z)), x 3 := f(z)] P (f(f(z)), f(z)) P (f(f(z)), f(z)) Lógica Aplicada à Computação 8
Faculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof.
Faculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof. Alfio Martini 1. Seja OP = {{d}, {f, g}, Ar F }, onde d é uma constante, Ar F
Leia maisLógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 24 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Resolução SLD............................ 1 1 Introdução à Programação em Lógica
Leia maisLógica e Programação - Folha de trabalho n. 3
Lógica de 1 ā ordem Linguagens, termos, fórmulas e semântica 1 Seja L uma linguagem de 1 ā ordem com igualdade e tal que F 0 = {a, b}, F 1 = {g}, F 2 = {f, h}, R 1 = {R, S} e R 2 = {P, Q}. i. O comprimento
Leia maisNelma Moreira. Aula 17
Lógica e Programação Nelma Moreira Aula 17 Conteúdo 1 Programação em Lógica 1 1.1 Resolução para a lógica proposicional................ 1 1.2 Cláusulas............................... 3 1.3 Conversão para
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
Leia maisLógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 21 Conteúdo 1 Mais Teorias (decidíveis) 1 1.1 Resolução para a lógica proposicional................ 4 1.2 Cláusulas...............................
Leia maisLógica Computacional (CC2003) Lógica e Programação (CC216)
Lógica Computacional (CC2003) Lógica e Programação (CC216) Nelma Moreira Lógica Computacional 24 Conteúdo 1 Introdução à Programação em Lógica 1 2 Unificação 1 2.1 Substituições.............................
Leia maisExercícios de Teoria da Computação Lógica de 1a. ordem
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Lógica de 1a. ordem Secção Ciência
Leia maisNoções de Lógica Matemática. Domingos Moreira Cardoso Maria Paula Carvalho
Noções de Lógica Matemática Domingos Moreira Cardoso Maria Paula Carvalho Janeiro, 2007 Índice 1 Introdução................................. 2 2 Noções Fundamentais de Lógica Matemática.............. 3
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas
Leia maisFórmulas Bem Formadas (wff) Prioridade dos Conectivos. Prioridade dos Conectivos. Semântica do CR. Semântica do CR
1 Fórmulas Bem Formadas (wff) 1. um átomo é uma wff 2. se α e β são wff e X uma variável livre, então são também wff: INTELIGÊNCIA ARTIFICIAL LÓGICA RELACIONAL (PARTE II) Huei Diana Lee wff lê-se α não
Leia maisLógica Computacional
Aula Teórica 22: Departamento de Informática 16 de Maio de 2011 Introdução Revisão do procedimento Exemplo em Primeira Ordem Considere-se o seguinte conjunto de cláusulas, assumindo as variáveis universalmente
Leia maisLógica Computacional
Aula Teórica 20: Forma Normal de Skolem e 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
Leia maisExercícios de Lógica Computacional
Exercícios de Lógica Computacional Sabine Broda Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto email: sbb@ncc.up.pt 2000 CONTEÚDO 2 Conteúdo 1 Cálculo proposicional
Leia maisResolução. Resolução. Resolução. Resolução. Programação em Lógica. Resolução na Lógica de Predicados: Unificação. Lógica de Primeira Ordem Parte IV
Ciência da Computação Lógica de Primeira Ordem Parte IV Prof. Sergio Ribeiro Material adaptado de Lógica Matemática da Profª Joseluce Farias DSC/UFCG O Princípio da (Lógica Proposicional) Para quaisquer
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Resolução e PROLOG Passos para obter a forma clausal de uma fbf: 1. Obter a forma normal
Leia maisSCC Capítulo 2 Lógica de Predicados
SCC-630 - Capítulo 2 Lógica de Predicados João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis
Leia maisw 1 = v 1 + v 2 + v 3 w 2 = 2v 2 + v 3 (1) w 3 = v 1 + 3v 2 + 3v 3 também são linearmente independentes. T =
Independência e dependência linear ) a) Sejam v, v e v vectores linearmente independentes de um espaço linear S. Prove que os vectores também são linearmente independentes. Resolução Seja V a expansão
Leia maisLógica para computação - Linguagem da Lógica de Predicados
DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem
Leia maisQuestão 4 (2,0 pontos). Defina função convexa (0,5 pontos). Seja f : I R uma função convexa no intervalo aberto I. Dado c I (qualquer)
DM IMECC UNICAMP, Análise I, Prof. Marcelo M. Santos Exame Final, 15/07/2009 Aluno: RA: Ass.: Observações: Tempo de prova: 100min; Justifique sucintamente todas as suas afirmações; Disponha as suas resoluções
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisSCC Capítulo 3 Prova Automática de Teoremas
SCC-630 - Capítulo 3 Prova Automática de Teoremas João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
Leia maisInteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa IV. RACIOCÍNIO BASEADO EM REGRAS Parte 2 2004 Um Sistema de Dedução Regressivo Uma propriedade importante da lógica é a dualidade entre asserções
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 1 Lógica de primeira ordem Linguagens da lógica de primeira ordem Termos Fórmulas Semântica de Lógica de primeira ordem Lógica de primeira ordem Na lógica proposicional não é possível representar
Leia maisA 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 maisCálculo de Predicados
Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)
Leia maisUNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2007/2008 CONTEÚDO 1 Conteúdo 1 Argumentos e validade
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação 2) Fundamentos 2.1) Conjuntos e Sub-conjuntos 2.2) Números Inteiros 2.3) Funções 2.4) Seqüências e Somas 2.5) Crescimento de Funções Funções
Leia maisLógica Computacional
Aula Teórica 22: em Lógica de Primeira Ordem 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 maisLógica e prova de resolução Marco Henrique Terra
Lógica e prova de resolução Marco Henrique Terra Introdução à Inteligência Artificial Introdução n Este capítulo trata de lógica. l Inicialmente discute-se se a notação empregada em lógica. l Depois mostra-se
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica
Leia maisUNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2008/2009 CONTEÚDO 1 Conteúdo 1 Argumentos e validade
Leia maisSCC Capítulo 4 Raciocínio Baseado em Regras
SCC-630 - Capítulo 4 Raciocínio Baseado em Regras João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
Leia maisELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011
Uma Resolução ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 1. Seleccione e transcreva para a sua folha de exame a única opção correcta: A fórmula proposicional (p q) (p q) é a) logicamente
Leia maisLista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3.
Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3. 1. Seja x um elemento de ordem 24. Calcule a ordem de x 22, x 201, x 402, x 611 e x 1000. 2. Faça
Leia maisUNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2007/2008 2 o Semestre CONTEÚDO 1 Conteúdo 1 Argumentos
Leia maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)
Leia maisApostila de Lógica para Computação Segunda unidade: Lógica de Predicados
postila de Lógica para Computação Segunda unidade: Lógica de Predicados Professor: Ruy J Guerra B de Queiroz Transcrito por Ruan Vasconcelos B Carvalho (rvbc) SUMÁRIO 0 INTRODUÇÃO 3 OBJETIVO3 ESTRUTUR
Leia maisDIM Resolução e método tableaux DIM / 37
DIM0436 21. Resolução e método tableaux 20141014 DIM0436 20141014 1 / 37 Sumário 1 Demostração automática de fórmulas 2 Resolução 3 O método tableaux DIM0436 20141014 2 / 37 1 Demostração automática de
Leia maisRelações. George Darmiton da Cunha Cavalcanti CIn - UFPE
Relações George Darmiton da Cunha Cavalcanti CIn - UFPE Relações Binárias Sejam X e Y dois conjuntos. Uma relação entre X e Y é um subconjunto de produto cartesiano X Y. No caso de X = Y, a uma relação
Leia maisCapítulo 3 Lógica de Primeira Ordem
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 Bibliografia Martins J.P., Lógica para Programação, Capítulo
Leia maisLISTA DE EXERCÍCIOS. Humberto José Bortolossi
GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://wwwprofessoresuffbr/hjbortol/ 09 Funções reais (domínio, imagem e gráfico), funções monótonas,
Leia maisAula 8: Tableaux Analíticos
Lógica para Computação Segundo Semestre, 2014 Aula 8: Tableaux Analíticos DAINF-UTFPR Prof. Ricardo Dutra da Silva O métodos de Dedução Natural não permite inferir a falsidade de um sequente, ou seja,
Leia maisLógica de Primeira Ordem. Capítulo 9
Lógica de Primeira Ordem Capítulo 9 Inferência proposicional Prova semântica: através da enumeração de interpretações e verificação de modelos Prova sintática: uso de regras de inferência Inferência Proposicional
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/23 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
Leia maisFundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão
GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício
Leia maisAula 7 Os teoremas de Weierstrass e do valor intermediário.
Os teoremas de Weierstrass e do valor intermediário. MÓDULO - AULA 7 Aula 7 Os teoremas de Weierstrass e do valor intermediário. Objetivo Compreender o significado de dois resultados centrais a respeito
Leia maisIntrodução. Esse programa recebeu o nome PROLOG (do francês PROgramation et LOGique ).
Introdução Os programas construídos utilizando a lógica diretamente como linguagem de programação receberam o nome de programas lógicos. Um programa lógico é constituído por um conjunto de axiomas/hipóteses
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisGabarito da Primeira Prova MAT Tipo A
Gabarito da Primeira Prova MAT-2454 - Tipo A 10 de Outubro de 2011 -A- Questão 1. Apenas uma das funções f ou g abaixo admite plano tangente a seu gráfico no ponto P = 0,0,0): x 2 y fx,y) = x 2 +y2, se
Leia maisSISTEMAS BASEADOS EM CONHECIMENTO I. INTRODUÇÃO
SISTEMAS BASEADOS EM CONHECIMENTO João Luís Garcia Rosa Instituto de Informática PUC-Campinas joaol@ii.puc-campinas.br www.ii.puc-campinas.br/joaoluis I. INTRODUÇÃO 1.1. Histórico - Sistemas Baseados em
Leia mais2.5 FORMAS NORMAIS. Forma normal da negação
Forma normal da negação 2.5 FORMAS NORMAIS Newton José Vieira 05 de agosto de 2007 Definições preliminares: literal: variável proposicional (literal positivo) ou negação de variável proposicional (literal
Leia maisIsometrias do Plano Euclidiano
Isometrias do Plano Euclidiano Semana do ICE 2013 Semana do ICE 2013 () Isometrias do Plano Euclidiano 1 / 7 O Plano Euclidiano E O Plano Euclidiano E é o plano euclidiano da geometria clássica (ensino
Leia maisLógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções
Leia maisMATEMÁ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 maisUNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA UESB DEPARTAMENTO DE CIÊNCIAS EXATAS E TECNÓLOGICAS DCET CURSO DE LICENCIATURA EM MATEMÁTICA
UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA UESB DEPARTAMENTO DE CIÊNCIAS EXATAS E TECNÓLOGICAS DCET CURSO DE LICENCIATURA EM MATEMÁTICA JÉFFERSON DOS SANTOS RIBEIRO ALGUNS MÉTODOS DE PROVAS EM LÓGICA VITÓRIA
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisCálculo de Predicados 1
Matemática Discreta - Departamento de Matemática - EST-IPV - 2005/2006 - II Capítulo II Cálculo de Predicados 1 1 Predicados e quantificadores Consideremos as afirmações seguintes: x é par. (1.1) x é tão
Leia maisUnificação PROGRAMAÇÃO EM LÓGICA. Unificação. Unificação. Unificação. Unificação. Linguagem Prolog Parte III
PROGRAMAÇÃO EM LÓGICA CIÊNCIA DA COMPUTAÇÃO FACAPE Faculdade de Ciências Aplicadas e Sociais de Petrolina Linguagem Prolog Parte III Prof. Sergio Ribeiro Adaptado do material da Profª Elaine Ribeiro Universidade
Leia maisProgramaçã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 maisUNIVERSIDADE FEDERAL DE PERNAMBUCO
CÁLCULO L1 NOTAS DA DÉCIMA PRIMEIRA AULA UNIVERSIDADE FEDERAL DE PERNAMBUCO Resumo. Nesta aula, apresentaremos o Teorema do Valor Médio e algumas de suas conseqüências como: determinar os intervalos de
Leia maisSistemas Dedutivos Lógica de 1ª. Ordem (LPO)
Sistemas Dedutivos Lógica de 1ª. Ordem (LPO) UTFPR/Curitiba Prof. Cesar A. Tacla http://www.pessoal.utfpr.edu.br/tacla 28/03/2016 12:51 MÉTODO DE PROVA POR RESOLUÇÃO Plano Resolução em LPO método de prova
Leia maisConsequências do Teorema do Valor Médio
Universidade de Brasília Departamento de Matemática Cálculo 1 Consequências do Teorema do Valor Médio Neste texto vamos demonstrar o Teorema do Valor Médio e apresentar as suas importantes consequências.
Leia maisLista de Exercícios VII - Geometria
Lista de Exercícios VII - Geometria Prof. Michel Barros Silva - UFCG/CCTA 1. Construa o gráco e encontre o foco e a equação da diretriz: a)x = y b)y = 6x c)y = 8x d)x + y = 0 e)y x = 0 f)y + x = 0 g)x
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br A (ou lógica de 1ª ordem) é uma extensão da lógica proposicional que aumenta sua expressividade,
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
Leia maisLógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras.
Tópicos Introdução à Lógica Edna A. Hoshino DCT - UFMS fevereiro de 2011 1 Tabela-Verdade Equivalências Proposicionais Formas Normais 2 Variáveis e Predicados Quantificadores 3 para predicados e quantificadores
Leia maisGAN Lógica para Ciência da Computação I. Profs. Petrucio Viana e Renata de Freitas. Lista 14 - Demonstrações em LPO
GAN 00166 Lógica para Ciência da Computação GAN 00171 Lógica para Ciência da Computação I Profs. Petrucio Viana e Renata de Freitas Lista 14 - Demonstrações em LPO 1. Simbolize os argumentos a seguir em
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisInteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa IV. RACIOCÍNIO BASEADO EM REGRAS Parte 1 2004 Introdução A forma como um corpo de conhecimento sobre um certo campo é expresso por um especialista
Leia maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
Leia maisLógica de Predicados
Lógica de Predicados Slides da disciplina Lógica para Computação ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009
Leia maisGABARITO S = { 1, 33; 0, 2} (VERDADEIRO) 08. 2x 5 = 8x x 2 9 x x = 3 e x = 3. x = 7 ± 3. x =
88 0) x 0, 5 aplicando a prop. a n m m a n : 88 5 00 x 88 5 0 x 8 5 0 x 80 5 0 x 75 0 x 75x 0 x 0 75 x 5 multiplicando toda inequação por 0: multiplicando toda inequação por x: Porém, x 0, pois x é o denominador.
Leia maisCálculo Diferencial e Integral II Resolução do Exame/Teste de Recuperação 02 de Julho de 2018, 15:00h - versão 2 Duração: Exame (3h), Teste (1h30)
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Cálculo Diferencial e Integral II do Exame/Teste de Recuperação 2 de Julho de 218, 15:h - versão 2 Duração: Exame (3h),
Leia maisUniversidade Federal Fluminense - UFF-RJ
Anotações sobre equações funcionais Rodrigo Carlos Silva de Lima Universidade Federal Fluminense - UFF-RJ rodrigo.uff.math@gmail.com 1 Sumário 1 Equacões funcionais 3 1.1 f(x + y) = f(x).f(y)..............................
Leia maisLógica Computacional
Lógica Computacional DCC/FCUP 2018/19 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Fórmulas de Horn.......................................... 1 1.2 Satisfazibilidade de Cláusulas....................................
Leia maisLó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) Quantificadores Agrupados Negando expressões com quantificadores
Leia maisUnidade 3. Resolução. Objetivos:
Unidade 3 Resolução Objetivos: Conhecer alguns dos principais algoritmos que podem ser utilizados durante o processo de prova automática de argumentos e de programação em Lógica de Predicados Aplicar o
Leia maisAxiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
Leia maisCálculo dos Predicados
Cálculo dos Predicados As sentenças assim formuladas foram chamadas de proposições categóricas e, segundo Aristóteles, podem ser de 4 tipos: Afirmação Universal A Todos os atletas são saudáveis Afirmação
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisExercícios de Lógica para Programação
Exercícios de Lógica para Programação Ana Cardoso-Cachopo Fevereiro de 2013 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 3 2 Lógica Proposicional Sistema de Dedução Natural 4 3 Lógica Proposicional Tabelas
Leia maisUNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2010/2011 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade
Leia maisDefinimos a soma de seqüências fazendo as operações coordenada-a-coordenada:
Aula 8 polinômios (Anterior: chinês. ) 8.1 séries formais Fixemos um anel A. Denotaremos por A N o conjunto de todas as funções de N = {, 1, 2,... } a valores em A. Em termos mais concretos, cada elemento
Leia maisLógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem When a fact appears to be opposed to a long train of deductions, it invariably proves to be capable of bearing some other interpretation. Sherlock Holmes, A Study in
Leia maisResolução Proposicional Fernando Bozza, Vanessa Maria da Silva
Resolução Proposicional Fernando Bozza, Vanessa Maria da Silva febezza@gmail.com, vvan_@hotmail.com Curso Bacharelado em Sistemas de Informação DAINF - Universidade Tecnológica Federal do Paraná (UTFPR)
Leia maisXX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Resolução do treinamento 6 Nível 3
UNIVERSIDADE FEDERAL DE SANTA CATARINA CENTRO DE CIÊNCIAS FÍSICAS E MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICA PET MATEMÁTICA XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Resolução do treinamento
Leia mais3 A Reta Tangente Definição: Seja y = f(x) uma curva definida no intervalo. curva y = f(x). A reta secante s é a reta que passa pelos pontos
3 A Reta Tangente Definição: Seja y = f(x) uma curva definida no intervalo (a, b) Sejam P(p, f(p)) e Q(x, f(x)) dois pontos distintos da curva y = f(x). A reta secante s é a reta que passa pelos pontos
Leia maisMAT-331: Elementos de Teoria dos Conjuntos Lista 1. 1 Lógica. Exercício 1. Identique a hipótese e a tese em cada uma das seguintes armações:
MAT-331: Elementos de Teoria dos Conjuntos Lista 1 1 Lógica Exercício 1. Identique a hipótese e a tese em cada uma das seguintes armações: (a) Se n é inteiro, então 2n é um número par. (b) Você pode trabalhar
Leia maisPolinômios de Legendre
Seção 5: continuação do método de resolução por séries de potências Na Seção foi exposto informalmente, através de exemplos, o método de resolução de equações diferenciais ordinárias por séries de potências.
Leia maisMecanismos de Raciocínio em Lógica, Prova Automática de Teoremas e PROLOG
INE5430 Inteligência Artificial Tópico: Mecanismos de Raciocínio em Lógica, Prova Automática de Teoremas e PROLOG (C) - Prof. Mauro Roisenberg 1 Raciocínio Inferencial As principais características do
Leia maisanti-simétrica, com elemento mínimo e tal que, dados n, n, n N, se
1 Sistema dedutivo T 1.1 Árvores e árvores etiquetadas Informalmente, uma árvore é uma estrutura constituída por um conjunto de elementos, designados nós, ordenados de um modo particular. Quando se faz
Leia maisExercícios sobre zeros de funções Aula 7
Exercícios sobre zeros de funções Aula 7 André L. R. Didier 1 6 de Maio de 2015 7/47 Introdução Todas as questões foram obtidas da 3 a edição do livro Métodos Numéricos de José Dias dos Santos e Zanoni
Leia maisObjetivos. Exemplo 18.1 Para integrar. u = 1 + x 2 du = 2x dx. Esta substituição nos leva à integral simples. 2x dx fazemos
MÓDULO - AULA 8 Aula 8 Técnicas de Integração Substituição Simples - Continuação Objetivos Nesta aula você aprenderá a usar a substituição simples em alguns casos especiais; Aprenderá a fazer mudança de
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisDepartamento de Matemática Universidade do Minho, Braga 2009 /2010. Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p.
Cálculo de Predicados de Primeira-Ordem da Lógica Clássica Lógica CC Departamento de Matemática Universidade do Minho, Braga 2009 /2010 Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p. 1/7
Leia maisLógica de primeira ordem
Capítulo 1 Lógica de primeira ordem 1.1 Introdução Este capítulo é dedicada à lógica de primeira ordem. Em primeiro lugar são apresentados os aspectos sintácticos e semânticos da lógica de primeira ordem
Leia maisx B A x X B B A τ x B 3 B 1 B 2
1. Definição e exemplos. Bases. Dar uma topologia num conjunto X é especificar quais dos subconjuntos de X são abertos: Definição 1.1. Um espaço topológico é um par (X, τ) em que τ é uma colecção de subconjuntos
Leia mais