O Jogo da Vida. Bernardo Rivas ICMC-USP. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 1 / 34
|
|
- Vagner Ramires Castilhos
- 5 Há anos
- Visualizações:
Transcrição
1 O Jogo da Vida Bernardo Rivas ICMC-USP Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 1 / 34
2
3
4 Tem até máquina de passar cartão! Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 4 / 34
5 Brincadeirinha Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 5 / 34
6 John. H. Conway John Conway nasceu em Liverpool em 1937, se formou em Cambridge e atualmente é Professor Emérito em Princeton (EUA). Ele tem várias contribuições em teoria de grupos finitos, teoria de nós, teoria dos números, etc. e uma das coisas que ele menos gosta é de ser reconhecido pelo Jogo da Vida. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 6 / 34
7 John von Neumann Conway estava interessado num problema proposto por Neumann de criar uma máquina hipotética que seria capaz de criar cópias de si mesmo. Neumann conseguiu descrever essa máquina, mas com regras bem complexas. Vejamos como seria um rabisco pitoresco. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 7 / 34
8 Game of Life
9 Game of Life Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 8 / 34
10 Game of Life Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 9 / 34
11 Isolamento Uma célula viva num instante com menos de dois vizinhos morre no próximo instante. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 10 / 34
12 Birth/Nascimento Uma célula morta num instante com exatamente três vizinhos vivos irá nascer no próximo instante. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 11 / 34
13 Survival/Sobrevivência Uma célula viva num instante com dois ou três vizinhos permanece viva no próximo instante. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 12 / 34
14 Overcrowding/Falta de comida Uma célula viva num instante com quatro ou mais vizinhos morre no próximo. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 13 / 34
15 Resuminho O nome da nossa regra é B3/S23 (birth com 3, survival com 2 ou 3). Podemos brincar agora :) Voluntários? Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 14 / 34
16 Resuminho O nome da nossa regra é B3/S23 (birth com 3, survival com 2 ou 3). Podemos brincar agora :) Voluntários? Se alguém quiser brincar no celular, é só baixar um app chamado Golly Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 14 / 34
17 Resuminho O nome da nossa regra é B3/S23 (birth com 3, survival com 2 ou 3). Podemos brincar agora :) Voluntários? Se alguém quiser brincar no celular, é só baixar um app chamado Golly Bom, várias estruturas foram aparecendo. Vamos ver algumas. Estáveis ou (still-life). Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 14 / 34
18 Resuminho O nome da nossa regra é B3/S23 (birth com 3, survival com 2 ou 3). Podemos brincar agora :) Voluntários? Se alguém quiser brincar no celular, é só baixar um app chamado Golly Bom, várias estruturas foram aparecendo. Vamos ver algumas. Estáveis ou (still-life). Periódicas ou (oscillators). Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 14 / 34
19 Resuminho O nome da nossa regra é B3/S23 (birth com 3, survival com 2 ou 3). Podemos brincar agora :) Voluntários? Se alguém quiser brincar no celular, é só baixar um app chamado Golly Bom, várias estruturas foram aparecendo. Vamos ver algumas. Estáveis ou (still-life). Periódicas ou (oscillators). Planador (glider), espaçonaves (spaceships) e armas (guns). Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 14 / 34
20 Still lifes Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 15 / 34
21 Osciladores Esses são melhores de visualizar no Golly: Período 2: Blinker, Toad Período 15: Pentadecathlon Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 16 / 34
22 Osciladores Esses são melhores de visualizar no Golly: Período 2: Blinker, Toad Período 15: Pentadecathlon Acredita-se que o Jogo da Vida tenha osciladores para todos os períodos, mas ainda não foram encontrados osciladores de períodos 19, 23, 34, 38 e 41. Para períodos iguais ou acima de 61, Herschel desenvolveu um método para criar. Por exemplo, esse de período Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 16 / 34
23 R-Pentomino Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 17 / 34
24 Spaceships Spaceships são objetos que se repetem depois de uma certa quantidade de gerações com a mesma orientação mas numa posição diferente. Veremos três tipos no Golly. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 18 / 34
25 Valendo $50 em 1970 para o primeiro que provasse até o fim do ano Conjectura Nenhuma configuração inicial tem crescimento populacional ilimitado. Os $50 de 1970 seria o equivalente a $320 em 2017, ou seja, um pouco mais de R$1.000, 00. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 19 / 34
26 Ainda em Bill Gosper (MIT) descobriu a primeira (!) Glider gun e levou os $50 do Conway. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 20 / 34
27 Jardim do Éden O último padrão que vamos ver é o Jardim do Éden (ou órfão, pois não possui configuração mãe). No livro Winning Ways for your Mathematical Plays, o Conway prova que existe um Jardim do Éden num quadrado de lado Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 21 / 34
28 Jardim do Éden O último padrão que vamos ver é o Jardim do Éden (ou órfão, pois não possui configuração mãe). No livro Winning Ways for your Mathematical Plays, o Conway prova que existe um Jardim do Éden num quadrado de lado Teorema Para qualquer automação celular, existe um Jardim do Éden/Órfão se, e somente se, existir duas configurações gêmeas. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 21 / 34
29 Jardim do Éden O último padrão que vamos ver é o Jardim do Éden (ou órfão, pois não possui configuração mãe). No livro Winning Ways for your Mathematical Plays, o Conway prova que existe um Jardim do Éden num quadrado de lado Teorema Para qualquer automação celular, existe um Jardim do Éden/Órfão se, e somente se, existir duas configurações gêmeas. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 21 / 34
30 Configs gêmeas Vamos dizer que duas configurações P e Q são gêmeas se ao trocarmos P por Q o jogo continua o mesmo. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 22 / 34
31 Configs gêmeas Vamos dizer que duas configurações P e Q são gêmeas se ao trocarmos P por Q o jogo continua o mesmo. Duas configurações gêmeas no Game of Life são: Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 22 / 34
32 O primeiro Jardim do Éden O primeiro Jardim do Éden expĺıcito foi identificado por R. Banks em 1971 com dimensões Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 23 / 34
33 O menor Jardim do Éden até então Em Janeiro de 2017, Steven Eker identificou o seguinte (11 9). Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 24 / 34
34 Aplicações Definição Uma máquina de Turing é um modelo abstrato de um computador. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 25 / 34
35 Aplicações Definição Uma máquina de Turing é um modelo abstrato de um computador. O jogo da vida é uma máquina de Turing universal. Basicamente, ela pode calcular qualquer coisa calculável. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 25 / 34
36 Como?? Assim como o computador trata informação binária, vamos fazer um feixe de Gliders representar essa informação. Se houver glider, será 1. Se não houver, 0. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 26 / 34
37 Colisão de Gliders Por exemplo, façamos a negativa de uma certa entrada de valores. A ideia é que a colisão de gliders faça ambos desaparecem. Se houver um planador no input, eles colidem e viram o 0. Se não houver, o planador passa e vira 1. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 27 / 34
38 O que mais podemos fazer? Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
39 O que mais podemos fazer? Podemos calcular primos usando o Primer. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
40 O que mais podemos fazer? Podemos calcular primos usando o Primer. Se na geração 120*n+100, a espaçonave passar do pentadecatlo, então n é primo. Será que 2017 é primo? Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
41 O que mais podemos fazer? Podemos calcular primos usando o Primer. Se na geração 120*n+100, a espaçonave passar do pentadecatlo, então n é primo. Será que 2017 é primo? 120* = Vejamos... Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
42 O que mais podemos fazer? Podemos calcular primos usando o Primer. Se na geração 120*n+100, a espaçonave passar do pentadecatlo, então n é primo. Será que 2017 é primo? 120* = Vejamos... Podemos jogar Tetris Link Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
43 O que mais podemos fazer? Podemos calcular primos usando o Primer. Se na geração 120*n+100, a espaçonave passar do pentadecatlo, então n é primo. Será que 2017 é primo? 120* = Vejamos... Podemos jogar Tetris Link Ou mesmo ver as horas. Link Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 28 / 34
44 Variações Existem diversas variações do jogo. Por exemplo, nas regras HighLife B23/S36 tem comportamento caótico. Day & Night B34678/S3678 tem comportamento estável. Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 29 / 34
45 Na dimensão Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 30 / 34
46 Na dimensão Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 31 / 34
47 Ou alterações no formato das células Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 32 / 34
48 Ou até mesmo na superfície Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 33 / 34
49 Referências I Elwin R. Berlekamp, John H. Conway, Richard K. Guy Winning Ways for your Mathematical Plays, Volume 4.. A community for Conway s Game of Life and related cellular automata A discussion of the Game of Life Cellular Automata FAQ, Edited by Tim Tyler. Conway s Game of Life (outdated) Conway s Game of Life (outdated) neuralnetworks/gameoflife.htm Bernardo Rivas (ICMC-USP) O Jogo da Vida Seminário de Coisas Legais 34 / 34
BC-0005 Bases Computacionais da Ciência Aula 08 Modelagem e simulação por computador
BC-000 Bases Computacionais da Ciência Aula 08 Modelagem e simulação por computador Prof. Rodrigo Hausen (dos slides do prof. Jesús P. Mena-Chalco) Motivação Modelagem e Simulação Computacional: cada vez
Leia maisAutômatos Celulares. Alexandre Rosas. 14 de Julho de Departamento de Física Universidade Federal da Paraíba
Departamento de Física Universidade Federal da Paraíba 14 de Julho de 2009 Introdução Idealizados por Ulam e von Neumann nos anos 40 (estudos de auto-reprodução em biologia) São sistemas dinâmicos com
Leia maisImplementação de autômatos celulares com o uso de software livre
Implementação de autômatos celulares com o uso de software livre Daniel Vieira Franzolin Sônia Ternes 2 Concebida no campo da Ecologia, a modelagem baseada no indivíduo (MBI) é proposta como uma alternativa
Leia maisO JOGO DA VIDA 1. INTRODUÇÃO
484 O JOGO DA VIDA Paulo Sérgio Matias Júnior (Uni-FACEF) Amaury Carlos Silveira Moura (Uni-FACEF) Thales Freitas da Costa (Uni-FACEF) Orientador: Prof. Dr. Antônio Carlos da Silva Filho (Uni-FACEF) 1.
Leia maisFísica no computador. Marcio Argollo de Menezes UFF Niterói
Física no computador Marcio Argollo de Menezes UFF Niterói ... não se pode provar tudo...... determinismo não é previsibilidade! ... não se pode provar tudo... Automata celulares Números no computador
Leia maisJOGO DA VIDA: CONCEITOS E APLICAÇÕES LEANDRO ZOUCAS DE LIMA PEDRO PAULO MARQUES DE OLIVEIRA
UNIVERSIDADE FEDERAL DO ESTADO DO RIO DE JANEIRO CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIA ESCOLA DE INFORMÁTICA APLICADA JOGO DA VIDA: CONCEITOS E APLICAÇÕES LEANDRO ZOUCAS DE LIMA PEDRO PAULO MARQUES DE
Leia maisFísica Estatística Computacional
Física Estatística Computacional Tereza Mendes IFSC USP http://lattice.ifsc.usp.br/cbpf.html Física Estatística Computacional Vamos trabalhar com sistemas estocásticos, em que um grande número de integrantes
Leia maisUma Extensão do Modelo de Chopard para Propagação de Incêndio Ambiental Baseado em Autômatos Celulares com Alto Desempenho
Uma Extensão do Modelo de Chopard para Propagação de Incêndio Ambiental Baseado em Autômatos Celulares com Alto Desempenho Karina da Silva Salles 1, Ueider Ferreira de Oliveira 1, Marilton Sanchotene de
Leia maisEstudo de um Modelo Baseado em Autômatos Celulares para a Representação de Campos Vetoriais 1
Estudo de um Modelo Baseado em Autômatos Celulares para a Representação de Campos Vetoriais 1 R. V. Palazzo, A. C. R. Costa, G. P. Dimuro UCPEL Universidade Católica de Pelotas, ESIN Escola de Informática
Leia maisMáquinas de Turing para construção: Foram encontrados dois modelos que se destacaram em nossas pesquisas.
Máquina de Turing É um dispositivo imaginário que formou a estrutura para fundamentar a ciência da computação moderna. Seu inventor, o matemático Alan Mathison Turing, mostrou que a computação das operações
Leia maisCOMPARAÇÃO DE DESEMPENHO ENTRE IMPLEMENTAÇÕES DO ALGORITMO JOGO DA VIDA COM PTHREAD E OPEMMP 1
COMPARAÇÃO DE DESEMPENHO ENTRE IMPLEMENTAÇÕES DO ALGORITMO JOGO DA VIDA COM PTHREAD E OPEMMP 1 Márcia Da Silva 2, Igor Gamste Haugg 3, Eliézer Silveira Prigol 4, Édson L. Padoin 5, Rogério S. M. Martins
Leia maisTeoria dos Grafos Aula 21
Teoria dos Grafos Aula 21 Aula passada Apresentação Trabalho Prático II Aula de hoje Quem foi Turing? Quem foi von Neumann? Quem foi Alan Turing? Criador do Turing Club de automóvel? Maratonista disciplinado
Leia maisMatemática Recreativa
Matemática Recreativa Editores: Jorge Picado e Paula Mendes Martins Análise de um jogo solitário com a ajuda do corpo de Galois GF(4) Paula Mendes Martins e Jorge Picado Resumo: Nesta pequena nota apresentamos
Leia maisInspiração da Natureza O que é um autômato celular?
Computação Natural: Autômatos Celulares Autômatos Celulares Como comportamentos globais altamente complexos podem emergir a partir de regras de interação local extremamente simples? Prof. Dr. Rafael Stubs
Leia maisCarlos Pereira dos Santos. 27 de Maio de 2013
Teoria de Jogos Combinatórios: Uma Breve Introdução Carlos Pereira dos Santos ISEC 27 de Maio de 2013 Carlos Pereira dos Santos (ISEC) 27 de Maio de 2013 1 / 70 Teorias de Jogos Teorias de Jogos Pascal-Fermat
Leia maisUMA ABORDAGEM DE NÚMEROS UTILIZANDO O JOGO DESMATA-MATA
Educação na Contemporaneidade: desafios e possibilidades UMA ABORDAGEM DE NÚMEROS UTILIZANDO O JOGO DESMATA-MATA Alessandro Costa de Jesus Instituto Federal, Ciência e Tecnologia Cáceres/MT alessandro.jesus@cas.ifmt.edu.br
Leia maisBases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
Leia mais1. Conceitos Básicos de Computação
Introdução à Computação I IBM1006 1. Conceitos Básicos de Computação Prof. Renato Tinós Local: Depto. de Computação e Matemática (FFCLRP/USP) 1 Principais Tópicos 1.Conceitos Básicos de Computação 1.1.
Leia maisCapítulo 2: Procedimentos e algoritmos
Capítulo 2: Procedimentos e algoritmos Para estudar o processo de computação de um ponto de vista teórico, com a finalidade de caracterizar o que é ou não é computável, é necessário introduzir um modelo
Leia maisMT como calculadoras de funções parciais
MT como calculadoras de funções parciais Uma máquina de Turing pode ser vista como uma calculadora de funções parciais dos inteiros nos inteiros: f : N k p N Suponhamos que os inteiros estão codificados
Leia maisTodos conhecemos vários tipos de jogos, como xadrez, pôquer, jogo da velha, futebol, truco, jogos de computador a lista pode continuar a gosto.
Teoria dos Jogos 1 Estas notas são a tradução de parte do livro Game Theory de Thomas S. Ferguson, disponível na rede (www.gametheory.net). O objetivo será o de condensar num texto curto o que me parecer
Leia maisGENERALIZAÇÃO DE ESTRATÉGIAS DE DESCONTAMINAÇÃO DE RETICULADOS DE AUTÔMATOS CELULARES
GENERALIZAÇÃO DE ESTRATÉGIAS DE DESCONTAMINAÇÃO DE RETICULADOS DE AUTÔMATOS CELULARES MARCELO A. NOGUEIRA 2, PEDRO P.B. DE OLIVEIRA 1,2 Universidade Presbiteriana Mackenzie 1 Faculdade de Computação e
Leia maisMétodos Previsor-Corretor
Solução numérica de Equações Diferenciais Ordinárias: Métodos Previsor-Corretor Marina Andretta/Franklina Toledo ICMC-USP 7 de novembro de 2013 Baseado no livro Cálculo Numérico, de S. Arenales e A. Darezzo.
Leia maisO COMPUTADOR. O que é um computador? Bacharelado em Ciência e Tecnologia Bacharelado em Ciências e Humanidades. Fundamentos da Computação
Bacharelado em Ciência e Tecnologia Bacharelado em Ciências e Humanidades BC 0005 Bases Computacionais da Ciência Fundamentos da Computação O COMPUTADOR O que é um computador? Prof a Maria das Graças Bruno
Leia maisGabarito da lista de Exercícios sobre Técnicas de Demonstração
Universidade Federal Fluminense Curso: Sistemas de Informação Disciplina: Fundamentos Matemáticos para Computação Professora: Raquel Bravo Gabarito da lista de Exercícios sobre Técnicas de Demonstração
Leia maisLiberdade para a Engenharia de Software e Sistemas. Jorge H C Fernandes
Liberdade para a Engenharia de Software e Sistemas Jorge H C Fernandes A Amplitude das Plataformas Computacionais Atuais Cadeia de Valor na Era da Convergência Digital Network Back-End Wap/Web Servers
Leia mais4º Campeonato Nacional de Jogos Matemáticos AL, APM, SPM, UM 2007/2008
º Campeonato Nacional de Jogos Matemáticos AL, APM, SPM, UM 007/008 Semáforo Autor: Alan Parr Oito peças verdes, oito amarelas e oito vermelhas partilhadas pelos jogadores. Ser o primeiro a conseguir uma
Leia maisIntrodução à Computação MAC0110
Introdução à Computação MAC0110 Prof. Dr. Paulo Miranda IME-USP Aula 1 Introdução à Computação Eventos históricos: 1) Máquina universal de Turing criada em 1936 por Alan Turing, fundamento teórico para
Leia maisprinting problem: dado um programa e um valor arbitrários, o problema de determinar se sim ou não se vai obter como output do programa esse valor;
1 Introdução 1 No texto que se segue vão ser apresentados resultados sobre não decidibilidade de alguns predicados (sobre os naturais). Para certos predicados vai ser apresentada uma prova de que não é
Leia maisComputação efectiva. Que linguagens podem ser reconhecidas por algum tipo de autómato?
Computação efectiva Que linguagens podem ser reconhecidas por algum tipo de autómato? O que é ser computável? Que linguagens são computáveis? Existem linguagens que não são computáveis? Isto é, existem
Leia maisTeoremas de dualidade
Teoremas de dualidade Marina Andretta ICMC-USP 19 de outubro de 2016 Baseado no livro Introduction to Linear Optimization, de D. Bertsimas e J. N. Tsitsiklis. Marina Andretta (ICMC-USP) sme0211 - Otimização
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 14 Máquinas de Turing humberto@bcc.unifal-mg.edu.br Última aula Autômatos com Pilha Controle de estado a b a a b X Y Y X O que já vimos...
Leia maisEntrei no Bacharelado em Física Computacional: e Agora?
Entrei no Bacharelado em Física Computacional: e Agora? Tereza Mendes Instituto de Física de São Carlos USP http://lattice.if.sc.usp.br/ Bacharelado em Física Computational Carreira Bacharelado em Física
Leia maisDraft-v0.1. Máquinas de Turing Máquinas de Turing
13 Máquinas de Turing A necessidade de formalizar os processos algorítmicos levou, nas décadas 20 e 30 do século XX, a diversos estudos, entre os quais os de Post, Church e Turing, com vista a estudo formal
Leia maisSCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
SCC-505 - Capítulo 3 Linguagens Sensíveis ao Contexto e 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 http://www.icmc.usp.br/~joaoluis
Leia maisSistemas de Computação
Sistemas de Computação Breve Histórico Haroldo Gambini Santos Universidade Federal de Ouro Preto - UFOP 26 de abril de 2010 Haroldo Gambini Santos Sistemas de Computação 1/9 Seção 1 Pré-História 2 Geração
Leia maisPedro Vasconcelos DCC/FCUP. Programação Funcional 10 a Aula O Jogo da Vida
Programação Funcional 10 a Aula O Jogo da Vida Pedro Vasconcelos DCC/FCUP 2014 O Jogo da Vida Um autómato celular inventado pelo matemático John H. Conway. O jogo desenrola-se numa grelha bi-dimensional.
Leia maisINFORMÁTICA ELETROTÉCNICA SUBSEQUENTE AULA I. Prof. MSc. Glécio Rodrigues de Albuquerque
INFORMÁTICA ELETROTÉCNICA SUBSEQUENTE - 2014.1 AULA I de Albuquerque A história da evolução dos computadores Objetivo: entender como foi a invenção computador e sua evolução no decorrer do tempo. Definição
Leia maisAula 01. Murilo V. G. da Silva DINF/UFPR
Aula 01 DINF/UFPR Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... mas Antes de qualquer coisa...
Leia maisProgramação de Computadores
Programação de Computadores Instituto de Computação UFF Departamento de Ciência da Computação Otton Teixeira da Silveira Filho Conteúdo Resumo de estrutura de computadores Máquina de Turing Arquitetura
Leia maisAnjos e demônios. José Carlos Fontanesi Kling ICMC - USP
O jogo Regras O jogo Regras Jogado sobre um tabuleiro de xadrez infinito O jogo Regras Jogado sobre um tabuleiro de xadrez infinito São dois jogadores, o anjo e o demônio, jogando alternadamente O jogo
Leia maisTransições de fase e processos de nucleação no espaço de regras de autômatos celulares
Universidade de São Paulo Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto Pós-Graduação em Física Aplicada à Medicina e Biologia Transições de fase e processos de nucleação no espaço de regras
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 maisSIMULAÇÃO COMPUTACIONAL DE MICRORGANISMOS COM AUTÔMATOS CELULARES.
SIMULAÇÃO COMPUTACIONAL DE MICRORGANISMOS COM AUTÔMATOS CELULARES. João José de Assis Rangel, Angel Guillermo Coca Balta, Leonardo Cardoso Vicente. Universidade Candido Mendes - UCAM-Campos-NPDI, Rua Anita
Leia maisAnálise e Projeto de Algoritmos
Análise e Projeto de Algoritmos 2018.2 Modelo de Computação Determinação de como os cálculos são realizados pelo computador e que funcionalidades ele possui. Máquina de Turing É um modelo de computação
Leia maisPlanejamento. Financeiro
Planejamento Financeiro Porque preciso ter planejamento? 92% das famílias Brasileiras que não têm planejamento estão no vermelho. Você pode mudar esta realidade em sua casa Vamos começar! Você precisa
Leia maisLinguaguens recursivamente enumeráveis e recursivas
Linguaguens recursivamente enumeráveis e recursivas Uma linguagem diz-se recursivamente enumerável (r.e) ou semi-decidível se é aceite por uma máquina de Turing. SD: classe de linguagens recursivamente
Leia maisJoão e Maria na era Cyber
João e Maria na era Cyber Era uma vez... Duas crianças chamadas João e Maria que eram super conectados com o mundo digital! A internet possui uma infinidade de informações e ferramentas que auxiliam no
Leia maisCADERNO DE EXERCÍCIOS 1B
CADERNO DE EXERCÍCIOS B Ensino Médio Ciências da Natureza I Questão Conteúdo Habilidade da Matriz da EJA/FB Equação do º grau H2 H22 2 Teorema de Pitágoras H6 Aceleração média H2 Impulso H2 . A produção
Leia maisModelamento e simulação de processos
Modelamento e simulação de processos 5. Autômato Celular Prof. Dr. André Carlos Silva 1. INTRODUÇÃO Na década de 1940, Stanislaw Ulam estudou o crescimento de cristais no Laboratório Nacional de Los Alamos,
Leia maisPotências e logaritmos, tudo a ver!
Reforço escolar M ate mática Potências e logaritmos, tudo a ver! Dinâmica 1 2ª Série 1º Bimestre DISCIPLINA SÉRIE CAMPO CONCEITO Matemática 2ª do Ensino Médio Algébrico simbólico Função Logarítmica Primeira
Leia maisIntrodução livre de inveja.
Introdução Nos anos lectivos de 2006/07 e 2007/08 leccionei uma turma de MACS no Colégio S. João de Brito. No âmbito dessa disciplina foram elaborados por vários alunos, individualmente ou em grupo, trabalhos
Leia maisInformática I. Aula 2. Aula 2-04/09/2006 1
Informática I Aula 2 http://www.ic.uff.br/~bianca/informatica1/ Aula 2-04/09/2006 1 Ementa Histórico dos Computadores Noções de Hardware e Software Microprocessadores Sistemas Numéricos e Representação
Leia maisFermat descobriu duas classes de primos, uma da forma 4n 1 tal como 5, 13, 17, 29, 37, 41, etc. 5 = 13 =
Fermat descobriu duas classes de primos, uma da forma n 1 tal como 5, 13, 17, 29, 37, 1, etc. 5 = 13 = Por outro lado nós relevamos uma segunda classe de primos, que são os da fora x n 1, e que são todos,
Leia maisInterpolação polinomial: Diferenças divididas de Newton
Interpolação polinomial: Diferenças divididas de Newton Marina Andretta ICMC-USP 9 de maio de 2013 Baseado no livro Análise Numérica, de R. L. Burden e J. D. Faires. Marina Andretta (ICMC-USP) sme0500
Leia maisPlanejamento. Financeiro. de sucesso. Veja seu lucro em apenas um mês, aprenda como!
Planejamento Financeiro de sucesso Veja seu lucro em apenas um mês, aprenda como! Porque preciso ter planejamento? 92% das famílias Brasileiras que não têm planejamento estão no vermelho. Você pode mudar
Leia maisECO026 TEORIA DA COMPUTAÇÃO. Prof: Rafael Santos Site:
ECO026 TEORIA DA COMPUTAÇÃO Prof: Rafael Santos Email: rafafic@gmail.com Site: http://sites.google.com/site/rafafic Máquinas de Turing Uma linguagem Turing-reconhecível (Linguagem recursivamente enumeravel),
Leia maisRepresentação de poliedros
Representação de poliedros Marina Andretta ICMC-USP 8 de novembro de 2016 Baseado no livro Introduction to Linear Optimization, de D. Bertsimas e J. N. Tsitsiklis. Marina Andretta (ICMC-USP) sme0211 -
Leia maisParadigmas de Programação
Paradigmas de Programação Fabrício Olivetti de França 14 de Junho de 2018 1 λ-cálculo 2 Computabilidade Computabilidade é uma área de estudo central da Ciência da Computação. Ela estuda a possibilidade
Leia mais15/03/2018. Professor Ariel da Silva Dias Algoritmo e Contagem de Instruções. Prof. Ariel da Silva Dias -
Professor Ariel da Silva Dias Algoritmo e Contagem de Instruções 1 Um algoritmo pode ser visto como uma sequência de ações executáveis para a obtenção de uma solução para um determinado tipo de problema.
Leia maisPotências e logaritmos, tudo a ver!
Reforço escolar M ate mática Potências e logaritmos, tudo a ver! Dinâmica 1 2ª Série 1º Bimestre DISCIPLINA SÉRIE CAMPO CONCEITO Aluno Matemática 2ª do Ensino Médio Algébrico simbólico Função Logarítmica
Leia maisResolução de sistemas de equações lineares: Método dos Gradientes Conjugados
Resolução de sistemas de equações lineares: Método dos Gradientes Conjugados Marina Andretta/Franklina Toledo ICMC-USP 24 de março de 2015 Baseado no livro Cálculo Numérico, de Neide B. Franco Marina Andretta/Franklina
Leia maisMétodo de Euler. Marina Andretta/Franklina Toledo ICMC-USP. 29 de outubro de 2013
Solução numérica de Equações Diferenciais Ordinárias: Método de Euler Marina Andretta/Franklina Toledo ICMC-USP 29 de outubro de 2013 Baseado nos livros: Análise Numérica, de R. L. Burden e J. D. Faires;
Leia maisESCOLA MUNICIPAL ANÁPOLIS, PROFESSORA: ALUNO (A): ANO: 1 OBSERVE SUA SALA E SEUS COLEGAS E PINTE OS QUADRADINHOS:
ESCOLA MUNICIPAL ANÁPOLIS, PROFESSORA: ALUNO (A): ANO: 1 OBSERVE SUA SALA E SEUS COLEGAS E PINTE OS QUADRADINHOS: CONTE QUANTAS MENINAS TEM NA SUA SALA DE AULA. PINTE OS QUADRADINHOS. QUANTAS MENINAS SÃO?
Leia maisLinguaguens recursivamente enumeráveis
Linguaguens recursivamente enumeráveis Uma palavra x Σ é aceite por uma máquina de Turing M ( x L(M)) se M iniciando com a palavra x na fita e no estado inicial, pára num estado final. Caso contrário,
Leia maisCsound para Android Como utilizar csd s em dispositivos móveis
Como utilizar csd s em dispositivos móveis Outubro 1, 2013 Introdução Histórico Csound Android e Computação Musical Suporte para o processamento de áudio Solução para não desenvolvedores Solução para desenvolvedores
Leia maisINTEGRAL DEFINIDA APLICAÇÕES. Aula 05 Matemática II Agronomia Prof. Danilene Donin Berticelli
INTEGRAL DEFINIDA APLICAÇÕES Aula 05 Matemática II Agronomia Prof. Danilene Donin Berticelli Variação Total Em certas aplicações práticas, conhecemos a taxa de variação Q (x) de uma grandeza Q(x) e estamos
Leia maisProcedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens
Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar
Leia maisInterpolação polinomial: Polinômio de Lagrange
Interpolação polinomial: Polinômio de Lagrange Marina Andretta ICMC-USP 09 de maio de 2012 Baseado no livro Análise Numérica, de R. L. Burden e J. D. Faires. Marina Andretta (ICMC-USP) sme0500 - cálculo
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 16 Decidibilidade humberto@bcc.unifal-mg.edu.br Últimas Aulas Uma Máquina de Turing (MT) possui: uma fita infinita para representar a
Leia maisRegras para evitar ciclagem
Regras para evitar ciclagem Marina Andretta ICMC-USP 19 de outubro de 2016 Baseado no livro Introduction to Linear Optimization, de D. Bertsimas e J. N. Tsitsiklis. Marina Andretta (ICMC-USP) sme0211 -
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Máquina de Turing Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Teoria da Computação Ciência da Computação
Leia maisOrganização e Arquitetura de Computadores. Professor Airton Ribeiro de Sousa
Organização e Arquitetura de Computadores Professor Airton Ribeiro de Sousa airton.ribeiro@faciplac.edu.br Apresentação Nesta disciplina, você estudará os principais conceitos de arquitetura de computadores.
Leia maisNúmeros Racionais. MAT1514 MEB 2/2016 T42 Diurno Substituição da Profa. Martha Monteiro
Números Racionais MAT1514 MEB 2/2016 T42 Diurno Substituição da Profa. Martha Monteiro O que são números racionais? Alguma definição? Como surgiram? Relacionados a quais ideias ou situações? Representação
Leia maisInterpolação polinomial: Diferenças divididas de Newton
Interpolação polinomial: Diferenças divididas de Newton Marina Andretta ICMC-USP 16 de maio de 2012 Baseado no livro Análise Numérica, de R. L. Burden e J. D. Faires. Marina Andretta (ICMC-USP) sme0500
Leia maisMétodo do Ponto Fixo
Determinação de raízes de funções: Método do Ponto Fixo Marina Andretta ICMC-USP 07 de março de 2012 Baseado no livro Análise Numérica, de R. L. Burden e J. D. Faires. Marina Andretta (ICMC-USP) sme0500
Leia maisPCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 5 de dezembro de 2017 Marco Antonio
Leia maisUniversidade Federal de Uberlândia Mestrado em Ciência da Computação
Universidade Federal de Uberlândia Mestrado em Ciência da Computação Solução da 1 a Prova de Teoria da Computação - 05/05/2010 Questão 1 (Valor = 7 pontos) Um número real é dito algébrico se é raiz de
Leia maisEsta apresentação foi criada pelo Center for Cyber Safety and Education com a ajuda dos maiores profissionais de cibersegurança do mundo: o time de
Esta apresentação foi criada pelo Center for Cyber Safety and Education com a ajuda dos maiores profissionais de cibersegurança do mundo: o time de membros certificados do (ISC) 2. Desconhecimento Conscientização
Leia maisDisciplina de. Organização de Computadores Digitais
USP - SSC-5 Bach. Sist Info / 24-2 USP - ICMC - SSC SSC 5 - Sist. Informação - 2o. Semestre 24 Disciplina de Prof. Fernando Santos Osório Email: fosorio [at] { icmc. usp. br, gmail. com } Página Pessoal:
Leia maisDisciplina de. Organização de Computadores Digitais
USP - SSC-5 Bach. Sist Info / 24-2 USP - ICMC - SSC SSC 5 - Sist. Informação - 2o. Semestre 24 Disciplina de Prof. Fernando Santos Osório Email: fosorio [at] { icmc. usp. br, gmail. com } Página Pessoal:
Leia maisHome Programa Exercícios Provas Professor Links. 2.1 Representação de um número na base dois. O número binário 101,101 significa, na base dois:
Curso de Cálculo Numérico Professor Raymundo de Oliveira Home Programa Exercícios Provas Professor Links Capítulo 2 - Representação binária de números inteiros e reais 2.1 Representação de um número na
Leia maisDepois do estudo deste capítulo, o estudante deve ser capaz de:
1 Introdução 1.1 Objetivos: Depois do estudo deste capítulo, o estudante deve ser capaz de: Definir o modelo de Turing de um computador; Definir o modelo de von Neumann do computador; Descreve os três
Leia maisColégio Ressurreição Vita et Pax
Colégio Ressurreição Vita et Pax Disciplina: Matemática Professor(a): DÁustria Maria Nogueira Meirelles Atividade: Avaliação bimestral de matemática Nome: Nº. ANO: Turma: Data: / / Nota: Olá pessoal, estamos
Leia maisA Teoria Matemática que serviu como Base para Turing.
A Teoria Matemática que serviu como Base para Turing. Os Teoremas de Incompletude de Godel, de 1931, representam o fim da idade romântica da Matemática. Antes de Godel, fazia parte de um amplo projeto
Leia maisAula 10: Decidibilidade
Teoria da Computação Segundo Semestre, 2014 Aula 10: Decidibilidade DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. Um problema de decisão P é um conjunto de questões para as quais as respostas
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Máquina de Turing Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Teoria da Computação Ciência da Computação
Leia maisQUESTÕES EM METABIOLOGIA
QUESTÕES EM METABIOLOGIA Felipe Sobreira Abrahão Doutorando, HCTE UFRJ E-mail: felipesabrahao@gmail.com 1. INTRODUÇÃO Um campo, por essência, transdisciplinar é criado quando a teoria algorítmica da informação
Leia maisInfans: o que não fala. Camilla Luiz, Cláudio Fontão, Jéssica Silveira e Vivian Souza
Infans: o que não fala Camilla Luiz, Cláudio Fontão, Jéssica Silveira e Vivian Souza Introdução Esta obra baseou-se no livro de Javier Naranjo, Casa das estrelas o mundo contato pelas crianças. Foi realizada
Leia maisCapítulo XII PROCESSOS E MODELOS DE CRESCIMENTO FRACTAL SUMÁRIO
Capítulo XII PROCESSOS E MODELOS DE CRESCIMENTO FRACTAL SUMÁRIO RESUMO...3 12. 1- Introdução...3 12. 2 - Modelos de crescimento...4 11.2.1 - Deposição Balística (Chuva de balas):...4 12. 3 - Agregação
Leia maisHISTÓRIA DO COMPUTADOR
HISTÓRIA DO COMPUTADOR Introdução a Computação e Engenharia de Software Profa. Cynthia Pinheiro Já há muito tempo o homem vem tentando livrar-se dos trabalhos manuais e repetitivos, entre os quais estão
Leia maisTeoria dos Grafos Aula 17
Teoria dos Grafos Aula 17 Aula passada Ciclo de Euler Ciclo de Hamilton Quem foi Turing Aula de hoje Coloração Algoritmo guloso Número cromático Colorindo um Mapa Mapa de regiões (estados) Colorir o mapa
Leia maisIntrodução à Computação MAC0110
Introdução à Computação MAC0110 Prof. Dr. Paulo Miranda IME-USP Aula 1 Introdução à Computação Eventos históricos: 1) Primeiro computador a válvulas, o Eletronic Numeric Integrator And Calculator (ENIAC).
Leia maisMINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL FARROUPILHA CAMPUS ALEGRETE PIBID
PROPOSTA DIDÁTICA 1. Dados de Identificação 1.1 Nome do bolsista: Camila Dorneles da Rosa 1.2 Público alvo: alunos do 6 e 7 ano. 1.3 Duração: 2 horas. 1.4 Conteúdo desenvolvido: Números Primos. 2. Objetivo(s)
Leia maisProf. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018
22 de Fevereiro de 2018 Motivação O que é um computador? O que é um algoritmo? Para que serve um algoritmo? Quando um algoritmo é bom? A análise de um algoritmo depende do computador? Motivação Em teoria
Leia maisManual para nossos Parceiros
Manual para nossos Parceiros Agenda Funcionalidades 02 Disponibilizando os seus horários para o agendamento online 03 Excluindo e alterando os seus horários 03 Alterando o intervalo de atendimento 04 Acrescentando
Leia maisCONCEITO DE COMPUTADOR. O que é um computador?
CONCEITO DE COMPUTADOR O que é um computador? CONCEITO DE COMPUTADOR Denomina-se computador uma máquina capaz de variados tipos de tratamento automático de informações ou processamento de dados. Contudo,
Leia maisCapítulo A máquina de Turing (TM) padrão Combinações de máquinas de Turing A Tese de Turing. ADC/TC/Cap.9/ /LEI/DEIFCTUC 375
Capítulo 9 Máquinas de Turing 9.1. A máquina de Turing (TM) padrão 9.2. Combinações de máquinas de Turing 9.3. A Tese de Turing ADC/TC/Cap.9/2009-10/LEI/DEIFCTUC 375 Linguagens regulares Autómatos finitos
Leia maisSemana 4 Zeros das Funções
1 CÁLCULO NUMÉRICO Semana 4 Zeros das Funções Professor Luciano Nóbrega UNIDADE 1 Eixo das ordenadas www.professorlucianonobrega.wordpress.com 2 ZEROS DAS FUNÇÕES INTRODUÇÃO Nas diversas áreas científicas,
Leia mais