Teoria dos Grafos. Professor: Guilherme Oliveira Mota.

Tamanho: px
Começar a partir da página:

Download "Teoria dos Grafos. Professor: Guilherme Oliveira Mota."

Transcrição

1 Teoria dos Grafos Aula 1: Apresentação e introdução Professor: Guilherme Oliveira Mota g.mota@ufabc.edu.br

2 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP)

3 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP)

4 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP) Linhas de pesquisa Teoria dos Grafos, Teoria de Ramsey, e Combinatória Extremal

5 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP) Linhas de pesquisa Teoria dos Grafos, Teoria de Ramsey, e Combinatória Extremal

6 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP) Linhas de pesquisa Teoria dos Grafos, Teoria de Ramsey, e Combinatória Extremal

7 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP) Linhas de pesquisa Teoria dos Grafos, Teoria de Ramsey, e Combinatória Extremal

8 Apresentação do professor Professor: Guilherme Oliveira Mota Sala o andar - Torre 2 Formação: Bacharelado em Ciência da Computação (UFC) Mestrado em Ciência da Computação (UFC) Doutorado em Ciência da Computação (USP) Pós-doutorado em Matemática (UHH) Pós-doutorado em Matemática (TUHH) Pós-doutorado em Ciência da Computação (USP) Linhas de pesquisa Teoria dos Grafos, Teoria de Ramsey, e Combinatória Extremal

9 Apresentação do curso Sobre a disciplina Teoria dos Grafos Objetivos e Ementa Avaliação e Cronograma Bibliografia básica

10 Objetivos Conhecer de forma profunda os principais aspectos da Teoria dos Grafos Para isso, vamos entender: Conceitos básicos Alguns algoritmos importantes Propriedades estruturais Classes importantes de grafos Resultados clássicos em Teoria dos Grafos Resultados modernos em Teoria dos Grafos

11 Outros objetivos Aplicar diversas técnicas de provas em problemas envolvendo grafos Acelerar o amadurecimento matemático Ter contato com diversas vertentes da Teoria dos Grafos Ver demonstrações elegantes e importantes

12 Critério de avaliação A avaliação consistirá em duas provas e várias listas Prova 1: 30% da nota Prova 2: 45% da nota Listas de exercícios: 25% da nota

13 Critério de avaliação A avaliação consistirá em duas provas e várias listas Prova 1: 30% da nota Prova 2: 45% da nota Listas de exercícios: 25% da nota MF = 3 (Prova 1) + 4, 5 (Prova 2) + 2, 5 (média das listas) 10

14 Critério de avaliação A avaliação consistirá em duas provas e várias listas Prova 1: 30% da nota Prova 2: 45% da nota Listas de exercícios: 25% da nota MF = Conceito final 3 (Prova 1) + 4, 5 (Prova 2) + 2, 5 (média das listas) 10 A: MF 8, 5 B: 7 MF < 8, 5 C: 6 MF < 7 D: 5 MF < 6 F: MF < 5

15 Listas de exercícios Muitas listas (talvez 8 ou 9)

16 Listas de exercícios Muitas listas (talvez 8 ou 9) Entrega SOMENTE pelo Tidia

17 Listas de exercícios Muitas listas (talvez 8 ou 9) Entrega SOMENTE pelo Tidia Listas de exercícios: 25% da nota

18 Listas de exercícios Muitas listas (talvez 8 ou 9) Entrega SOMENTE pelo Tidia Listas de exercícios: 25% da nota Entregar em pdf (Fazer as listas em LaTeX é recomendado)

19 Listas de exercícios Muitas listas (talvez 8 ou 9) Entrega SOMENTE pelo Tidia Listas de exercícios: 25% da nota Entregar em pdf (Fazer as listas em LaTeX é recomendado) Listas entregues fora do prazo (no máximo 24 horas após o prazo dado) valerão somente 60% dos pontos

20 Provas substitutivas e recuperação Substitutiva: somente com um motivo razoável

21 Provas substitutivas e recuperação Substitutiva: somente com um motivo razoável Recuperação: somente quem ficou com D ou F

22 Provas substitutivas e recuperação Substitutiva: somente com um motivo razoável Recuperação: somente quem ficou com D ou F Recuperação: Seja CR = Conceito rec, e CP = conceito antes da rec. O conceito final será Conceito recuperação - CR: C: Nota rec 6 D: 5 Nota rec < 6 F: Nota rec < 5 max{cp, CR}

23 Ementa e cronograma

24 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, 2009.

25 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, Bollobás, B. Modern Graph Theory, Springer, Corrected Edition, 1998.

26 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, Bollobás, B. Modern Graph Theory, Springer, Corrected Edition, Diestel, R., Graph Theory, 5th edition, Springer-Verlag, Heidelberg Graduate Texts in Mathematics, Volume

27 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, Bollobás, B. Modern Graph Theory, Springer, Corrected Edition, Diestel, R., Graph Theory, 5th edition, Springer-Verlag, Heidelberg Graduate Texts in Mathematics, Volume Bondy, J. A.; Murty, U. S. R. Graph theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008

28 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, Bollobás, B. Modern Graph Theory, Springer, Corrected Edition, Diestel, R., Graph Theory, 5th edition, Springer-Verlag, Heidelberg Graduate Texts in Mathematics, Volume Bondy, J. A.; Murty, U. S. R. Graph theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008 Notas de aulas de grafos - Professora Yoshiko Wakabayashi - IME/USP

29 Bibliografia Cormen, T.H., Leiserson, C.E., Rivest, R.L. e Stein, C. Introduction to Algorithms, Third Edition, MIT Press, Bollobás, B. Modern Graph Theory, Springer, Corrected Edition, Diestel, R., Graph Theory, 5th edition, Springer-Verlag, Heidelberg Graduate Texts in Mathematics, Volume Bondy, J. A.; Murty, U. S. R. Graph theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008 Notas de aulas de grafos - Professora Yoshiko Wakabayashi - IME/USP Notas de aulas de grafos - Professores Feofiloff, Kohayakawa e Wakabayashi - IME/USP

30 Informações grafos-2017-q3/ Verificar o site com frequência! Listas ficarão disponíveis no site TPI (3-1-4) Dúvidas: g.mota@ufabc.edu.br

31 Informações grafos-2017-q3/ Verificar o site com frequência! Listas ficarão disponíveis no site TPI (4-0-4) Dúvidas: g.mota@ufabc.edu.br

32 Informações grafos-2017-q3/ Verificar o site com frequência! Listas ficarão disponíveis no site TPI (4-0-4) Dúvidas: g.mota@ufabc.edu.br

33 Sobre as aulas Aulas serão dadas no quadro Lembrarei alguns conceitos vistos em aulas passadas no início de cada aula Perguntas são sempre bem-vindas! Não fique sem entender algo por ter deixado de fazer uma pergunta

34 Pré-requisitos O que é necessário saber para ir bem no curso? Matemática Discreta Processamento da Informação Algoritmos e Estruturas de Dados

35 Pré-requisitos O que é necessário saber para ir bem no curso? Matemática Discreta Processamento da Informação Algoritmos e Estruturas de Dados

36 Pré-requisitos O que é necessário saber para ir bem no curso? Implicações lógicas Técnicas de prova (direta, indução, contraexemplo minimal, contradição,...) Operações e conceitos sobre conjuntos Combinatória básica

37 Roteiro da aula de hoje Introdução ao curso O que são grafos? Ideias de provas simples

38 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

39 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

40 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

41 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

42 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo: cores nas arestas y 1 y 2 x 1 x 8 y 8 x x22 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

43 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo: cores nas arestas, cores nos vértices y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

44 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo: cores nas arestas, cores nos vértices, pesos nas arestas y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

45 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo: cores nas arestas, cores nos vértices, pesos nas arestas, pesos nos vértices y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

46 Grafos Grafo G: Conjunto de pontos e linhas ligando esses pontos Grafo G = (V, E): estrutura matemática onde V é o conjunto de vértices e E ( V 2) é o conjunto de arestas Problemas de diversas áreas são modelados com grafos! Representando um grafo: cores nas arestas, cores nos vértices, pesos nas arestas, pesos nos vértices, orientação nas arestas y 1 y 2 x 1 x 8 y 8 x 2 x 7 y 3 y 7 x 3 x 6 y 4 x 4 x 5 y 5 y 6

47 Grafos Vértices podem representar pessoas, animais, computadores, fábricas, antenas...

48 Grafos Vértices podem representar pessoas, animais, computadores, fábricas, antenas... Arestas podem representar interferências, relações sociais, estradas, conexões...

49 Grafos Vértices podem representar pessoas, animais, computadores, fábricas, antenas... Arestas podem representar interferências, relações sociais, estradas, conexões... Grafos são utilizados em áreas como Computação, Ciências Sociais, Bioinformática, Linguística...

50 Grafos Internet e World Wide Web (WWW) Redes sociais de amizade Redes sociais profissionais Redes de relacionamentos entre empresas Redes neurais Redes celulares e metabólicas Redes de interação entre genes Cadeias alimentares Redes de distribuição (logística, vasos sanguíneos...) Redes de colaboração entre pesquisadores Número de Erdős

51 Grafos Internet e World Wide Web (WWW) Redes sociais de amizade Redes sociais profissionais Redes de relacionamentos entre empresas Redes neurais Redes celulares e metabólicas Redes de interação entre genes Cadeias alimentares Redes de distribuição (logística, vasos sanguíneos...) Redes de colaboração entre pesquisadores Número de Erdős...

52 Grafos Grafos pequenos podem ser facilmente visualizados

53 Grafos Em grafos grandes a situação pode ser bem diferente

54 Grafos Em grafos grandes a situação pode ser bem diferente

55 Grafos Impossível analisar visualmente a estrutura do grafo. O que fazer?

56 Grafos Impossível analisar visualmente a estrutura do grafo. O que fazer? Uso de recursos computacionais Uso de técnicas sofisticadas envolvendo: combinatória, probabilidade, álgebra... Figura: Pesquisadores de Ciências exatas

57 Grafos Impossível analisar visualmente a estrutura do grafo. O que fazer? Uso de recursos computacionais Uso de técnicas sofisticadas envolvendo: combinatória, probabilidade, álgebra... Figura: Pesquisadores de Ciências exatas

58 Grafos Estrutura dos grafos Conceitos e noções básicas sobre grafos Estudaremos diversos tipos de grafos de acordo com suas estruturas Entenderemos que propriedades diferentes tipos de grafos possuem

59 Ferramentas interessantes Desenho de grafos: TikZ LaTeX Exemplos: R-project: Linguagem e ambiente para computação estatística Gephi: Photoshop para grafos Sagemath WolframAlpha

60 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade

61 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente?

62 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente? Resposta: R(3, 3) = 6

63 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente? Resposta: R(3, 3) = 6 Esse tipo de problema é estudado na clássica Teoria de Ramsey

64 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente? Resposta: R(3, 3) = 6 Esse tipo de problema é estudado na clássica Teoria de Ramsey Curiosidade: R(4, 4) = 18

65 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente? Resposta: R(3, 3) = 6 Esse tipo de problema é estudado na clássica Teoria de Ramsey Curiosidade: R(4, 4) = 18, 43 R(5, 5) 49

66 Exemplos de teoremas em grafos: Ramsey Vértices: representam pessoas Arestas: representam relação de amizade Problema: Qual a menor quantidade n tal que em qualquer grupo de n pessoas, 3 delas se conhecem mutuamente ou 3 delas não se conhecem mutuamente? Resposta: R(3, 3) = 6 Esse tipo de problema é estudado na clássica Teoria de Ramsey Curiosidade: R(4, 4) = 18, 43 R(5, 5) 49 Recentemente melhorado para 43 R(5, 5) 48 (Testaram de casos)

67 Exemplos de teoremas em grafos: Hall Teorema do casamento de Hall Teorema: Um grafo bipartido G = (A, B; E) contém um emparelhamento de tamanho A se e somente se para todo A A temos N(A ) A.

68 Exemplos de teoremas em grafos: Hall Teorema do casamento de Hall Teorema: Um grafo bipartido G = (A, B; E) contém um emparelhamento de tamanho A se e somente se para todo A A temos N(A ) A.

Planaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:

Planaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de: Planaridade AULA META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de: Distinguir grafo planar e plano; Determinar o dual de um grafo; Caracterizar

Leia mais

Grafos representação e aplicações. Prof. Guilherme Tomaschewski Netto

Grafos representação e aplicações. Prof. Guilherme Tomaschewski Netto Grafos representação e aplicações Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Contextualização! Apresentação, um pouco de história! Conceitos Grafos! Principais aplicacões! Estruturas

Leia mais

Algoritmos em Grafos: Caminho Mínimo

Algoritmos em Grafos: Caminho Mínimo Algoritmos em Grafos: Caminho Mínimo Letícia Rodrigues Bueno UFABC Problema 2: Menor caminho entre duas cidades Dado um mapa de cidades, contendo as distâncias entre cidades, qual o menor caminho entre

Leia mais

5COP096 TeoriadaComputação

5COP096 TeoriadaComputação Sylvio 1 Barbon Jr barbon@uel.br 5COP096 TeoriadaComputação Aula 13 Prof. Dr. Sylvio Barbon Junior Sumário - Problemas NP-Completo Algoritmos Não-deterministas; Classes NP-Completo e NP-Dificil; Teorema

Leia mais

Informações Importantes! INF TURMA A

Informações Importantes! INF TURMA A UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA APLICADA DISCIPLINA: ESTRUTURAS DE DADOS CÓDIGO: INF01203 CURSOS/PRE-REQUISITO: o Engenharia da Computação

Leia mais

CONDIÇÕES DE OFERTA PARA CADASTRO DO CURSO PARA ACOMPANHAMENTO E CONTROLE ACADÊMICO Nome do curso Ciência da Computação Condições de Oferta do Curso

CONDIÇÕES DE OFERTA PARA CADASTRO DO CURSO PARA ACOMPANHAMENTO E CONTROLE ACADÊMICO Nome do curso Ciência da Computação Condições de Oferta do Curso CONEP UFSJ Parecer N o 066/2009 Aprovado em 02/12/2009 ANEXO A: ORIENTAÇÕES PARA OFERTA E CADASTRO DO CURSO CONDIÇÕES DE OFERTA PARA CADASTRO DO CURSO PARA ACOMPANHAMENTO E CONTROLE ACADÊMICO Nome do curso

Leia mais

5COP096 TeoriadaComputação

5COP096 TeoriadaComputação Sylvio 1 Barbon Jr barbon@uel.br 5COP096 TeoriadaComputação Aula 12 Prof. Dr. Sylvio Barbon Junior Sumário - Árvore Geradora Mínima - Teorema pare reconhecer arestas seguras; - Algoritmo de Prim; - Algoritmo

Leia mais

BCC402 Algoritmos e Programação Avançada. Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Tóffolo 2011/1

BCC402 Algoritmos e Programação Avançada. Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Tóffolo 2011/1 BCC402 Algoritmos e Programação Avançada Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Tóffolo 2011/1 Introdução ao Curso 2 Carga horária semanal 2 aulas teóricas e 2 aulas práticas (ambas em laboratório)

Leia mais

GRAFOS. Prof. André Backes. Como representar um conjunto de objetos e as suas relações?

GRAFOS. Prof. André Backes. Como representar um conjunto de objetos e as suas relações? 8/0/06 GRAFOS Prof. André Backes Definição Como representar um conjunto de objetos e as suas relações? Diversos tipos de aplicações necessitam disso Um grafo é um modelo matemático que representa as relações

Leia mais

As Pontes de Königsberg

As Pontes de Königsberg As Pontes de Königsberg Anderson Freitas Ferreira e Lívia Minami Borges 13 de junho de 2015 Resumo A teoria de grafos teve seu início em 1736, quando Euler utilizou uma estrutura para resolver o Problema

Leia mais

Algoritmos e Estruturas de Dados I

Algoritmos e Estruturas de Dados I Universidade do Estado do Amazonas Escola Superior de Tecnologia - EST Núcleo de Computação Algoritmos e Estruturas de Dados I Listas com implementação dinâmica Prof. Flávio José M. Coelho fcoelho@uea.edu.br

Leia mais

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão Projeto e Análise de Algoritmos NP Completude Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas versão da aula: 0.4 Introdução Problemas intratáveis ou difíceis são comuns

Leia mais

Análise e Síntese de Algoritmos.

Análise e Síntese de Algoritmos. Análise e Síntese de Algoritmos http://fenix.ist.utl.pt/leic-a/disciplinas/asa Corpo Docente Aulas Teóricas: Vasco Manquinho INESC-ID, Sala 329 Email: vasco.manquinho@inesc-id.pt Tel: 21 3100204 (INESC-ID)

Leia mais

SME0822 Análise Multivariada 2 o semestre de Prof. Cibele Russo. Sala 3-113

SME0822 Análise Multivariada 2 o semestre de Prof. Cibele Russo.  Sala 3-113 SME0822 Análise Multivariada 2 o semestre de 2016 Prof. Cibele Russo cibele@icmc.usp.br http://www.icmc.usp.br/~cibele Sala 3-113 2. semestre 2016 1 / 25 Principais objetivos do curso Estudar e desenvolver

Leia mais

UNIDADE ACADÊMICA: Faculdade de

UNIDADE ACADÊMICA: Faculdade de UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM SISTEMAS DE INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Programação Lógica ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GSI010 PERÍODO: 2

Leia mais

Tabela de Pré-Requisitos. Interdisciplinar 36 Não há

Tabela de Pré-Requisitos. Interdisciplinar 36 Não há Nome da UC Categoria CH Total Pré-Requisitos Álgebra Linear Eletiva 72 Geometria Analítica Álgebra Linear Computacional Eletiva 72 Cálculo Numérico Álgebra Linear II Eletiva 72 Álgebra Linear Algoritmos

Leia mais

Conteúdo. Conceitos e Resultados Gerais. 11 Combinatória. Introdução

Conteúdo. Conceitos e Resultados Gerais. 11 Combinatória. Introdução Introdução ix I Conceitos e Resultados Gerais 1 1 Linguagem Matemática e Lógica Informal 1.1 Sistemas matemáticos.. 1.2 Noção de conjunto... 1.3 Linguagem proposicional.. 1.4 Operações sobre conjuntos.

Leia mais

Linguagens Formais e Autômatos. Apresentação do Plano de Ensino

Linguagens Formais e Autômatos. Apresentação do Plano de Ensino Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.

Leia mais

6. QUADRIMESTRE IDEAL 7. NÍVEL Graduação 8. Nº. MÁXIMO DE ALUNOS POR TURMA TEORIA: 60 LABORATÓRIO: 30

6. QUADRIMESTRE IDEAL 7. NÍVEL Graduação 8. Nº. MÁXIMO DE ALUNOS POR TURMA TEORIA: 60 LABORATÓRIO: 30 Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC5001 - SISTEMAS MULTIAGENTES

Leia mais

Teoria dos Grafos. Cobertura, Coloração de Arestas, Emparelhamento

Teoria dos Grafos. Cobertura, Coloração de Arestas, Emparelhamento Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Cobertura, Coloração

Leia mais

2. Desenvolvimento do projeto de pesquisa Seminários 4 6. Eventos e visitas Aplicação dos recursos 5 9. Conclusão 5

2. Desenvolvimento do projeto de pesquisa Seminários 4 6. Eventos e visitas Aplicação dos recursos 5 9. Conclusão 5 FUNDAMENTOS DA CIÊNCIA DA COMPUTAÇÃO: ALGORITMOS COMBINATÓRIOS E ESTRUTURAS DISCRETAS Y. KOHAYAKAWA Resumo. Apresentamos neste relatório as atividades científicas de nossa equipe no período de julho de

Leia mais

Complexidade Assintótica de Programas Letícia Rodrigues Bueno

Complexidade Assintótica de Programas Letícia Rodrigues Bueno Complexidade Assintótica de Programas Letícia Rodrigues Bueno Análise de Algoritmos 1. Introdução; Análise de Algoritmos 1. Introdução; 2. Conceitos básicos; Análise de Algoritmos 1. Introdução; 2. Conceitos

Leia mais

TEORIA: 60 LABORATÓRIO: 0

TEORIA: 60 LABORATÓRIO: 0 Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA: BC1435 - Análise de Algoritmos

Leia mais

BCC204 - Teoria dos Grafos

BCC204 - Teoria dos Grafos BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal

Leia mais

Fundamentos de Matemática

Fundamentos de Matemática Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1

Leia mais

Caminho Mínimo de Fonte Única em Grafos com Pesos Negativos Letícia Rodrigues Bueno

Caminho Mínimo de Fonte Única em Grafos com Pesos Negativos Letícia Rodrigues Bueno Caminho Mínimo de Fonte Única em Grafos com Pesos Negativos Letícia Rodrigues Bueno UFABC Problemas de Caminho Mínimo Caminho mínimo de fonte única: algoritmo de Dijsktra; Problemas de Caminho Mínimo Caminho

Leia mais

POLINÔMIOS ORTOGONAIS CLÁSSICOS

POLINÔMIOS ORTOGONAIS CLÁSSICOS POLINÔMIOS ORTOGONAIS CLÁSSICOS Alex Starch Perlin 1 ; Fábio Rodrigues Lucas 2 ; 1 Estudante do Curso de Licenciatura em Matemática da UEMS, Unidade Universitária de Nova Andradina; E- mail: Alex Starch

Leia mais

Introdução. Estrutura de Dados II Prof Jairo Francisco de Souza

Introdução. Estrutura de Dados II Prof Jairo Francisco de Souza Introdução Estrutura de Dados II Prof Jairo Francisco de Souza Conteúdo Programático Parte 1 Manipulação de arquivos Ordenação, arquivos em série e sequências, classificação externa, arquivos de acesso

Leia mais

Grafos Prismas Complementares Bem-cobertos

Grafos Prismas Complementares Bem-cobertos Grafos Prismas Complementares Bem-cobertos Rommel M. Barbosa, Márcia R. C. Santana, Instituto de Informática, UFG, Caixa Postal 131, CEP 74001-970, Goiânia, GO E-mail: rommel@inf.ufg.br, marcia@inf.ufg.br,

Leia mais

CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR MATUTINO Fase N.

CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR MATUTINO Fase N. CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR MATUTINO Fase N. Ordem Código COMPONENTE CURRICULAR Créditos Horas Prérequisitos 01 Introdução à informática 04 60 02 Matemática instrumental

Leia mais

Redes Complexas Aula 2

Redes Complexas Aula 2 Redes Complexas Aula 2 Aula passada Logística e regras Redes por todos os lados Redes Complexas Aula de hoje Representando redes Falando sobre redes Grau, distância, clusterização Rede Abstração que permite

Leia mais

A resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.

A resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto. 6 - oloração de restas e Emparelhamentos onsidere o seguinte problema: Problema - o final do ano acadêmico, cada estudante deve fazer um exame oral com seus professores. Suponha que existam 4 estudantes

Leia mais

Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax:

Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax: Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA BC1436 - PRINCÍPIOS DE SIMULAÇÃO

Leia mais

2. DISCIPLINA REQUISITO (RECOMENDAÇÃO) 3. INDICAÇÃO DE CONJUNTO (BCC) Obrigatória TEORIA: 60 LABORATÓRIO: 30

2. DISCIPLINA REQUISITO (RECOMENDAÇÃO) 3. INDICAÇÃO DE CONJUNTO (BCC) Obrigatória TEORIA: 60 LABORATÓRIO: 30 Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC3106 - LINGUAGENS FORMAIS E

Leia mais

Aula 10: Tratabilidade

Aula 10: Tratabilidade Teoria da Computação DAINF-UTFPR Aula 10: Tratabilidade Prof. Ricardo Dutra da Silva Na aula anterior discutimos problemas que podem e que não podem ser computados. Nesta aula vamos considerar apenas problemas

Leia mais

Projeto e Análise de Algoritmos NP Completude Parte 2. Prof. Humberto Brandão

Projeto e Análise de Algoritmos NP Completude Parte 2. Prof. Humberto Brandão Projeto e Análise de Algoritmos NP Completude Parte 2 Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas Departamento de Ciências Exatas versão da aula: 0.2 Última aula

Leia mais

Matemática Discreta 10

Matemática Discreta 10 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta 10 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti 1 Muitas

Leia mais

Teoria da Computação. Aula 9 Pesquisa em Memória Secundária 5COP096. Aula 9 Prof. Dr. Sylvio Barbon Junior. Sylvio Barbon Jr

Teoria da Computação. Aula 9 Pesquisa em Memória Secundária 5COP096. Aula 9 Prof. Dr. Sylvio Barbon Junior. Sylvio Barbon Jr 5COP096 Teoria da Computação Aula 9 Prof. Dr. Sylvio Barbon Junior Sylvio Barbon Jr barbon@uel.br 1 Sumário 1) Introdução à Pesquisa em Memória Secundária 2) Modelo de Computação para Memória Secundária

Leia mais

GRAFOS ORIENTADOS. PSfrag replacements. Figura 1: Exemplo de um grafo orientado.

GRAFOS ORIENTADOS. PSfrag replacements. Figura 1: Exemplo de um grafo orientado. Introdução à Teoria dos Grafos Bacharelado em Ciência da Computação UFMS, 2005 GRAFOS ORIENTAOS Resumo Existem ocasiões onde grafos não são apropriados para descrever certas situações. Por exemplo, um

Leia mais

Teoria das Desições Financeiras II p.1/22

Teoria das Desições Financeiras II p.1/22 Teoria das Desições Financeiras II José Fajardo Barbachan IBMEC Business School Rio de Janeiro Teoria das Desições Financeiras II p.1/22 Objetivo Neste curso o aluno aprenderá diversas ferramentas probabílisticas,

Leia mais

Teoria da Complexidade Computacional

Teoria da Complexidade Computacional Teoria da Complexidade Computacional 25 de novembro de 2011 Enquanto a teoria de análise de algoritmos estuda a análise de complexidade de algoritmos, a teoria da complexidade estuda a classificação de

Leia mais

Plano de Ensino de Disciplina Ciência da Computação 2º / 2016

Plano de Ensino de Disciplina Ciência da Computação 2º / 2016 Plano de Ensino de Disciplina Ciência da Computação 2º / 2016 Disciplina: Computação Gráfica e Processamento de Imagens Código: 016031 Série: 8 0 Semestre Carga Horária Semanal: 04 aulas Carga Horária

Leia mais

Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas

Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,

Leia mais

Algoritmos 2 - Introdução

Algoritmos 2 - Introdução DAINF - Departamento de Informática Algoritmos 2 - Introdução Prof. Alex Kutzke (http://alex.kutzke.com.br/courses) 19 de Agosto de 2015 Slides adaptados do material produzido pelo Prof. Rodrigo Minetto

Leia mais

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: coordenacao@bsi.ufrpe.br

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Parte 1 Prof. Túlio Toffolo http://www.toffolo.com.br BCC202 Aula 04 Algoritmos e Estruturas de Dados I Qual a diferença entre um algoritmo e um programa? Como escolher o algoritmo

Leia mais

APLICAÇÕES DE BUSCA EM GRAFOS

APLICAÇÕES DE BUSCA EM GRAFOS APLICAÇÕES DE BUSCA EM GRAFOS David Krenkel Rodrigues de Melo david.melo1992@gmail.com Prof. Leonardo Sommariva, Estrutura de Dados RESUMO: São inúmeras as aplicaçõe de grafos, bem como os problemas clássicos

Leia mais

Sumário. SCC0661 Multimídia e Hipermídia. Ementa do Curso. Ementa do Curso. Programa do Curso. Avaliação

Sumário. SCC0661 Multimídia e Hipermídia. Ementa do Curso. Ementa do Curso. Programa do Curso. Avaliação SCC0661 Multimídia e Hipermídia Prof.: Dr. Marcelo Manzato (mmanzato@icmc.usp.br) Sumário 1. Apresentação da Disciplina. 2. Definindo Multimídia. 3. Diferentes Aspectos de Multimídia. Instituto de Ciências

Leia mais

Algoritmos em Strings (compressão de texto)

Algoritmos em Strings (compressão de texto) Algoritmos em Strings (compressão de texto) R. Rossetti, A.P. Rocha, A. Pereira, P.B. Silva, T. Fernandes FEUP, MIEIC, CAL, 2010/2011 1 Teoria da Informação O que é? É uma ferramenta matemática para determinar

Leia mais

Aplicações da Matemática: Redes Sociais, Jogos, Engenharia

Aplicações da Matemática: Redes Sociais, Jogos, Engenharia Aplicações da Matemática: Redes Sociais, Jogos, Engenharia Fábio Protti IC/UFF Grafo É um conjunto de pontos, chamados vértices... Grafo É um conjunto de pontos, chamados vértices... Conectado por um conjunto

Leia mais

Avaliação Datas Importantes Contato Bibliografia Recomendada Motivação. EESC-USP M. Becker /21

Avaliação Datas Importantes Contato Bibliografia Recomendada Motivação. EESC-USP M. Becker /21 SEM0317 Dinâmica e Controle de Sistemas Robóticos I Apresentação do Curso e Motivação Prof. Dr. Marcelo Becker M.Sc. Kelen C. T. Vivaldini SEM - EESC - USP Sumário da Aula Ementa Avaliação Datas Importantes

Leia mais

SSC0112 Organização de Computadores Digitais I - Turma 2

SSC0112 Organização de Computadores Digitais I - Turma 2 SSC0112 Organização de Computadores Digitais I - Turma 2 1ª Aula Apresentação e Introdução da disciplina Profa. Sarita Mazzini Bruschi sarita@icmc.usp.br Apresentada pelo Prof. Paulo Sergio Lopes de Souza

Leia mais

Teoria dos Grafos. Fluxo Máximo em Redes

Teoria dos Grafos. Fluxo Máximo em Redes Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Fluxo Máximo

Leia mais

SERVIÇO PÚBLICO FEDERAL INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO AMAPÁ IFAP CÂMPUS MACAPÁ

SERVIÇO PÚBLICO FEDERAL INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO AMAPÁ IFAP CÂMPUS MACAPÁ 13 específica, de segunda-feira a sexta-feira e aos sábados, caso seja necessário para complementação do período letivo e/ou carga horária curricular. Cada aula tem durafao de 50min (cinquenta minutos),

Leia mais

Teoria dos Grafos. Aula 5 - Estruturas de Dados para Grafos. Profª. Alessandra Martins Coelho. março/2013

Teoria dos Grafos. Aula 5 - Estruturas de Dados para Grafos. Profª. Alessandra Martins Coelho. março/2013 Teoria dos Grafos Aula 5 - Estruturas de Dados para Grafos Profª. Alessandra Martins Coelho março/2013 Estrutura é o que caracteriza o próprio grafo e independe da forma como ele é representado. A representação

Leia mais

FACULDADE DE COMPUTAÇÃO E INFORMÁTICA CURSO: CIÊNCIA DA COMPUTAÇÃO HORÁRIOS DO 1º SEM/2017

FACULDADE DE COMPUTAÇÃO E INFORMÁTICA CURSO: CIÊNCIA DA COMPUTAÇÃO HORÁRIOS DO 1º SEM/2017 AGRUPADORES ESPECIAIS ENEC00055 TECNOLOGIA WEB II 4 4 02 P 03-06 051GA02H11 ENEC00239 MATEMATICA DISCRETA 4 4 02 051GA02H ENEC00239 MATEMATICA DISCRETA 4 4 02 19-20 15-16 051GA02Y ENEC00273 LINGUAGEM DE

Leia mais

Introdução à Ciência da Computação

Introdução à Ciência da Computação 1 Universidade Federal Fluminense Campus de Rio das Ostras Curso de Ciência da Computação Introdução à Ciência da Computação Professor: Leandro Soares de Sousa e-mail: leandro.uff.puro@gmail.com site:

Leia mais

Teoria da Computação. Clique de um Grafo. Alexandre Renato Rodrigues de Souza 1

Teoria da Computação. Clique de um Grafo. Alexandre Renato Rodrigues de Souza 1 Teoria da Computação Clique de um Grafo Alexandre Renato Rodrigues de Souza 1 O que é um grafo? Definição 1: grafo é uma estruturas utilizada para representar relações entre elementos de um dado conjunto.

Leia mais

Álgebra A - Aula 01 Algoritmo da divisão de Euclides e Algoritmo Euclideano estendido

Álgebra A - Aula 01 Algoritmo da divisão de Euclides e Algoritmo Euclideano estendido Álgebra A - Aula 01 Algoritmo da divisão de Euclides e Algoritmo Euclideano estendido Elaine Pimentel Departamento de Matemática, UFMG, Brazil 2 o Semestre - 2010 Introdução Objetivo: estudar o método

Leia mais

Universidade Federal do ABC (UFABC)

Universidade Federal do ABC (UFABC) Bacharelado Interdisciplinar e Sistema Universitário Universidade Federal do ABC (UFABC) Expansão das universidades federais - 2006 Políticas afirmativas: ação de inclusão social com reserva de vagas para

Leia mais

GEX ESTATÍSTICA BÁSICA J. D.

GEX ESTATÍSTICA BÁSICA J. D. GEX 112 - ESTATÍSTICA BÁSICA J. D. Scalon Departamento de Ciências Exatas (DEX) Tel. 38291960 e-mail: scalon@dex.ufla.br 1 O que é ESTATÍSTICA? Estatística é a Ciência de obter conclusões a partir de dados.

Leia mais

TEORIA DAS ESTRUTURAS I. Prof. DSc. Renata Machado Soares TEORIA I

TEORIA DAS ESTRUTURAS I. Prof. DSc. Renata Machado Soares TEORIA I TEORIA DAS ESTRUTURAS I Prof. DSc. Renata Machado Soares TEORIA I Teoria das Estruturas - Idéia Básica Estudar métodos de análise de estruturas hiperestáticas e sua aplicação no projeto de estruturas.

Leia mais

Introdução à Matemática Discreta

Introdução à Matemática Discreta Introdução à Matemática Discreta Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Condução da disciplina Aulas: Quartas: 10:10 12:00 Sextas: 08:00 09:50 Haverá troca de professores:

Leia mais

Licenciatura em Matemática

Licenciatura em Matemática Licenciatura em atemática Ano Letivo 2012/2013 Acesso Geral Códigos nstituição/curso: 0300 / 9209 Condições Prova de ingresso: atemática (19) O cálculo da nota de acesso considera: 0% da nota do ensino

Leia mais

Desvendando o futuro: Matemática Computacional

Desvendando o futuro: Matemática Computacional Desvendando o futuro: Matemática Computacional L. Felipe Bueno lfelipebueno@gmail.com Universidade Federal de São Paulo (UNIFESP) São José dos Campos 11/03/15 Resumo O que é Matemática Computacional Habilidades

Leia mais

Geometria Computacional

Geometria Computacional Geometria Computacional Professor: Anselmo Montenegro www.ic.uff.br/~anselmo Conteúdo: - Polígonos 1 Roteiro Introdução Polígonos Teorema da Curva de Jordan Decomposição de polígonos Triangulações Estrutura

Leia mais

Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4

Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4 Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4 1 Apresentação Olá, pessoal Tudo bem com vocês? Finalmente saiu o edital do TCM/RJ Para quem ainda não me conhece, meu nome

Leia mais

DISTRIBUIÇÃO DA CARGA HORÁRIA TEÓRICA PRÁTICA TEO/PRAT OUTRAS NÚMERO MÁXIMO DE ALUNOS POR TURMA AULAS TEÓRICAS PRÁTICAS 80 40

DISTRIBUIÇÃO DA CARGA HORÁRIA TEÓRICA PRÁTICA TEO/PRAT OUTRAS NÚMERO MÁXIMO DE ALUNOS POR TURMA AULAS TEÓRICAS PRÁTICAS 80 40 unesp UNIVERSIDADE ESTADUAL PAULISTA CÂMPUS UNIVERSITÁRIO DE BAURU FACULDADE DE CIÊNCIAS PLANO DE ENSINO 2008 UNIDADE UNIVERSITÁRIA: FACULDADE DE CIÊNCIAS CURSO: LICENCIATURA EM MATEMÁTICA HABILITAÇÃO:

Leia mais

INSTITUTO FEDERAL DO ESPÍRITO SANTO CURSO BACHARELADO EM SISTEMAS DE INFORMAÇÃO

INSTITUTO FEDERAL DO ESPÍRITO SANTO CURSO BACHARELADO EM SISTEMAS DE INFORMAÇÃO INSTITUTO FEDERAL DO ESPÍRITO SANTO CURSO BACHARELADO EM SISTEMAS DE INFORMAÇÃO ANTONIO CARLOS GOMES BASILIO EVANDRO DAS VIRGENS SCARPATI MARCOS AURÉLIO MELO DIAS RENAN COSMO PROBLEMA DO CAMINHO MÍNIMO

Leia mais

04 Grafos: caminhos e coloração SCC0503 Algoritmos e Estruturas de Dados II

04 Grafos: caminhos e coloração SCC0503 Algoritmos e Estruturas de Dados II 04 Grafos: caminhos e coloração SCC0503 Algoritmos e Estruturas de Dados II Prof. Moacir Ponti Jr. www.icmc.usp.br/~moacir Instituto de Ciências Matemáticas e de Computação USP 2011/1 Moacir Ponti Jr.

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2016 Atualizado 26/01/2016 INGRESSANTES A PARTIR DE 2010

HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2016 Atualizado 26/01/2016 INGRESSANTES A PARTIR DE 2010 HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2016 Atualizado 26/01/2016 INGRESSANTES A PARTIR DE 2010 1 0 ANO - 1 0. SEMESTRE (Grade Curricular Nova) Vespertino Lógica Matemática Discreta Integral I (Almir

Leia mais

Apresentação da Disciplina

Apresentação da Disciplina Apresentação da Disciplina Leandro Tonietto Processamento Gráfico Curso de Jogos Digitais Ciência da Computação Unisinos ltonietto@unisinos.br ago-12 http://professor.unisinos.br/ltonietto/jed/pgr/pgr2012_02.html

Leia mais

Prof.Letícia Garcia Polac. 6 de abril de 2017

Prof.Letícia Garcia Polac. 6 de abril de 2017 Fundamentos de Lógica e Conjuntos Prof.Letícia Garcia Polac Universidade Federal de Uberlândia UFU-MG 6 de abril de 2017 Sumário 1 EMENTA 2 BIBLIOGRAFIA 3 AVALIAÇÕES 4 INTRODUÇÃO EMENTA Ementa 1. Lógica

Leia mais

CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR CURRÍCULO PLENO SEMESTRALIZADO 10 SEMESTRES

CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR CURRÍCULO PLENO SEMESTRALIZADO 10 SEMESTRES CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR CURRÍCULO PLENO SEMESTRALIZADO 10 SEMESTRES Situação Legal: Reconhecido Integralização: Mínimo 5 anos / Máximo 8 anos Carga Horária: 2.820h (188 créditos)

Leia mais

MATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO. 1º Período

MATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO. 1º Período MATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO 1º Período Código Disciplina CHT 1 CHP 2 CH Total Pré-requisitos Dados I 40 40 80 - Cálculo I 80-80 - Fundamentos da Computação 40-40 - Fundamentos

Leia mais

ESCOLA E B 2,3/S MIGUEL LEITÃO DE ANDRADA - AGRUPAMENTO DE ESCOLAS DE PEDRÓGÃO GRANDE DEPARTAMENTO DAS CIÊNCIAS EXATAS 2015/2016

ESCOLA E B 2,3/S MIGUEL LEITÃO DE ANDRADA - AGRUPAMENTO DE ESCOLAS DE PEDRÓGÃO GRANDE DEPARTAMENTO DAS CIÊNCIAS EXATAS 2015/2016 ESCOLA E B 2,3/S MIGUEL LEITÃO DE ANDRADA - AGRUPAMENTO DE ESCOLAS DE PEDRÓGÃO GRANDE DEPARTAMENTO DAS CIÊNCIAS EXATAS 2015/2016 PLANIFICAÇÃO DE MATEMÁTICA 6ºANO 1º Período 2º Período 3º Período Apresentação,

Leia mais

LICENCIATURA EM ENGENHARIA DE REDES DE COMUNICAÇÃO E INFORMAÇÃO EQUIVALÊNCIAS ENTRE PLANOS CURRICULARES. Plano Curricular

LICENCIATURA EM ENGENHARIA DE REDES DE COMUNICAÇÃO E INFORMAÇÃO EQUIVALÊNCIAS ENTRE PLANOS CURRICULARES. Plano Curricular LICENCIATURA EM ENGENHARIA DE REDES DE COMUNICAÇÃO E INFORMAÇÃO EQUIVALÊNCIAS ENTRE PLANOS CURRICULARES Plano Curricular de 2005-2006 ECTS Plano Curricular ECTS LERCI LERC / MERC (Bolonha) Análise Matemática

Leia mais

Alguns probleminhas...

Alguns probleminhas... Introdução Vários problemas da computação, com aplicações em diversos problemas importantes, nasceram de jogos ou brincadeiras. Hoje veremos uma pequana amostra deste fato. Alguns probleminhas... Problema

Leia mais

Introdução ao Processamento de Imagens Digitais Aula 01

Introdução ao Processamento de Imagens Digitais Aula 01 Introdução ao Processamento de Imagens Digitais Aula 01 Douglas Farias Cordeiro Universidade Federal de Goiás 06 de julho de 2015 Mini-currículo Professor do curso Gestão da Informação Formação: Graduação

Leia mais

Exames Época Especial 2013/2014

Exames Época Especial 2013/2014 Exames Época Especial 2013/2014 8 a 13 de setembro 2014 Licenciatura em Biologia Aplicada UC 08-09-2014 Microbiologia 1 09:30h CP1-BB 10-09-2014 Química Geral 2 09:30h CP1-101 08-09-2014 UC_M Botânica

Leia mais

PLANO DE ESTUDOS DE MATEMÁTICA - 6.º ANO PERFIL DO ALUNO 1.º PERÍODO. DOMÍNIOS SUBDOMÍNIOS/CONTEÚDOS OBJETIVOS n.º de aulas

PLANO DE ESTUDOS DE MATEMÁTICA - 6.º ANO PERFIL DO ALUNO 1.º PERÍODO. DOMÍNIOS SUBDOMÍNIOS/CONTEÚDOS OBJETIVOS n.º de aulas DE MATEMÁTICA - 6.º ANO Ano Letivo 2014 2015 PERFIL DO ALUNO No domínio dos Números e Operações, o aluno deve ser capaz de conhecer e aplicar propriedades dos números primos; representar e comparar números

Leia mais

Teoria dos Grafos Aula 2

Teoria dos Grafos Aula 2 Teoria dos Grafos Aula 2 Aula passada Logística, regras Objetivos Grafos, o que são? Formando pares Encontrando caminhos Aula de hoje Outro problema real Definições importantes Algumas propriedades Grafo

Leia mais

Como modelar o comportamento de um sistema? MAB-515

Como modelar o comportamento de um sistema? MAB-515 Como modelar o comportamento de um sistema? MAB-515 Possibilidades de modelagem PARAMETRIZA modelo matemático experimento real AJUDA A COMPREENDER SIMULAÇÃO SOLUÇÃO ANALÍTICA MEDIDAS EXPERIMENTAIS NO MODELO

Leia mais

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO

Leia mais

O Teorema da Amizade

O Teorema da Amizade O Teorema da Amizade Seminário Diagonal David Mesquita Faculdade de Ciências da Universidade do Porto 13 de Maio de 2009 Teorema da Amizade,TA Formulação Original Suponha-se que numa sociedade, cada par

Leia mais

DOIS PROBLEMAS SOBRE GRAFOS Paulo Cezar Pinto Carvalho IMPA

DOIS PROBLEMAS SOBRE GRAFOS Paulo Cezar Pinto Carvalho IMPA Nível Intermediario. DOIS PROBLEMAS SOBRE GRAFOS Paulo Cezar Pinto Carvalho IMPA INTRODUÇÃO A figura abaixo mostra um mapa rodoviário de um país fictício. Neste artigo vamos examinar dois problemas relativos

Leia mais

CURSO DE CIÊNCIAS EXATAS HABILITAÇÃO: BACHARELADO EM CIÊNCIAS EXATAS INGRESSANTES 2009

CURSO DE CIÊNCIAS EXATAS HABILITAÇÃO: BACHARELADO EM CIÊNCIAS EXATAS INGRESSANTES 2009 CURSO DE CIÊNCIAS EXATAS HABILITAÇÃO: BACHARELADO EM CIÊNCIAS EXATAS INGRESSANTES 2009 Período Atividade Acadêmica Caráter Cr CH Pré-requisito Código Denominação 1º MAT154 Cálculo I Disciplina de Formação

Leia mais

Apresentação da Disciplina

Apresentação da Disciplina Instituto Federal de Educação, Ciência e Tecnologia de Santa Catarina Departamento Acadêmico de Eletrônica Osciladores e Multivibradores Apresentação da Disciplina Florianópolis, outubro de 2012. Prof.

Leia mais

Plano de Ensino. Leandro Schwarz Endereço eletrônico:

Plano de Ensino. Leandro Schwarz Endereço eletrônico: Plano de Ensino Disciplina: Dispositivos Lógicos Programáveis Semestre: 2011/1 Turma: 2030311A Carga horária: 80 horas Professor: Leandro Schwarz () Endereço eletrônico: 1. Objetivos A tecnologia de Dispositivos

Leia mais

Plano de Ensino. Identificação. Câmpus de Bauru. Curso Bacharelado em Ciência da Computação Física. Ênfase

Plano de Ensino. Identificação. Câmpus de Bauru. Curso Bacharelado em Ciência da Computação Física. Ênfase Curso 2103 - Bacharelado em Ciência da Computação 1605 - Física Ênfase Identificação Disciplina 0004600A - Cálculo I Docente(s) Adriana Cristina Cherri Nicola Unidade Faculdade de Ciências Departamento

Leia mais

Plano de Ensino Docente. TURMA: 2º semestre

Plano de Ensino Docente. TURMA: 2º semestre Plano de Ensino Docente IDENTIFICAÇÃO CURSO: Licenciatura em Matemática FORMA/GRAU:( ) integrado ( ) subsequente ( ) concomitante ( ) bacharelado (x) licenciatura ( ) tecnólogo MODALIDADE: ( x ) Presencial

Leia mais

Faculdade de Informática e Tecnologia de Pernambuco

Faculdade de Informática e Tecnologia de Pernambuco Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;

Leia mais

Plano de Ensino. Identificação. Câmpus de Bauru. Curso 2302N - Bacharelado em Design. Ênfase. Disciplina B - Metodologia Científica

Plano de Ensino. Identificação. Câmpus de Bauru. Curso 2302N - Bacharelado em Design. Ênfase. Disciplina B - Metodologia Científica Curso 2302N - Bacharelado em Design Ênfase Identificação Disciplina 0003622B - Metodologia Científica Docente(s) Ana Beatriz Pereira de Andrade Unidade Faculdade de Arquitetura, Artes e Comunicação Departamento

Leia mais

Cap. 2 Conceitos Básicos em Teoria dos Grafos

Cap. 2 Conceitos Básicos em Teoria dos Grafos Teoria dos Grafos e Aplicações 8 Cap. 2 Conceitos Básicos em Teoria dos Grafos 2.1 Grafo É uma noção simples, abstrata e intuitiva, usada para representar a idéia de alguma espécie de relação entre os

Leia mais

Redes Complexas Aula 2

Redes Complexas Aula 2 Redes Complexas Aula 2 Aula passada Logística Redes e Grafos Exemplos Redes Complexas Aula de hoje Redes e classes Estrutura e características Grau, distância, clusterização Rede (ou Grafo) Abstração que

Leia mais

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática como Serviço a Ciência da Computação Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática e Ciência da Computação A Matemática faz parte do DNA

Leia mais

Noções da Teoria dos Grafos. André Arbex Hallack

Noções da Teoria dos Grafos. André Arbex Hallack Noções da Teoria dos Grafos André Arbex Hallack Junho/2015 Índice 1 Introdução e definições básicas. Passeios eulerianos 1 1.1 Introdução histórica..................................... 1 1.2 Passeios

Leia mais

Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.

Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada. Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos direcionados (Digrafos) Preparado a partir do texto:

Leia mais

5COP096 TeoriadaComputação

5COP096 TeoriadaComputação Sylvio 1 Barbon Jr barbon@uel.br 5COP096 TeoriadaComputação Aula 14 Prof. Dr. Sylvio Barbon Junior Sumário - Problemas Exponenciais - Algoritmos Exponenciais usando Tentativa e Erro - Heurísticas para

Leia mais