5 Exemplos de Síntese de Programas
|
|
- Maria do Loreto Varejão Igrejas
- 5 Há anos
- Visualizações:
Transcrição
1 5 Exemplos de Síntese de Programas Apresentamos neste capítulo exemplos de síntese construtiva de programas. Aprimeiraseção apresenta a descrição da apresentação dos exemplos. A seção seguinte possui dois exemplos referentes ao processo demonstrado no capítulo 2, e a terceira seção, que contém a abordagem do processo apresentado no capítulo 3, possui além da extração do conteúdo computacional dos mesmos exemplos apresentado na seção anterior, um exemplo que sóépossível como novo processo de síntese. 5.1 Descrição da apresentação dos exemplos Devido ao tamanho da árvore de prova, as provas (bem como seus ramos) serão apresentados em blocos, de forma a facilitar o entendimento do leitor. O bloco da prova principal, isto é, a que contém a raiz da árvore de prova (teorema a ser provado), terá uma moldura sólida; os que apresentam moldura tracejada representam os ramos que estão conectados a outros através da numeração localizada ao lado esquerdo da parte superior da moldura. Exemplo: Supondo a seguinte árvore de prova
2 Extração de Conteúdo Computacional de Provas Intuicionistas 83 Ela poderia ser apresentada da seguinte forma: Utilizaremos o símbolo σ para expressarmos que a fórmula possui apenas conteúdo lógico e o símbolo p 1 : α para expressarmos que a fórmula está associado a um programa identificado por p Processo de Síntese de Programas 1 Os exemplos são constituídos da prova da viabilidade do problema, da marcação das entradas e das saídas e da extração do conteúdo computacional da prova Soma de dois números naturais (y). Neste exemplo, utilizando os seguintes predicados e funcionais a(x, y) - funcional que expressa a operação de soma; s(x) - funcional que expressa a operação de sucessor; p(x) - funcional que expressa a operação de predecessor; I(x, y) - predicado de igualdade; M(x, y)- predicado que verifica se um elemento (x) é menor que o outro Será gerado um programa a partir da prova do seguinte teorema: w x y(i(a(x, y),z)) Com a utilização dos seguintes axiomas: 1 u(i(a(u, 0),u)); 2 u v(i(a(u, s(v)),s(a(u, v)))); 3 u v(m(p(u),v) M(u, s(v))); 4 u v(m(p(u),v));
3 Extração de Conteúdo Computacional de Provas Intuicionistas 84
4 Extração de Conteúdo Computacional de Provas Intuicionistas 85
5 Extração de Conteúdo Computacional de Provas Intuicionistas 86
6 Extração de Conteúdo Computacional de Provas Intuicionistas Cálculo do resto de uma divisão Com objetivo de facilitar o entendimento da prova não foram utilizados, neste exemplo, os funcionais para as operações de adição, subtração e multiplicação, nem os predicados de igualdade e das relações de menor e de maior. Foi utilizado, apenas, o funcional que expressa a operação de sucessor s(x). O programa será gerado a partir da prova do seguinte teorema: v u r k((k v + r = u) (r <v)) Com a utilização dos seguintes axiomas: 1 x(x 1=x); 2 x(x +0=x); 3 q(0 q =0); 4 z(0 <z); 5 z p((z = p) (z p = 0)); 6 z p((p >0) (z p<z)); 7 z q((z s(q)) (z q + z)); 8 z p q((z = p q) (z + q = p)); e das seguintes hipóteses: y>0,l = y.
7 Extração de Conteúdo Computacional de Provas Intuicionistas 88
8 Extração de Conteúdo Computacional de Provas Intuicionistas 89
9 Extração de Conteúdo Computacional de Provas Intuicionistas 90
10 Extração de Conteúdo Computacional de Provas Intuicionistas 91
11 Extração de Conteúdo Computacional de Provas Intuicionistas 92
12 Extração de Conteúdo Computacional de Provas Intuicionistas 93
13 Extração de Conteúdo Computacional de Provas Intuicionistas 94
14 Extração de Conteúdo Computacional de Provas Intuicionistas Processo de Síntese de Programas 2 Neste seção é apresentada a extração do conteúdo computacional dos mesmos exemplos demonstrados na seção anterior. Destes serão apresentados apenas a parte da geração do programa e um exemplo que só épossível com o novo processo de síntese, o qual apresentará a prova da viabilidade do problema, a marcação das entradas e das saídas e a extração do conteúdo computacional da prova Soma de dois números naturais (y). Neste exemplo, utilizando os seguintes predicados e funcionais a(x, y) - funcional que expressa a operação de soma; s(x) - funcional que expressa a operação de sucessor; p(x) - funcional que expressa a operação de predecessor; I(x, y) - predicado de igualdade; M(x, y)- predicado que verifica se um elemento (x) é menor que o outro Será gerado um programa a partir da prova do seguinte teorema: w x y(i(a(x, y),z)) Com a utilização dos seguintes axiomas: 1 u(i(a(u, 0),u)); 2 u v(i(a(u, s(v)),s(a(u, v)))); 3 u v(m(p(u),v) M(u, s(v))); 4 u v(m(p(u),v));
15 Extração de Conteúdo Computacional de Provas Intuicionistas 96
16 Extração de Conteúdo Computacional de Provas Intuicionistas Cálculo do resto de uma divisão Com objetivo de facilitar o entendimento da prova não foram utilizados, neste exemplo, os funcionais para as operações de adição, subtração e multiplicação, nem os predicados de igualdade e das relações de menor e de maior. Foi utilizado, apenas, o funcional que expressa a operação de sucessor s(x). O programa será gerado a partir da prova do seguinte teorema: v u r k((k v + r = u) (r <v)) Com a utilização dos seguintes axiomas: 1 x(x 1=x); 2 x(x +0=x); 3 q(0 q =0); 4 z(0 <z); 5 z p((z = p) (z p = 0)); 6 z p((p >0) (z p<z)); 7 z q((z s(q)) (z q + z)); 8 z p q((z = p q) (z + q = p)); e das seguintes hipóteses: y>0,l = y.
17 Extração de Conteúdo Computacional de Provas Intuicionistas 98
18 Extração de Conteúdo Computacional de Provas Intuicionistas 99
19 Extração de Conteúdo Computacional de Provas Intuicionistas 100
20 Extração de Conteúdo Computacional de Provas Intuicionistas Encontrar o maior elemento de uma lista Esse exemplo, não pode ser realizado utilizando o processo de extração do conteúdo computacional apresentado no capítulo 2, pois nele todas as hipóteses têm conteúdo computacional. Com o objetivo de facilitar o entendimento da prova não foram utilizados os predicados de igualdade e das relações de menor e de maior. Foi utilizado apenas o predicado que verifica se um elemento (X) pertence a lista (y) - Per(x, y). Uma lista é apresenta entre colchetes ([ ]) e o primeiro elemento da lista é separado do corpo da lista por : ([x : y],x éacabeça da lista e y o seu corpo). Será gerado um programa a partir da prova do seguinte teorema: x y(per(m, x) z(per(z,x) z m)) Com a utilização dos seguintes axiomas: 1 r s([r] < [s : r]); 2 u vper(v, [v : u]); 3 p q(p q p>q); 4 kper(k, [k]); 5 u v r((u v r>v) u r); 6 u v((u >v u = v) (u v)); 7 q r(per(q, [r]) q = r); 8 u v r(per(u, [v : r]) (Per(u, [v : r]) u = v)); 9 u v r((u v r>v) u r); 10 u v r(per(u, [r]) Per(u, [v : r])); Observação No programa gerado, consideramos que a linguagem utilizada é capaz de separar a cabeça da lista(y) de seu corpo(w).
21 Extração de Conteúdo Computacional de Provas Intuicionistas 102
22 Extração de Conteúdo Computacional de Provas Intuicionistas 103
23 Extração de Conteúdo Computacional de Provas Intuicionistas 104
24 Extração de Conteúdo Computacional de Provas Intuicionistas 105
25 Extração de Conteúdo Computacional de Provas Intuicionistas 106
26 Extração de Conteúdo Computacional de Provas Intuicionistas 107
27 Extração de Conteúdo Computacional de Provas Intuicionistas 108
28 Extração de Conteúdo Computacional de Provas Intuicionistas 109
29 Extração de Conteúdo Computacional de Provas Intuicionistas 110
30 Extração de Conteúdo Computacional de Provas Intuicionistas 111
31 Extração de Conteúdo Computacional de Provas Intuicionistas 112
32 Extração de Conteúdo Computacional de Provas Intuicionistas 113
33 Extração de Conteúdo Computacional de Provas Intuicionistas 114
34 Extração de Conteúdo Computacional de Provas Intuicionistas 115
Definição: Uma função de uma variável x é uma função polinomial complexa se pudermos escrevê-la na forma n
POLINÔMIO I 1. DEFINIÇÃO Polinômios de uma variável são expressões que podem ser escritas como soma finita de monômios do tipo : a t k k onde k, a podem ser números reais ou números complexos. Exemplos:
Leia maisFácil e Poderoso. Dinâmica 1. 3ª Série 4º Bimestre. DISCIPLINA Série CAMPO CONCEITO. Matemática 3ª do Ensino Médio Algébrico-Simbólico
Fácil e Reforço escolar M ate mática Poderoso Dinâmica 1 3ª Série 4º Bimestre DISCIPLINA Série CAMPO CONCEITO Matemática 3ª do Ensino Médio Algébrico-Simbólico Polinômios e Equações Algébricas. Primeira
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática 3 a Lista - MAT 137 - Introdução à Álgebra Linear 2017/II 1. Sejam u = ( 4 3) v = (2 5) e w = (a b).
Leia maisTodos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
Leia maisUnidade 3: Linguagem de programação
Unidade 3: Linguagem de programação 3.5. Trabalhando com polinômios, vetores e matrizes O programa Scilab trabalha com polinômios, vetores e matrizes de forma similar a vários pacotes computacionais disponíveis
Leia maisSemana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos
Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de
Leia maisA = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.
Capítulo 1 Números Reais 1.1 Conjuntos Numéricos Um conjunto é uma coleção de elementos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos
Leia maisNúmeros naturais e cardinalidade
Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde
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 maisAndamento da apresentação
Andamento da apresentação 1 Discussão informal Linguagem formal Abreviaturas Exemplos de linguagens de primeira ordem Variáveis livres e ligadas; substituição de variáveis Teoremas de unicidade de representação
Leia maisLógica Computacional. Indução Matemática. Definições Indutivas. Demonstrações por Indução. Exemplos. 25 Novembro 2013 Lógica Computacional 1
Lógica Computacional Indução Matemática Definições Indutivas Demonstrações por Indução Exemplos 25 Novembro 2013 Lógica Computacional 1 Demonstração de Fórmulas Universais - Quer no sistema DN de dedução
Leia maisMétodo de Newton para polinômios
Método de Newton para polinômios Alan Costa de Souza 26 de Agosto de 2017 Alan Costa de Souza Método de Newton para polinômios 26 de Agosto de 2017 1 / 31 Seja f(x) uma função polinomial de grau n. A princípio.
Leia maisFundamentos Tecnológicos
Fundamentos Tecnológicos Equações Algébricas e Equação de 1º Grau Início da aula 06 Equações Algébricas Expressões Algébricas - Definição Expressões algébricas são expressões matemáticas que apresentam
Leia maisPOLINÔMIOS 1. INTRODUÇÃO Uma função é dita polinomial quando ela é expressa da seguinte forma:
POLINÔMIOS 1. INTRODUÇÃO Uma função é dita polinomial quando ela é expressa da seguinte forma: n P(x) a a x a x... a x, onde 0 1 n Atenção! o P(0) a 0 o P(1) a a a... a 0 1 n a 0,a 1,a,...,a n :coeficientes
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisEQUAÇÕES POLINOMIAIS
EQUAÇÕES POLINOMIAIS Prof. Patricia Caldana Denominamos equações polinomiais ou algébricas, as equações da forma: P(x)=0, onde P(x) é um polinômio de grau n > 0. As raízes da equação algébrica, são as
Leia maisLógica Computacional. Indução Matemática. Definições Indutivas. Demonstrações por Indução. Exemplos. 12 Dezembro 2016 Lógica Computacional 1
Lógica Computacional Indução Matemática Definições Indutivas Demonstrações por Indução Exemplos 12 Dezembro 2016 Lógica Computacional 1 Demonstração de Fórmulas Universais - Quer no sistema DN de dedução
Leia maisCálculo Numérico / Métodos Numéricos. Solução de equações polinomiais Briot-Ruffini-Horner
Cálculo Numérico / Métodos Numéricos Solução de equações polinomiais Briot-Ruffini-Horner Equações Polinomiais p = x + + a ( x) ao + a1 n x n Com a i R, i = 0,1,, n e a n 0 para garantir que o polinômio
Leia maisErivaldo. Polinômios
Erivaldo Polinômios Polinômio ou Função Polinomial Definição: P(x) = a o + a 1.x + a 2.x 2 + a 3.x 3 +... + a n.x n a o, a 1, a 2, a 3,..., a n : Números complexos Exemplos: 1) f(x) = x 2 + 3x 7 2) P(x)
Leia mais4 ÁLGEBRA ELEMENTAR. 4.1 Monômios e polinômios: valor numérico e operações.
4 ÁLGEBRA ELEMENTAR 4.1 Monômios e polinômios: valor numérico e operações. 4.1.1 - Introdução: As expressões algébricas que equacionam os problemas conduzem logicamente à sua solução são denominados polinômios
Leia maisEQUAÇÃO DO 2º GRAU. Prof. Patricia Caldana
EQUAÇÃO DO 2º GRAU Prof. Patricia Caldana Uma equação é uma expressão matemática que possui em sua composição incógnitas, coeficientes, expoentes e um sinal de igualdade. As equações são caracterizadas
Leia maisMA12 - Unidade 1 Números Naturais
MA12 - Unidade 1 Números Naturais Paulo Cezar Pinto Carvalho PROFMAT - SBM February 25, 2013 Os Números Naturais Números Naturais: modelo abstrato para contagem. N = {1, 2, 3,...} Uma descrição precisa
Leia maisAula 1. e o conjunto dos inteiros é :
Aula 1 1. Números reais O conjunto dos números reais, R, pode ser visto como o conjunto dos pontos da linha real, que serão em geral denotados por letras minúsculas: x, y, s, t, u, etc. R é munido de quatro
Leia maisDeterminação de raízes de polinômios: Método de Briot-Ruffini-Horner
Determinação de raízes de polinômios: Marina Andretta/Franklina Toledo ICMC-USP 13 de maio de 2015 Baseado no livro Cálculo Numérico, de Neide B. Franco Marina Andretta/Franklina Toledo (ICMC-USP) sme0301
Leia maisConjuntos Numéricos Conjunto dos números naturais
Conjuntos Numéricos Conjunto dos números naturais É indicado por Subconjuntos de : N N e representado desta forma: N N 0,1,2,3,4,5,6,... - conjunto dos números naturais não nulos. P 0,2,4,6,8,... - conjunto
Leia maisDeterminação de raízes de polinômios: Método de Briot-Ruffini-Horner
Determinação de raízes de polinômios: Método de Briot-Ruffini-Horner Marina Andretta/Franklina Toledo ICMC-USP 29 de outubro de 2012 Baseado no livro Cálculo Numérico, de Neide B. Franco Marina Andretta/Franklina
Leia maisFórmulas da lógica proposicional
Fórmulas da lógica proposicional As variáveis proposicionais p, q, são fórmulas (V P rop ) é fórmula (falso) α e β são fórmulas, então são fórmulas (α β), (α β), (α β) e ( α) DCC-FCUP -TAI -Sistemas Dedutivos
Leia mais19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.
LIVRO Princípio da Boa Ordem META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: Aplicar o princípio
Leia maisFunções Racionais, Exponenciais e Logarítmicas
Funções Racionais, Exponenciais e Logarítmicas Aula 3 590253 Plano da Aula Definição de Função Racional Função Exponencial e Logarítmica Função Inversa Exercícios Referências James Stewart Cálculo Volume
Leia maisCurso de linguagem matemática Professor Renato Tião
Alterações gráficas e funções compostas Considere pequenas alterações na sentença algébrica que define uma função f, como por exemplo, mudar o sinal do x na função f(x) = 2x + 3. Se esta alteração for
Leia maisUnidade I MATEMÁTICA. Prof. Celso Ribeiro Campos
Unidade I MATEMÁTICA Prof. Celso Ribeiro Campos Números reais Três noções básicas são consideradas primitivas, isto é, são aceitas sem a necessidade de definição. São elas: a) Conjunto. b) Elemento. c)
Leia maisr O GABARITO - QUALIFICAÇÃO - Março de 2013
GABARITO - QUALIFICAÇÃO - Março de 013 Questão 1. (pontuação: 1,5) É dado um retângulo ABCD tal que em seu interior estão duas circunferências tangentes exteriormente no ponto T, como mostra a figura abaixo.
Leia maisPolinômios (B) 4 (C) 2 (D) 1 3 (E). 2
Polinômios. (ITA 2005) No desenvolvimento de (ax 2 2bx + c + ) 5 obtém-se um polinômio p(x) cujos coeficientes somam 32. Se 0 e são raízes de p(x), então a soma a + b + c é igual a (A) 2 (B) 4 (C) 2 (D)
Leia maisPOLINÔMIOS. Nível Básico
POLINÔMIOS Nível Básico. (Eear 07) Considere P(x) x bx cx, tal que P() e P() 6. Assim, os valores de b e c são, respectivamente, a) e b) e c) e d) e. (Epcar (Afa) 05) Considere o polinômio a) x 0 não é
Leia maisSistema dedutivo. Sistema dedutivo
Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica
Leia maisHewlett-Packard CONJUNTOS NUMÉRICOS. Aulas 01 a 08. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos
Hewlett-Packard CONJUNTOS NUMÉRICOS Aulas 01 a 08 Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos Ano: 2019 Sumário CONJUNTOS NUMÉRICOS... 2 Conjunto dos números Naturais... 2 Conjunto dos números
Leia maisAnálise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados
Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados A lista abaixo é formada por um subconjunto dos exercícios dos seguintes livros: Djairo G. de Figueiredo, Análise na reta Júlio
Leia maisConjuntos Contáveis e Não Contáveis / Contagem
Conjuntos Contáveis e Não Contáveis / Contagem Introdução A história nos mostra que desde muito tempo o homem sempre teve a preocupação em contar objetos e ter registros numéricos. Seja através de pedras,
Leia maisAulas Práticas. 1ª Aula Prática Perguntas sobre a Implementação de Funções Simples na Máquina URM...1
Aulas Práticas 1ª Aula Prática Perguntas sobre a Implementação de Funções Simples na Máquina URM...1 2ª Aula Prática Perguntas sobre a Implementação de Funções Recursivas na Máquina URM...2 3ª Aula Prática
Leia maisFunções Polinomiais com Coeficientes Complexos. Quantidade de Raízes e Consequências. 3 ano E.M. Professores Cleber Assis e Tiago Miranda
Funções Polinomiais com Coeficientes Complexos Quantidade de Raízes e Consequências 3 ano E.M. Professores Cleber Assis e Tiago Miranda Funções Polinomiais com Coeficientes Complexos Quantidade de Raízes
Leia maisGABARITO. 01) a) c) VERDADEIRA P (x) nunca terá grau zero, pelo fato de possuir um termo independente de valor ( 2).
01) a) P (1) = 1 + 7 1 17 1 P (1) = 1 + 7 17 P (1) = 11 P (1) é sempre igual a soma dos coeficientes de P (x) b) P (0) = 0 + 7 0 17 0 P (0) = 0 + 0 0 P (0) = P (0) é sempre igual ao termo independente
Leia maisPolinômios. 2) (ITA-1962) Se x³+px+q é divisível por x²+ax+b e x²+rx+s, demonstrar que:
Material by: Caio Guimarães Polinômios A seguir, apresento uma lista de vários exercícios propostos (com gabarito) sobre polinômios. Os exercícios são para complementar a vídeo-aula a respeito de polinômios
Leia maisConjuntos Numéricos. É o conjunto no qual se encontram os elementos de todos os conjuntos estudados.
Conjuntos Numéricos INTRODUÇÃO Conjuntos: São agrupamentos de elementos com algumas características comuns. Ex.: Conjunto de casas, conjunto de alunos, conjunto de números. Alguns termos: Pertinência Igualdade
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 maisIntrodução aos Métodos de Prova
Introdução aos Métodos de Prova Renata de Freitas e Petrucio Viana IME-UFF, Niterói/RJ II Colóquio de Matemática da Região Sul UEL, Londrina/PR 24 a 28 de abril 2012 Sumário Provas servem, principalmente,
Leia maisFunções Polinomiais com Coeficientes Complexos. Teorema do Resto. 3 ano E.M. Professores Cleber Assis e Tiago Miranda
Funções Polinomiais com Coeficientes Complexos Teorema do Resto 3 ano E.M. Professores Cleber Assis e Tiago Miranda Funções Polinomiais com Coeficientes Complexos Teorema do Resto 1 Exercícios Introdutórios
Leia mais6. Verifique detalhadamente que os seguintes conjuntos são espaços vetoriais(com a soma e produto por escalar usuais):
a Lista. Sejam u = ( 4 ) v = ( 5) e w = (a b). Encontre a e b tais que (a)w = u + v (b)w = 5v (c)u + w = u v. Represente os vetores acima no plano cartesiano.. Sejam u = (4 ) v = ( 4) e w = (a b c). Encontre
Leia mais1 0 para todo x, multiplicando-se os dois membros por. 2x 1 0 x 1 2. b a x. ba 2. e b 2 c
CAPÍTULO 1 Exercícios 1..n) Como x 0 para todo x, o sinal de x(x ) é o mesmo que o de x; logo, x(x ) 0 para x 0; x(x ) 0 para x 0; x(x ) 0 para x 0.. n) Como x 1 1 0 para todo x, multiplicando-se os dois
Leia maisO espião que me amava
Reforço escolar M ate mática O espião que me amava Dinâmica 2 3ª Série 4º Bimestre DISCIPLINA Série CAMPO CONCEITO Matemática Ensino Médio 3ª Algébrico-Simbólico. Polinômios e Equações Algébricas. Aluno
Leia maisMAT Resumo Teórico e Lista de
MAT 0132 - Resumo Teórico e Lista de Exercícios April 10, 2005 1 Vetores Geométricos Livres 1.1 Construção dos Vetores 1.2 Adição de Vetores 1.3 Multiplicação de um Vetor por um Número Real 2 Espaços Vetoriais
Leia mais0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida.
Lic. Ciências da Computação Exercícios - Folha 1 0. Definições indutivas 0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida. (1) {1} S (2) X S X \ {1} S (3)
Leia maisNúmeros são números, letras são números e sinais de pontuação, símbolos e até mesmo as instruções do próprio computador são números.
Para o computador, tudo são números. Números são números, letras são números e sinais de pontuação, símbolos e até mesmo as instruções do próprio computador são números. O método ao qual estamos acostumados
Leia maisExercícios de Aprofundamento 2015 Mat - Polinômios
Exercícios de Aprofundamento 05 Mat - Polinômios. (Espcex (Aman) 05) O polinômio (x) x x deixa resto r(x). Sabendo disso, o valor numérico de r( ) é a) 0. b) 4. c) 0. d) 4. e) 0. 5 f(x) x x x, uando dividido
Leia maisS is temas numéricos e a Repres entação Interna dos Dados no Computador
S is temas numéricos e a Repres entação Interna dos Dados no Computador Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL: http://www.inf.ufsc.br~silveira Material elaborado pelo
Leia maisPor meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler.
REPRESENTAÇÕES Um conjunto pode ser representado da seguinte maneira: Enumerando seus elementos entre chaves, separados por vírgulas; Exemplos: A = { 1, 0, 1} N = {0, 1, 2, 3, 4,...} Indicando, entre chaves,
Leia maisResolução Exe 2.12 Monolítico Recursivo
Resolução Exe 2.12 Monolítico Recursivo Recursivo P R é R 1 onde R 1 def (se T1 então R 2 senão R 3 ) R 2 def F; R 3 R 3 def (se T2 então R 4 senão R 7 ) R 4 def G; R 5 R 5 def (se T1 então R 7 senão R
Leia maisPolinômios. Acadêmica: Vanessa da Silva Pires
Polinômios Acadêmica: Vanessa da Silva Pires Situação 01: Se você somar 1 ao produto de quatro inteiros consecutivos, o resultado sempre será um quadrado perfeito. Situação 02: Na resolução de problemas,
Leia maisExpressão Numérica, Geometria Espacial, Múltiplos, Divisores, MMC, MDC. Profª Gerlaine 6º Ano
Expressão Numérica, Geometria Espacial, Múltiplos, Divisores, MMC, MDC. Profª Gerlaine 6º Ano EXPRESSÃO NUMÉRICA Um monstro ou uma bela senhora, a forma como vemos a Matemática é produto dos nossos esforços
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 maisCálculo Diferencial e Integral I
Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito
Leia maisMatemática A - 10 o Ano
Matemática A - 10 o Ano Resolução da Ficha de Trabalho Álgebra - Divisão Inteira de Polinómios Grupo I 1. Considerando os polinómios p e b no enunciado temos que o termo de maior grau de p b é a nx n b
Leia maisassim são válidas devido à sua estrutura e ao significado dos quantificadores universal e existencial
LÓGICA DE PREDICADOS Na ló predicados uma wff verdadeira significa uma wff vá lida, isto é, uma wff que seja válida em qualquer interpretação possível. AXIOMAS E REGRAS DE INFERêNCIA: wffs predicativas
Leia maisESCOLA TÉCNICA ESTADUAL FREDERICO GUILHERME SCHMIDT
PRODUTOS NOTÁVEIS Quadrado da soma de dois termos (a + b) 2 = a 2 + 2ab + b 2 quadrado do segundo termo primeiro termo 2 x (primeiro termo) x (segundo termo) quadrado do primeiro termo segundo termo Quadrado
Leia maisLÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre 2005/2006
FUNDAMENTOS UNIVERSIDADE da MADEIRA Departamento de Matemática e Engenharias LÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre
Leia maisUnidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013
MA33 - Introdução à Álgebra Linear Unidade 5 - Subespaços vetoriais A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Às vezes, é necessário detectar, dentro
Leia maisEsp. Vet. I. Espaços Vetoriais. Espaço Vetorial. Combinações Lineares. Espaços Vetoriais. Espaço Vetorial Combinações Lineares. Esp. Vet.
Definição (R n 1 a Parte R n é o conjunto das n-uplas ordenadas de números reais. (1,, R Paulo Goldfeld Marco Cabral (1, (, 1 R Departamento de Matemática Aplicada Universidade Federal do Rio de Janeiro
Leia maisAULA TEÓRICA RESOLUÇÃO DE PROBLEMAS 4ª
AULA TEÓRICA RESOLUÇÃO DE PROBLEMAS 4ª Aula por Helder Coelho IIA 1 REPRESENTAÇÃO E INTELIGÊNCIA QUESTÕES PARA DISCUSSÃO: Transformação do problema compreender o problema reflectir/pensar o problema lógica,
Leia maisExemplos: a) b) c)
Expressões Numéricas são sentenças matemáticas que aparecem dois ou mais números relacionados por sinais de operações. Veremos primeiramente expressões numéricas envolvendo adição e subtração. Exemplos:
Leia maisExercícios Complementares de Matemática
Exercícios Complementares de Matemática Professora: Beatriz Dias dos Reis Nome: Nº: 1º trimestre - 018 Caro aluno, Aqui você encontra exercícios complementares das matérias que estamos estudando no caderno
Leia maisCapítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago
Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando
Leia mais8º ANO. Lista extra de exercícios
8º ANO Lista extra de exercícios . Determine os valores de x que tornam as equações a seguir verdadeiras. a) (x + 4)(x ) = 0 b) (x + 6)(x ) = 0 c) (x + )(6x 9) = 0 d) 4x(x ) = 0 e) 7x(x ) = 0. Determine
Leia maisLista: Lógica Proposicional - Dedução Natural (Gabarito)
Universidade de Brasília - Instituto de Ciências Exatas Departamento de Ciência da Computação CIC 117366 Lógica Computacional 1 - Turmas A e B (2018/1) 16 de abril de 2018 Lista: Lógica Proposicional -
Leia maisP(z)=a n z n + +a 1 z+a 0. é um polinômio com coeficientes complexos a n,...,a 0 e na indeterminada z. Tal. acima é também descrito como
Ano 2015 ALGORITMO DE EUCLIDES PARA A DIVISÃO DE POLINÔMIOS Professor Oswaldo Rio Branco de Oliveira http://www.ime.usp.br/~oliveira oliveira@ime.usp.br Dados n+1 números complexos a n,a n 1,...,a 1,a
Leia maisRADICIAÇÃO, POTENCIAÇÃO, LOGARITMAÇÃO. Potência POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS. Potenciação 1
RADICIAÇÃO, POTENCIAÇÃO, LOGARITMAÇÃO Potência 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
Leia maisOperações Básicas, Conjuntos, Fatorações, Exponenciação e Logaritmos
Operações Básicas, Conjuntos, Fatorações, Exponenciação e Logaritmos Alexandre Alborghetti Londero Pré UFSC/UFSC Blumenau 1 Operações Básicas Adição e Subtração Operações que reúnem ou excluem objetos
Leia maisA DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações
Leia maisMESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito. a(x x 0) = b(y 0 y).
MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 016.1 Gabarito Questão 01 [ 1,00 ::: (a)=0,50; (b)=0,50 ] (a) Seja x 0, y 0 uma solução da equação diofantina ax + by = c, onde a, b são inteiros
Leia maisTeoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.
Pós-Graduação em Ciência da Computação DCC/ICEx/UFMG Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9. Observações: Pontos
Leia maisO sucessor de um inteiro par é ímpar (1) (2) 2 é um inteiro par Alguns mamíferos são ferozes
62 Parte 2 LÓGICA de PREDICADOS A lógica de predicados de primeira ordem é uma extensão da logica proposicional para uma linguagem mais rica, portanto de maior poder de expressão Argumentos como Todos
Leia maisNúmeros e Funções Reais, E. L. Lima, Coleção PROFMAT.
Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 2 - Seções 2.3, 2.4, 2.5 e 2.6 do livro texto da disciplina: Números
Leia mais3 - Subespaços Vetoriais
3 - Subespaços Vetoriais Laura Goulart UESB 16 de Agosto de 2018 Laura Goulart (UESB) 3 - Subespaços Vetoriais 16 de Agosto de 2018 1 / 10 Denição Um subespaço vetorial é um subconjunto de um e.v.r. que
Leia maisSinais iguais, soma e conserva o sinal. Sinais diferentes, subtrai e conserva o sinal do maior.
Curso preparatório SEED-PR Data Escolaridade: Nível médio; Possíveis organizadoras: COPS.UEL, NC.UFPR ou PUC.PR Início do curso: 29/01 Término: 03/05 Aulas: Segunda a quinta-feira MATEMÁTICA 1-Sistema
Leia maisC Operadores e Expressões
C Operadores e Expressões Adriano Cruz adriano@nce.ufrj.br Instituto de Matemática Departamento de Ciência da Computação UFRJ 15 de agosto de 2013 Adriano Cruz adriano@nce.ufrj.br (IM-DCC-UFRJ)C Operadores
Leia maisCapítulo 04 : Sistemas Numéricos
Departamento de Engenharia Elétrica FEIS - UNESP Capítulo 04 : Sistemas Numéricos 1.1 - Representação de Quantidades Numéricas Analógica Digital 1.2 - Sistemas Numéricos 1. 3 1.2 - Sistemas Numéricos 1.2
Leia maisOPERAÇÕES COM NÚMEROS INTEIROS
ADIÇÃO DE NÚMEROS INTEIROS COM SINAIS IGUAIS OPERAÇÕES COM NÚMEROS INTEIROS 1º Caso: (+3 ) + (+4) = + 7 +3 + 4 = + 7 ADIÇÃO DE NÚMEROS INTEIROS Quando duas parcelas são positivas, o resultado da adição
Leia maisQUESTÕES DE VESTIBULARES
QUESTÕES DE VESTIBULARES 01- (ACAFE) Dados os polinômios: p(x) = 5-2x + 3x 2, q(x) = 7 + x + x 2 - x 3 e r(x) = 1-3x + x 4. O valor de p(x) + r (x) - q(x) para x = 2 é: A) 5 B) 13 C) 11 D) 24 E) 19 02-
Leia maisMatemática E Intensivo V. 2
Matemática E Intensivo V. Exercícios 0) E P 6 6! 70 0) motorista possibilidades p. p. p. p. p 8 possibilidades 0) motorista P 6. P 0 0) E P 0 68800 Então precisam de 68800 dias. Aproximadamente 99,9 anos
Leia maisSISTEMA DECIMAL. No sistema decimal o símbolo 0 (zero) posicionado à direita implica em multiplicar a grandeza pela base, ou seja, por 10 (dez).
SISTEMA DECIMAL 1. Classificação dos números decimais O sistema decimal é um sistema de numeração de posição que utiliza a base dez. Os dez algarismos indo-arábicos - 0 1 2 3 4 5 6 7 8 9 - servem para
Leia maisDenominamos equação polinomial ou equação algébrica de grau n a toda equação da forma:
EQUAÇÕES POLINOMIAIS. EQUAÇÃO POLINOMIAL OU ALGÉBRICA Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma: p(x) = a n x n + a n x n +a n x n +... + a x + a 0 = 0 onde
Leia maisConteúdos para o teste de ingresso MATEMÁTICA agosto 2018 (Ingresso em 2019) INGRESSO DE 6ª PARA 7º. ANO/2019 DO ENSINO FUNDAMENTAL
Conteúdos para o teste de ingresso MATEMÁTICA agosto 2018 (Ingresso em 2019) INGRESSO DE 6ª PARA 7º. ANO/2019 DO ENSINO FUNDAMENTAL Operações com números naturais: adição, subtração, multiplicação, divisão,
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia maisCapítulo 9: Linguagens sensíveis ao contexto e autômatos linearmente limitados.
Capítulo 9: Linguagens sensíveis ao contexto e autômatos linearmente limitados. José Lucas Rangel 9.1 - Introdução. Como já vimos anteriormente, a classe das linguagens sensíveis ao contexto (lsc) é uma
Leia maisArquitetura de Computadores
Engenharia da Computação Universidade Católica de Petrópolis Arquitetura de Computadores Sistema de Numeração v. 0.1 Luís Rodrigo de O. Gonçalves luisrodrigoog@gmail.com Petrópolis, 1 de Março de 2016
Leia mais2. Expressões Algébricas, Equações e Inequações
Capítulo 2 2. Expressões Algébricas, Equações e Inequações Como exposto no tópico 1.3, uma expressão algébrica é uma a expressão matemática na qual se faz uso de letras, números e operações aritméticas.
Leia maisMATEMÁTICA PROF. JOSÉ LUÍS FRAÇÕES
FRAÇÕES I- INTRODUÇÃO O símbolo a / b significa a : b, sendo a e b números naturais e b diferente de zero. Chamamos: a / b de fração; a de numerador; b de denominador. Se a é múltiplo de b, então a / b
Leia maisGeometria Plana - Aula 01
Geometria Plana - Aula 01 Elaine Pimentel Universidade Federal de Minas Gerais, Departamento de Matemática Geometria Plana Especialização 2008 - p. 1 Esquema da aula O que é um sistema axiomático. Conceitos
Leia maisProdutos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Leia maisLógica Computacional 1 Turma A Primeira Prova (Gabarito)
Lógica Computacional 1 Turma A Primeira Prova (Gabarito) Indução e Dedução no Cálculo Proposicional Prof Mauricio Ayala-Rincón Departamento de Ciência da Computação, Instituto de Ciências Exatas Universidade
Leia maisOperadores. Gustavo Queiroz Fernandes
Gustavo Queiroz Fernandes Atualizado em: 27/04/2019 Sumário Objetivos... 1 Pré-requisitos... 1 Recursos e Materiais... 1 Última Atualização... 1 1. Operações aritméticas... 1 2. Operações relacionais...
Leia mais