Faculdade de Computação
|
|
- Adelina Terra Rosa
- 7 Há anos
- Visualizações:
Transcrição
1 UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação Professora : Sandra Aparecida de Amo Lista de Exercícios n o 2 Exercícios sobre Modelos de Máquinas de Turing 1. Uma máquina de Turing com fita duplamente infinita é similar ao nosso modelo simples exceto que sua fita é infinita à esquerda e à direita. A fita é inicialmente preenchida com brancos, exceto para a porção que contém o input. A computação é definida como de costume, exceto pelo fato de que o ponteiro de controle nunca encontra o fim da fita a medida que se move para a esquerda (como é o caso da fita comum). Mostre que este tipo de modelo de Máquina de Turing pode ser simulado pelo modelo simples de uma fita limitada à esquerda e vice-versa. Portanto, os dois modelos são equivalentes. 2. Uma máquina de Turing com reset à esquerda é é similar ao nosso modelo simples exceto que a função de transição δ tem a forma : δ : Q Γ Q Γ {R, RESET } Se δ(q, a) = (r, b, RESET ) quando a máquina está no estado q lendo o símbolo a na fita, então escreve b no lugar do a, entra no estado r e o ponteiro do controle pula para a posição mais à esquerda na fita. Repare que este tipo de máquina não tem a habilidade de mover uma casa para a esquerda. Só tem a habilidade de mover uma casa para a direita e de voltar para trás até a posição inicial. Mostre que este tipo de modelo de Máquina de Turing pode ser simulado pelo modelo simples de uma fita limitada à esquerda e vice-versa. Portanto, os dois modelos são equivalentes. Exercícios sobre Problemas e Linguagens Decidíveis e Turing-reconhíveis Modelo : como provar que um problema é decidível (a) Primeiramente, é preciso verificar se todos os elementos envolvidos na descrição do problema estão bem definidos. (b) Deixar bem claro : (1) qual é o input do problema, (2) qual a pergunta do problema, (3) a resposta é do tipo sim ou não? 1
2 (c) Dar uma codificação do input do problema em forma de string. A codificação deve ser tal que : (1) a todo input I está associado um único string denotado por < I >, (2) a todo string na imagem da função codificação existe um input I (único) correspondente (é possível decodificar de forma única um string). (d) Dar a descrição em alto nível e se for pedido, dar também a descrição de implementação da Máquina de Turing que resolve o problema. EXEMPLO - Considere o seguinte problema : Dado um grafo não dirigido, o grafo é conexo? (a) Todos os elementos envolvidos no enunciado estão bem definidos? Grafo : Um grafo G é um par (V,E) onde V é um conjunto de vértices e E é um conjunto de conjuntos de dois elementos {A,B}, onde A e B são vértices. Grafo Conexo : Um grafo (V,E) é dito conexo se para quaisquer v, u V existem arestas a 1,..., a n E tais que a 1 = (v, x 1 ), a 2 = (x 1, x 2 ),..., a n = (x n 1, u) (as arestas formam um caminho ligando v e u). (b) (1) Input do Problema = um grafo, (2) Pergunta do Problema : o grafo é conexo? (3) A resposta é do tipo sim ou não. (c) Codificação do input em forma de string : Seja G = (V,E) onde V = {v 1,..., v n }, E = {e 1,..., e m }. O string que codifica G é dado por : onde (e i ) = (a, b) se a aresta e i = {a, b}. (v 1,..., v n )((e 1 )(e 2 )...(e m )) Exemplo : se V = {1,2,3,4} e E = { {1,2}, {1,3}, {2,4} } então a codificação do grafo é dada pelo string : (1, 2, 3, 4)((1, 2)(1, 3)(2, 4)) (d) Descrição em alto nível do algoritmo que decide se um grafo é ou não conexo : M = No input < G >, faça : i. Selecione o primeiro vértice de G e marque-o. ii. Repita o seguinte passo até que não existam novos vértices marcados : iii. Para cada vértice de G, marque-o se ele estiver ligado a um vértice que já foi marcado. iv. Varra os vértices de G para determinar se todos estão marcados. Se estiverem, responda Sim. Caso contrário, responda Não. (e) Descrição da implementação de uma Máquina de Turing que aceita somente strings que correspondem a grafos conexos e rejeita todos os strings que correspondem a grafos não conexos. M = No input < G >, faça : 2
3 i. M testa se o string do input é a codificação de um grafo G. Se for, continue. Se não for, páre no estado q r. ii. M marca com um ponto o primeiro vértice da parte do input correspondente aos vértices. iii. M escaneia os vértices até encontrar o primeiro vértice n 1 não marcado com um ponto. M marca este vértice com um traço. M escaneia novamente a lista dos vértices e seleciona o primeiro que tem um ponto. Vamos chamá-lo de n 2. Marca este vértice com um um traço também. iv. M escaneia a parte do string correspondente às arestas e testa se existe uma aresta contendo n 1 e n 2. Se existir, M marca n 1 com um ponto, retira os traços de n 1 e n 2 e recomeça do passo 3. Se não existir, M retira o traço de n 2 e procura o próximo vértice (diferente do n 2 ) marcado com um ponto. Chamo este novo vértice de n 2 e repete o passo 4. v. Se não existir mais nenhum vértice marcado com ponto para ser testado junto com n 1, então n 1 não está ligado a nenhum vértice marcados com pontos. Neste caso, M vai para o passo 3 (neste passo, o primeiro vértice que M vai encontrar sem ponto será o primeiro depois do atual n 1 ). vi. M escaneia a lista dos vértices para determinar se todos estão marcados com um ponto. Se for o caso, M entra no estado q a e portanto aceita o string de input. Caso contrário, M entra no estado q r e para o qual não existem mais movimentos futuros (logo, M pára no estado q r e portanto rejeita o string de input). 3. Considere a Máquina de Turing M descrita no modelo acima. Considere o seguinte grafo G = (V,E), onde V = {1,2,3,4,5} e E = { {1,3}, {3,5}, {4,5}, {2,5} }. Descreva o funcionamento da máquina de Turing M no input G. 4. Considere o seguinte problema : Dado um grafo não-dirigido etiquetado (com labels) e um número B, determinar se existe um circuito no grafo com comprimento B. Definições dos termos que aparecem no problema : Grafo dirigido etiquetado : G = (V,E) onde V = {v 1,..., v n } e E = {({a, b}, d) a, b V e d é um inteiro positivo }. Isto é E é um conjunto formado por pares de arestas junto com um número indicando o comprimento da aresta. Um circuito de G é uma sequência de arestas (a 1, a 2 ), (a 2, a 3 ), (a 3, a 4 ),..., (a k, a 1 ) tais que o conjunto dos vértices que aparecem nestas arestas {a 1,..., a k } é igual a V (todos os vértices são visitados). Comprimento de um circuito : soma de todos os labels correspondentes às arestas que aparecem no circuito. Pede-se : (a) Identifique o problema e diga se se trata de um problema de decisão. (b) Dê uma codificação do input do problema. 3
4 (c) Diga se o problema é decidível. Em caso afirmativo, dê a descrição em alto nível e a descrição de implementação da Máquina de Turing que resolve o problema (sempre pára para qualquer input). Não é necessário dar a descrição formal da Máquina de Turing. 5. Seja P um problema. Sejam c 1 e c 2 duas codificações dos inputs de P. Suponha que exista uma Máquina de Turing M 1 que transforma um string c 1 (I) num string c 2 (I), isto é, o código do input I segundo a primeira codificação pode ser transformado no código do input I segundo a segunda codificação, via uma Máquina de Turing M. Mostre que se existir uma máquina de Turing M 2 que resolve o problema P, onde o input é codificado segundo a segunda codificação então existe uma máquina de Turing M 1 que resolve o problema P, onde o input é codificado segundo a primeira codificação. Isto é : o fato de um problema ser ou não decidível não depende da maneira como seu input é codificado! 6. Dê descrições em nível de implementação de máquinas de Turing que decidem as seguintes linguagens sobre o alfabeto {0,1}. (a) {w w contém o mesmo número de 0 s e 1 s } (b) {w o número de 0 s em w é o dobro do número de 1 s} (c) {w w o número de 0 s em w não é igual ao dobro do número de 1 s} 7. Mostre que o conjunto das linguagens decidíveis (ou recursivas) é fechado com relação às seguintes operações : (a) união (b) concatenação (c) star (d) complementação (e) intersecção 8. Mostre que toda linguagem finita é decidível. 9. Seja A a linguagem contendo um único string s, onde : s = 0 se Deus existe s = 1 se Deus não existe Esta linguagem é decidível? Por que? Note que a resposta não depende de suas convicções religiosas! 10. Explique por que o seguinte texto não corresponde a nenhum tipo de descrição de uma máquina de Turing. O input é um polinômio p com as variáveis x 1,..., x n. Suponha que < p > é uma codificação de p : M = No input < p > : 4
5 1. Teste se < p > corresponde ao código de um polinômio com as variáveis x 1,..., x n. 2. Tente todas as possibilidades de associar valores inteiros a x 1,..., x n. 3. Teste p para cada uma destas possibilidades. 4. Se para uma das possibilidades, o teste em p der zero, entre no estado q a. 5. Se para nenhuma destas possibilidades, o teste em p der zero, entre no estado q r e páre. 11. Seja L uma linguagem e suponha que exista uma função parcial recursiva F é crescente e Imagem(F) = L. Mostre que L é decidível. Uma função f : N X é dita parcial recursiva se existe uma máquina de Turing M tal que, após executar M no input n, caso M parar num estado de aceitação, o resultado na fita é f(n). Veja que função parciais recursivas podem não estar definidas para todo N. Em alguns pontos ela pode entrar em loop. Repare que o fato de existir uma função parcial recursiva tal que Imagem(F) = L, significa que é possível enumerar os elementos de L por uma Máquina de Turing. O que o exercício está pedindo é o seguinte : se existir uma maneira de enumerar os elementos de uma linguagem de forma crescente através de uma máquina de Turing, então é possível decidir se um string pertence ou não a linguagem L. 5
Faculdade de Computação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação Professora : Sandra de Amo Solução da Lista de Exercícios n o 6 - Problemas Indecidiveis Exercicio 7-5.5 do
Leia maisMáquinas de Turing 1
Máquinas de Turing 1 Agenda Máquinas de Turing (TM) Alan Turing Motivação Tese de Church-Turing Definições Computação Configuração de TM Reconhecedores vs. Decisores 2 Alan Turing Alan Turing é um dos
Leia maisCAPÍTULO 2. Grafos e Redes
CAPÍTULO 2 1. Introdução Um grafo é uma representação visual de um determinado conjunto de dados e da ligação existente entre alguns dos elementos desse conjunto. Desta forma, em muitos dos problemas que
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 2 - FUNDAMENTOS 2.1) Teoria dos Conjuntos 2.2) Números
Leia maisPESQUISA OPERACIONAL TEORIA DOS GRAFOS
PESQUISA OPERACIONAL TEORIA DOS GRAFOS Um grafo G(V,A) pode ser conceituado como um par de conjuntos V e A, onde: V - conjunto não vazio cujos elementos são de denominados vértices ou nodos do grafo; A
Leia maisLista n 0 1 de Exercícios de Teoria da Computação
Lista n 0 1 de Exercícios de Teoria da Computação UFU-Curso de Bacharelado em Ciência da Computação - 7 0 período Profa. Sandra de Amo Exercícios de Revisão : Autômatos e Gramáticas 1. Mostre que a linguagem
Leia maisPotenciação no Conjunto dos Números Inteiros - Z
Rua Oto de Alencar nº 5-9, Maracanã/RJ - tel. 04-98/4-98 Potenciação no Conjunto dos Números Inteiros - Z Podemos epressar o produto de quatro fatores iguais a.... por meio de uma potência de base e epoente
Leia maisAnálise de Arredondamento em Ponto Flutuante
Capítulo 2 Análise de Arredondamento em Ponto Flutuante 2.1 Introdução Neste capítulo, chamamos atenção para o fato de que o conjunto dos números representáveis em qualquer máquina é finito, e portanto
Leia maisAlgoritmos e Estruturas de Dados I 01/2013. Estruturas Condicionais e de Repetição (parte 2) Pedro O.S. Vaz de Melo
Algoritmos e Estruturas de Dados I 01/2013 Estruturas Condicionais e de Repetição (parte 2) Pedro O.S. Vaz de Melo Problema 1 Suponha que soma (+) e subtração (-) são as únicas operações disponíveis em
Leia maisProgramação em papel quadriculado
4 NOME DA AULA: Programação em papel quadriculado Tempo de aula: 45 60 minutos Tempo de preparação: 10 minutos Objetivo principal: ajudar os alunos a entender como a codificação funciona. RESUMO Ao "programar"
Leia maisDesmistificando o Programa de Computador
Desmistificando o Programa de Computador Hoje vou explicar, da maneira mais simples possível, como funciona um programa de computador. Na sua essência um programa de computador nada mais é que uma coletânea
Leia maisMD Sequências e Indução Matemática 1
Sequências Indução Matemática Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Sequências e Indução Matemática 1 Introdução Uma das tarefas mais importantes
Leia maisMáquinas de Turing. Juliana Kaizer Vizzotto. Disciplina de Teoria da Computação. Universidade Federal de Santa Maria
Universidade Federal de Santa Maria Disciplina de Teoria da Computação Roteiro Definição Formal de Máquina de Turing Mais exemplos Definição Formal de Máquina de Turing Uma máquina de Turing é uma 7-upla,
Leia maisQUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.
LIÇÃO 4 QUANTIFICADORES Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1. (b) x 2 2x + 1 = 0. (c) x é um país. (d) Ele e
Leia maisUsando um Simulador da Máquina de Turing Claudio Kirner 2010
1. Introdução Usando um Simulador da Máquina de Turing Claudio Kirner 2010 A Máquina de Turing, idealizada por Alan Turing, em 1936, é uma máquina teórica simples capaz de calcular qualquer função matemática.
Leia maisProf. Bruno Holanda - Semana Oĺımpica 2011 - Nível 1. Teoria dos Grafos
Prof. Bruno Holanda - Semana Oĺımpica 0 - Nível Teoria dos Grafos O que é um grafo? Se você nunca ouviu falar nisso antes, esta é certamente uma pergunta que você deve estar se fazendo. Vamos tentar matar
Leia maisEstruturas de Repetição
Estruturas de Repetição Lista de Exercícios - 04 Algoritmos e Linguagens de Programação Professor: Edwar Saliba Júnior Estruturas de Repetição O que são e para que servem? São comandos que são utilizados
Leia maisSistemas de Apoio à Decisão
Sistemas de Apoio à Decisão Processo de tomada de decisões baseia-se em informação toma em consideração objectivos toma em consideração conhecimento sobre o domínio. Modelar o processo de tomada de decisões
Leia maisNotas de Cálculo Numérico
Notas de Cálculo Numérico Túlio Carvalho 6 de novembro de 2002 2 Cálculo Numérico Capítulo 1 Elementos sobre erros numéricos Neste primeiro capítulo, vamos falar de uma limitação importante do cálculo
Leia maisUm jogo de preencher casas
Um jogo de preencher casas 12 de Janeiro de 2015 Resumo Objetivos principais da aula de hoje: resolver um jogo com a ajuda de problemas de divisibilidade. Descrevemos nestas notas um jogo que estudamos
Leia maisPROGRAMAÇÃO BÁSICA DE CLP
PROGRAMAÇÃO BÁSICA DE CLP Partindo de um conhecimento de comandos elétricos e lógica de diagramas, faremos abaixo uma revisão para introdução à CLP. Como saber se devemos usar contatos abertos ou fechados
Leia maisUniversidade Federal de São João Del Rei - UFSJ
Universidade Federal de São João Del Rei - UFSJ Instituída pela Lei 0.45, de 9/04/00 - D.O.U. de /04/00 Pró-Reitoria de Ensino de Graduação - PROEN Disciplina: Cálculo Numérico Ano: 03 Prof: Natã Goulart
Leia maisAV1 - MA 12-2012. (b) Se o comprador preferir efetuar o pagamento à vista, qual deverá ser o valor desse pagamento único? 1 1, 02 1 1 0, 788 1 0, 980
Questão 1. Uma venda imobiliária envolve o pagamento de 12 prestações mensais iguais a R$ 10.000,00, a primeira no ato da venda, acrescidas de uma parcela final de R$ 100.000,00, 12 meses após a venda.
Leia maisA B C F G H I. Apresente todas as soluções possíveis. Solução
19a Olimpíada de Matemática do Estado do Rio Grande do Norte - 008 Segunda Etapa Em 7/09/008 Prova do Nível I (6 o ou 7 o Séries) (antigas 5ª ou 6ª séries) 1 a Questão: Substitua as nove letras da figura
Leia maisUm estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto
Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto Maria Angélica Araújo Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação
Leia maisO sinal de menos ( ) colocado antes de um número indica o oposto desse número. Assim: 11 é o oposto de 11.
EXERCÍCIOS DE RECUPERAÇÃO 7º ANO º BIMESTRE MATEMÁTICA PROFº PAULO 1. Dois números de sinais contrários são opostos? Justifique. O sinal de menos ( ) colocado antes de um número indica o oposto desse número.
Leia maisEstrutura Condicional em Java
Estrutura Condicional em Java Linguagem de Programação 1 O Java contém três tipos de instruções de seleção. A instrução if realiza uma ação se uma condição for verdadeira ou pula a ação se a condição for
Leia maisMaterial Teórico - Aplicações das Técnicas Desenvolvidas. Exercícios e Tópicos Relacionados a Combinatória. Segundo Ano do Ensino Médio
Material Teórico - Aplicações das Técnicas Desenvolvidas Exercícios e Tópicos Relacionados a Combinatória Segundo Ano do Ensino Médio Prof Cícero Thiago Bernardino Magalhães Prof Antonio Caminha Muniz
Leia maisBacharelado em Ciência da Computação Matemática Discreta
Bacharelado em Ciência da Computação Matemática Discreta Prof. Diego Mello da Silva Instituto Federal de Minas Gerais - Campus Formiga 19 de fevereiro de 2013 diego.silva@ifmg.edu.br (IFMG) Matemática
Leia maisQUESTÕES COMENTADAS E RESOLVIDAS
LENIMAR NUNES DE ANDRADE INTRODUÇÃO À ÁLGEBRA: QUESTÕES COMENTADAS E RESOLVIDAS 1 a edição ISBN 978-85-917238-0-5 João Pessoa Edição do Autor 2014 Prefácio Este texto foi elaborado para a disciplina Introdução
Leia maisEspecificação Operacional.
Especificação Operacional. Para muitos sistemas, a incerteza acerca dos requisitos leva a mudanças e problemas mais tarde no desenvolvimento de software. Zave (1984) sugere um modelo de processo que permite
Leia mais9 Comandos condicionais
9 Comandos condicionais Um comando condicional é uma instrução empregada quando se deseja criar um desvio, isto é, a opção de executar-se ou não um determinado trecho de código, segundo uma condição. Em
Leia mais1 CIRCUITOS COMBINACIONAIS
Curso Técnico em Eletrotécnica Disciplina: Automação Predial e Industrial Professor: Ronimack Trajano 1 CIRCUITOS COMBINACIONAIS Um circuito digital é dito combinacional quando em um dado instante de tempo
Leia mais0,999... OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO Pablo Emanuel
Nível Intermediário 0,999... OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO Pablo Emanuel Quando um jovem estudante de matemática começa a estudar os números reais, é difícil não sentir certo desconforto
Leia maisTEXTO DE REVISÃO: Uso da calculadora científica e potências de 10.
TEXTO DE REVISÃO: Uso da calculadora científica e potências de 10. Caro aluno (a): No livro texto (Halliday) cap.01 - Medidas alguns conceitos muito importantes são apresentados. Por exemplo, é muito importante
Leia maisSistemas Operacionais. Curso Técnico Integrado Profa: Michelle Nery
Sistemas Operacionais Curso Técnico Integrado Profa: Michelle Nery Conteúdo Programático CONTAS DE E GRUPOS DE O Microsoft Management Console - MMC Permissões de Segurança de um Console Contas de Usuários
Leia maisCONSERVAÇÃO DA ENERGIA
CONSERVAÇÃO DA ENERGIA Introdução Quando um mergulhador pula de um trampolim para uma piscina, ele atinge a água com uma velocidade relativamente elevada, possuindo grande energia cinética. De onde vem
Leia maisINSTITUTO TECNOLÓGICO
PAC - PROGRAMA DE APRIMORAMENTO DE CONTEÚDOS. ATIVIDADES DE NIVELAMENTO BÁSICO. DISCIPLINAS: MATEMÁTICA & ESTATÍSTICA. PROFº.: PROF. DR. AUSTER RUZANTE 1ª SEMANA DE ATIVIDADES DOS CURSOS DE TECNOLOGIA
Leia maisLista 1 para a P2. Operações com subespaços
Lista 1 para a P2 Observação 1: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós sugerimos
Leia maispor séries de potências
Seção 23: Resolução de equações diferenciais por séries de potências Até este ponto, quando resolvemos equações diferenciais ordinárias, nosso objetivo foi sempre encontrar as soluções expressas por meio
Leia maisExercícios Adicionais
Exercícios Adicionais Observação: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós recomendamos
Leia maisIntrodução às Máquinas de Turing (TM)
Comparação com computadores: Introdução às Máquinas de Turing (TM) um modelo matemático simples de um computador Semelhanças: lê e escreve em posições arbitrarias de memoria Diferenças: sem limite no tamanho
Leia maisExemplos de Testes de Hipóteses para Médias Populacionais
Exemplos de Testes de Hipóteses para Médias Populacionais Vamos considerar exemplos de testes de hipóteses para a média de uma população para os dois casos mais importantes na prática: O tamanho da amostra
Leia maisCapítulo 8. CICLOS. Tabela 8.1 Programa8a.f90.
Capítulo 8. CICLOS OBJETIVOS DO CAPÍTULO Conceito de ciclo Comandos do FORTRAN: DO END DO, EXIT 8.1 programa8a.f90 Para inicializar as atividades deste capítulo, deve-se executar: 1) Para acessar o programa
Leia maisSeu pé direito nas melhores faculdades
Seu pé direito nas melhores faculdades IM - maio 006 MTMÁTI 0. a) atore a epressão 3 3 + 6. b) Resolva, em, a inequação 3 3 + 6 +. a) 3 3 + 6 = (3 ) 6(3 ) = ( 6)(3 ) = ( + 6 )( 6 )(3 ) é a forma fatorada
Leia maisNotas sobre a Fórmula de Taylor e o estudo de extremos
Notas sobre a Fórmula de Taylor e o estudo de etremos O Teorema de Taylor estabelece que sob certas condições) uma função pode ser aproimada na proimidade de algum ponto dado) por um polinómio, de modo
Leia maishttp://www.matematica.br/programas/icg. 5. Uma lousa denominada EPI (registrador de endereço de próxima instrução).
Universidade de São Paulo Instituto de Matemática e Estatística DCC Leônidas O. Brandão 1 Computador à Gaveta O objetivo deste texto é introduzir os primeiros conceitos de algoritmos a partir de um modelo
Leia maisAula 9 Plano tangente, diferencial e gradiente
MÓDULO 1 AULA 9 Aula 9 Plano tangente, diferencial e gradiente Objetivos Aprender o conceito de plano tangente ao gráfico de uma função diferenciável de duas variáveis. Conhecer a notação clássica para
Leia mais5 - Vetores e Matrizes Linguagem C CAPÍTULO 5 VETORES E MATRIZES
CAPÍTULO 5 5 VETORES E MATRIZES 5.1 Vetores Um vetor armazena uma determinada quantidade de dados de mesmo tipo. Vamos supor o problema de encontrar a média de idade de 4 pessoas. O programa poderia ser:
Leia maisAvaliação 1 - MA12-2015.1 - Gabarito
MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL Avaliação 1 - MA1-015.1 - Gabarito Questão 01 [,00 pts ] Uma escola pretende formar uma comissão de 6 pessoas para organizar uma festa junina. Sabe-se
Leia maisProg A B C A e B A e C B e C A,B e C Nenhum Pref 100 150 200 20 30 40 10 130
Polos Olímpicos de Treinamento Curso de Combinatória - Nível 2 Prof. Bruno Holanda Aula 2 Lógica II Quando lemos um problema de matemática imediatamente podemos ver que ele está dividido em duas partes:
Leia maisResolverei neste artigo uma prova da fundação VUNESP realizada em 2010.
Olá pessoal! Resolverei neste artigo uma prova da fundação VUNESP realizada em 2010. 01. (Fundação CASA 2010/VUNESP) Em um jogo de basquete, um dos times, muito mais forte, fez 62 pontos a mais que o seu
Leia mais1) Ao ser executado o código abaixo, em PHP, qual será o resultado impresso em tela?
Exercícios sobre Linguagem PHP: 1) Ao ser executado o código abaixo, em PHP, qual será o resultado impresso em tela? 2) Considere a linguagem de programação PHP e seus operadores. A execução da sentença:
Leia maisResolvendo problemas com logaritmos
A UA UL LA Resolvendo problemas com logaritmos Introdução Na aula anterior descobrimos as propriedades dos logaritmos e tivemos um primeiro contato com a tábua de logarítmos. Agora você deverá aplicar
Leia maisMorfologia Matemática Binária
Morfologia Matemática Binária Conceitos fundamentais: (Você precisa entender bem esses Pontos básicos para dominar a área! Esse será nosso game do dia!!! E nossa nota 2!!) Morfologia Matemática Binária
Leia maisPrograma Olímpico de Treinamento. Aula 9. Curso de Combinatória - Nível 2. Tabuleiros. Prof. Bruno Holanda
Programa Olímpico de Treinamento Curso de Combinatória - Nível Prof. Bruno Holanda Aula 9 Tabuleiros Quem nunca brincou de quebra-cabeça? Temos várias pecinhas e temos que encontrar uma maneira de unir
Leia maisBCC242. Alfabeto, Strings, Linguagens. Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste material.
BCC242 Alfabeto, Strings, Linguagens Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste material. Exemplo: Máquina de Venda A máquina de venda retorna uma cocacola por
Leia maisCAPÍTULO 3. Sistemas com Vários Componentes (Multicomponentes) em Modelos Markovianos de Decisão
CAPÍTULO 3 Sistemas com Vários Componentes (Multicomponentes) em Modelos Markovianos de Decisão 3.1 - Multicomponentes Conceitos Básicos: O conceito de multicomponente é utilizado em diversas áreas de
Leia maisDinâmica de um Sistema de Partículas Faculdade de Engenharia, Arquiteturas e Urbanismo FEAU
Dinâmica de um Sistema de Partículas Faculdade de Engenharia, Arquiteturas e Urbanismo FEAU Profa. Dra. Diana Andrade & Prof. Dr. Sergio Pilling Parte 1 - Movimento Retilíneo Coordenada de posição, trajetória,
Leia maisEduardo Camponogara. DAS-5103: Cálculo Numérico para Controle e Automação. Departamento de Automação e Sistemas Universidade Federal de Santa Catarina
Eduardo Camponogara Departamento de Automação e Sistemas Universidade Federal de Santa Catarina DAS-5103: Cálculo Numérico para Controle e Automação 1/48 Sumário Arredondamentos Erros 2/48 Sumário Arredondamentos
Leia maisCONCEITOS BÁSICOS PARA A CONSTRUÇÃO DE ALGORITMOS PARA COMPUTADORES. Isac Aguiar isacaguiar.com.br isacaguiar@gmail.com
CONCEITOS BÁSICOS PARA A CONSTRUÇÃO DE ALGORITMOS PARA COMPUTADORES Isac Aguiar isacaguiar.com.br isacaguiar@gmail.com Objetivos Compreender os conceitos de lógica de programação e de algoritmos. Conhecer
Leia maisTrabalho Computacional
Universidade Federal do Espírito Santo Departamento de Informática Profª Claudia Boeres Teoria dos Grafos - 2014/2 Trabalho Computacional 1. Objetivo Estudo e implementação de algoritmos para resolução
Leia maisCasamento de Cadeias. Introdução. Introdução. Estrutura de Dados. Cadeia de caracteres: sequência de elementos denominados caracteres.
Introdução de Cadeias Estrutura de Dados II Prof. Guilherme Tavares de Assis Universidade Federal de Ouro Preto UFOP Instituto de Ciências Exatas e Biológicas ICEB Departamento de Computação DECOM 1 Cadeia
Leia maisCálculo em Computadores - 2007 - trajectórias 1. Trajectórias Planas. 1 Trajectórias. 4.3 exercícios... 6. 4 Coordenadas polares 5
Cálculo em Computadores - 2007 - trajectórias Trajectórias Planas Índice Trajectórias. exercícios............................................... 2 2 Velocidade, pontos regulares e singulares 2 2. exercícios...............................................
Leia maisMODELAGEM E SIMULAÇÃO
MODELAGEM E SIMULAÇÃO Professor: Dr. Edwin B. Mitacc Meza edwin@engenharia-puro.com.br www.engenharia-puro.com.br/edwin Terminologia Básica Utilizada em de Sistemas Terminologia Básica Uma série de termos
Leia maisCapítulo 5: Aplicações da Derivada
Instituto de Ciências Exatas - Departamento de Matemática Cálculo I Profª Maria Julieta Ventura Carvalho de Araujo Capítulo 5: Aplicações da Derivada 5- Acréscimos e Diferenciais - Acréscimos Seja y f
Leia maisCotagem de dimensões básicas
Cotagem de dimensões básicas Introdução Observe as vistas ortográficas a seguir. Com toda certeza, você já sabe interpretar as formas da peça representada neste desenho. E, você já deve ser capaz de imaginar
Leia maisINTRODUÇÃO À ENGENHARIA
INTRODUÇÃO À ENGENHARIA 2014 NOTA AULA PRÁTICA No. 04 VETORES - 20 A 26 DE MARÇO PROF. ANGELO BATTISTINI NOME RA TURMA NOTA Objetivos do experimento: Nesta aula você deverá aprender (ou recordar) a representação
Leia maisUNIVERSIDADE FEDERAL DE. Programa de Mestrado em Ciência da
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Programa de Mestrado em Ciência da Computação Álgebra Relacional Disciplina : Sistema de Bancos de Dados - 1 0 Semestre 2009 Professora : Sandra Aparecida de Amo Lista
Leia mais1) Eficiência e Equilíbrio Walrasiano: Uma Empresa
1) Eficiência e Equilíbrio Walrasiano: Uma Empresa Suponha que há dois consumidores, Roberto e Tomás, dois bens abóbora (bem 1) e bananas (bem ), e uma empresa. Suponha que a empresa 1 transforme 1 abóbora
Leia mais36 a Olimpíada Brasileira de Matemática Nível Universitário Primeira Fase
36 a Olimpíada Brasileira de Matemática Nível Universitário Primeira Fase Problema 1 Turbo, o caracol, está participando de uma corrida Nos últimos 1000 mm, Turbo, que está a 1 mm por hora, se motiva e
Leia maisREPRESENTAÇÃO DE DADOS EM SISTEMAS DE COMPUTAÇÃO AULA 03 Arquitetura de Computadores Gil Eduardo de Andrade
REPRESENTAÇÃO DE DADOS EM SISTEMAS DE COMPUTAÇÃO AULA 03 Arquitetura de Computadores Gil Eduardo de Andrade O conteúdo deste documento é baseado no livro Princípios Básicos de Arquitetura e Organização
Leia maisFUNÇÃO REAL DE UMA VARIÁVEL REAL
Hewlett-Packard FUNÇÃO REAL DE UMA VARIÁVEL REAL Aulas 01 a 04 Elson Rodrigues, Gabriel Carvalho e Paulo Luís Ano: 2015 Sumário INTRODUÇÃO AO PLANO CARTESIANO... 2 PRODUTO CARTESIANO... 2 Número de elementos
Leia maisProgramação: Estruturas de seleção
Programação de Computadores I Aula 07 Programação: Estruturas de seleção José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2011-1 1/53 Valores booleanos Os valores booleanos
Leia maisFunção do 2º Grau. Alex Oliveira
Função do 2º Grau Alex Oliveira Apresentação A função do 2º grau, também chamada de função quadrática é definida pela expressão do tipo: y = f(x) = ax² + bx + c onde a, b e c são números reais e a 0. Exemplos:
Leia maisConceitos básicos da linguagem C
Conceitos básicos da linguagem C 2 Em 1969 Ken Thompson cria o Unix. O C nasceu logo depois, na década de 70. Dennis Ritchie, implementou-o pela primeira vez usando o sistema operacional UNIX criado por
Leia mais7 - Análise de redes Pesquisa Operacional CAPÍTULO 7 ANÁLISE DE REDES. 4 c. Figura 7.1 - Exemplo de um grafo linear.
CAPÍTULO 7 7 ANÁLISE DE REDES 7.1 Conceitos Básicos em Teoria dos Grafos Diversos problemas de programação linear, inclusive os problemas de transporte, podem ser modelados como problemas de fluxo de redes.
Leia maisAstra LX Frases Codificadas Guia para o processo de Configuração de Frases Codificadas no Programa AstraLX.
2011 www.astralab.com.br Astra LX Frases Codificadas Guia para o processo de Configuração de Frases Codificadas no Programa AstraLX. Equipe Documentação Astra AstraLab 24/08/2011 1 Sumário Frases Codificadas...
Leia maisBem-vindo ao tópico sobre administração de listas de preços.
Bem-vindo ao tópico sobre administração de listas de preços. Nesse tópico, você aprenderá a administrar listas de preços no SAP Business One. Sua empresa atualiza múltiplas listas de preços para fornecer
Leia maisProbabilidade - aula I
e 27 de Fevereiro de 2015 e e Experimentos Aleatórios e Objetivos Ao final deste capítulo você deve ser capaz de: Entender e descrever espaços amostrais e eventos para experimentos aleatórios. Interpretar
Leia maisProfa. Ma. Adriana Rosa
Unidade I ALFABETIZAÇÃO E LETRAMENTO Profa. Ma. Adriana Rosa Ementa A teoria construtivista: principais contribuições, possibilidades de trabalho pedagógico. Conceito de alfabetização: história e evolução.
Leia maisO Planejamento Participativo
O Planejamento Participativo Textos de um livro em preparação, a ser publicado em breve pela Ed. Vozes e que, provavelmente, se chamará Soluções de Planejamento para uma Visão Estratégica. Autor: Danilo
Leia maisAula 17 GRANDEZAS ESCALARES E VETORIAIS. META Apresentar as grandezas vetoriais e seu signifi cado
GRANDEZAS ESCALARES E VETORIAIS META Apresentar as grandezas vetoriais e seu signifi cado OBJETIVOS Ao fi nal desta aula, o aluno deverá: Diferenciar grandezas escalares e vetoriais; compreender a notação
Leia maisLÓGICA DE PROGRAMAÇÃO. Professor Celso Masotti http://ead.celsomasotti.com.br
LÓGICA DE PROGRAMAÇÃO Professor Celso Masotti http://ead.celsomasotti.com.br Ano: 2015 1 HTML & PHP em Ambiente Web PARTE II Sumário I Decisão... 4 Operadores de Comparação... 6 II IF ELSEIF ELSE... 7
Leia maisSessão 2 UFCD 0804 Algoritmos
Sessão 2 UFCD 0804 Algoritmos Revisões Sessão 1 Algoritmo - Definição Um algoritmo é formalmente uma sequência finita de passos que levam a execução de uma tarefa, é uma sequência de instruções para atingir
Leia mais01/05/2016. Danillo Tourinho Sancho da Silva, MSc ROTEIRIZAÇÃO TEORIA DOS GRAFOS MOTIVAÇÃO
ROTEIRIZAÇÃO Danillo Tourinho Sancho da Silva, MSc TEORIA DOS GRAFOS MOTIVAÇÃO 1 MOTIVAÇÃO Por que estudar grafos? Importante ferramenta matemática com aplicação em diversas áreas do conhecimento Utilizados
Leia maisUniversidade Federal de Rondônia Técnicas de Desenvolvimento de Programas Lista 4
Universidade Federal de Rondônia Técnicas de Desenvolvimento de Programas Lista 4 WHILE 1. Faça um comando while equivalente ao descrito abaixo (que realize o mesmo tipo de procedimento e obtenha o mesmo
Leia maisTabelas vista de estrutura
Tabelas vista de estrutura A vista de estrutura permite definir a configuração dos dados Vamos adicionar os restantes campos à tabela carros, de acordo com o modelo de dados feito no papel 47 Tabelas vista
Leia maisEstrutura de Dados Básica
Estrutura de Dados Básica Professor: Osvaldo Kotaro Takai. Aula 4: Tipos de Dados O objetivo desta aula é apresentar os tipos de dados manipulados pela linguagem C, tais como vetores e matrizes, bem como
Leia maisA Torre de Hanói e o Princípio da Indução Matemática
A Torre de Hanói e o Princípio da Indução Matemática I. O jogo A Torre de Hanói consiste de uma base com três pinos e um certo número n de discos de diâmetros diferentes, colocados um sobre o outro em
Leia maisUniversidade Estadual do Ceará
Universidade Estadual do Ceará Felipe de Almeida Xavier Joao Gonçalves Filho Trabalho Circuitos Lógicos Digitais Professor Domingos Sávio 20 de março de 2010 1 Sumário 1 Uma vista por cima 3 2 A macro
Leia maisIntrodução à Engenharia de Computação
Introdução à Engenharia de Computação Tópico: O Computador como uma Multinível José Gonçalves - Introdução à Engenharia de Computação Visão Tradicional Monitor Placa-Mãe Processador Memória RAM Placas
Leia maisALGORITMOS E FLUXOGRAMAS
ALGORITMOS E FLUXOGRAMAS Prof. André Backes INTRODUÇÃO Computadores = cérebros eletrônicos? Computadores são máquinas e, por si sós, não podem ser inteligentes. Alguém as projetou e deu a ela todas as
Leia maisQUESTÃO 16 Na figura, temos os gráficos das funções f e g, de em. O valor de gof(4) + fog(1) é:
Nome: N.º: endereço: data: Telefone: E-mail: Colégio PARA QUEM CURSA A ạ SÉRIE DO ENSINO MÉDIO EM 4 Disciplina: MaTeMÁTiCa Prova: desafio nota: QUESTÃO 6 Na figura, temos os gráficos das funções f e g,
Leia maisMaterial Teórico - Módulo de Métodos sofisticados de contagem. Princípio das Casas dos Pombos. Segundo Ano do Ensino Médio
Material Teórico - Módulo de Métodos sofisticados de contagem Princípio das Casas dos Pombos Segundo Ano do Ensino Médio Prof. Cícero Thiago Bernardino Magalhães Prof. Antonio Caminha Muniz Neto Em Combinatória,
Leia maisProgramação científica C++
Programação científica C++ NIELSEN CASTELO DAMASCENO Slide 4 Aluno que não sabe programar int main() { cout
Leia maisTruques e Dicas. = 7 30 Para multiplicar fracções basta multiplicar os numeradores e os denominadores: 2 30 = 12 5
Truques e Dicas O que se segue serve para esclarecer alguma questão que possa surgir ao resolver um exercício de matemática. Espero que lhe seja útil! Cap. I Fracções. Soma e Produto de Fracções Para somar
Leia maisUnidade II - Sistemas de Equações Lineares
Unidade II - Sistemas de Equações Lineares 1- Situando a Temática Discutiremos agora um dos mais importantes temas da matemática: Sistemas de Equações Lineares Trata-se de um tema que tem aplicações dentro
Leia maisExemplo: Na figura 1, abaixo, temos: Clique aqui para continuar, que é a primeira atividade que você precisa realizar para iniciar seus estudos.
Visão Geral VISÃO GERAL Esse material abordará o acesso ao AVA (Ambiente Virtual de Aprendizagem) da Proativa do Pará, com intenção de ilustrar os aspectos na visão do Aprendiz. Essa abordagem dedica-se
Leia maisMÓDULO 4 DISTRIBUIÇÃO DE FREQÜÊNCIAS
MÓDULO 4 DISTRIBUIÇÃO DE FREQÜÊNCIS Como vimos no módulo 1, para que nós possamos extrair dos dados estatísticos de que dispomos a correta análise e interpretação, o primeiro passo deverá ser a correta
Leia mais