Teoria da Computação

Prof.: Ricardo Gonçalves de Aguiar Material de Apoio Teoria da Computação Prof.: Ricardo Gonçalves de Aguiar Objetivos Apresentar os conceitos teóricos sobre os elementos básicos da computação. Apresentar os limites da Computação: conceito de computabilidade e decidibilidade. Bibliografia BÁSICA: • • • DIVERIO, T. A.; MENEZES, P. B.. Teoria da Computação: Máquinas Universais e Computabilidade. Porto Alegre: Sagra Luzzato, 2000. MENEZES, P. B.: Linguagens Formais e Autômatos. Porto Alegre: SagraLuzzato, 2001. LINZ, P.: Na Introduction to Formal Languages and Automata, Boston: Jones and Bartlett Publishers, 2006 COMPLEMENTAR: • • SIPSER,M.: Introduction to the Theory of Computation, Second Edition, Course Technology; 2005 GREENLAW,R.; HOOVER,H.J.: Fundamentals of the Theory of Computation, Morgan Kaufmann; 1998 Forma de Avaliação São três notas: Da avaliação 1 (AV1) a Avaliação 3 (AV3). A avaliação 2 é a avaliação integrada. A média final é obtida através da média das duas maiores notas. Para que o aluno seja aprovado, a média deve ser maior ou igual a 6,0 Notas Históricas Muito antes da invenção do computador (máquina física: hardware), matemáticos procuravam construir um método simples capaz de resolver qualquer problema. Alguns métodos foram desenvolvidos e funcionaram, mas dependendo do problema, o método não era capaz de resolver o problema. A partir daí, os matemáticos passaram a tentar criar métodos que superassem

normas técnicas ABNT, formatação e dobramento de folhas, legendas e tabelas de modificações, escrita técnica, significado de cada tipo de linha utilizado, construções e desenhos geométricos, matemática aplicada, projeção ortogonal, perspectivas, cortes, hachuras, cotagem, escalas, rugosidade, simbologias e tolerâncias. Direcionado a estudantes, desenhistas, projetistas e demais profissionais da área. https://www.editoraerica.com.br/detalhes.asp?cod=3202 Circuitos elétricos :…

Lista de Exercícios no 00 Universidade São Francisco Programação de Computadores Obs.: Vetores e Matrizes (arrays uni e multidimensionais). Estruturas heterogêneas. o nível de dificuldade de cada exercício está graduado entre 1 (fácil) e 3 (difícil). Entretanto, pelo fato de que a programação é dependente de fatores subjetivos, exercícios considerados fáceis (com tempo de resposta entre 10 e 20 minutos de trabalho) podem eventualmente demorar mais tempo para serem solucionados,…

Resolução de problemas por meio de busca Prof. Manuel Fdez. Paradela Ledón. Exercício ou problema? Exercício ou problema? “First, what is a problem? We distinguish between problems and exercises. An exercise is a question that you know how to resolve immediately. Whether you get it right or not depends on how expertly you apply specific techniques, but you don't need to puzzle out what techniques to use. In contrast, a problem demands much thought and resourcefulness before…

Discreta – 10 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti 1 1 - Grafos e Árvores  Muitas aplicações em computação necessitam considerar conjunto de conexões entre pares de objetos:  Existe um caminho para ir de um objeto a outro seguindo as conexões?  Qual é a menor distância entre um objeto e outro?  Quantos outros objetos podem ser alcançados a partir de um determinado objeto?  Grafos são utilizados para modelar tais…

“GrafosModfranci 2009/6/30 page 1 Estilo OBMEP Grafos – Uma Introdução Samuel Jurkiewicz “GrafosModfranci 2009/6/30 page 2 Estilo OBMEP Texto já revisado pela nova ortografia. “GrafosModfranci 2009/6/30 page 3 Estilo OBMEP Sobre o Autor Samuel Jurkiewicz é carioca e Doutor em Matemática pela Universidade Pierre et Marie, em Paris. Atualmente é professor da Escola de Engenharia da UFRJ. Já atuou como docente em todos os níveis, inclusive no pré-escolar. Além do…

“GrafosModfranci 2009/6/17 page 1 Estilo OBMEP Grafos – Uma Introdução Samuel Jurkiewicz “GrafosModfranci 2009/6/17 page 2 Estilo OBMEP Texto já revisado pela nova ortografia. “GrafosModfranci 2009/6/17 page 3 Estilo OBMEP Sobre o Autor Samuel Jurkiewicz é carioca e Doutor em Matemática pela Universidade Pierre et Marie, em Paris. Atualmente é professor da Escola de Engenharia da UFRJ. Já atuou como docente em todos os níveis, inclusive no pré-escolar. Além do ensino de…

“GrafosModfranci 2009/6/30 page 1 Estilo OBMEP Grafos – Uma Introdução Samuel Jurkiewicz “GrafosModfranci 2009/6/30 page 2 Estilo OBMEP Texto já revisado pela nova ortografia. “GrafosModfranci 2009/6/30 page 3 Estilo OBMEP Sobre o Autor Samuel Jurkiewicz é carioca e Doutor em Matemática pela Universidade Pierre et Marie, em Paris. Atualmente é professor da Escola de Engenharia da UFRJ. Já atuou como docente em todos os níveis, inclusive no pré-escolar. Além do…

Para os mesmos conjuntos X = { a } e Y = { b }, observe os exemplos a seguir. X* = { , a, aa, aaa, aaaa, … } Y* = { , b, bb, bbb, bbbb, … } X*  Y* = { , a, b, aa, bb, aaa, bbb, aaaa, bbbb, aaaaa, … } X*  Y* = {  } X* – Y* = resolva! ATENÇÃO: Novamente não confundir os conjuntos {  } e { } { , aa }  { , bb } = {  } { a, aa }  { b, bb } = { } =  Outros exemplos: X Y = { a } { b } = { ab } X Y* = { a } { , b, bb, bbb, bbbb, … } = { a, ab, abb, abbb, abbbb, … } Y* X = { , b,…

Resumo com exercícios de fixação 1ª. Semana de Aula Texto da Prof. Jane Tavares Alvarez da Silva 1. Introdução Para a solução de um problema é importante determinarmos uma abstração da realidade, o que significa representar as informações (dados) que são relevantes para a solução deste problema. A abstração pode ser vista como uma simplificação dos dados. Por exemplo, considere um cadastro de alunos de uma escola. Neste caso, existem dados relevantes (nome, matrícula,…