Matemática para Ciência da Computação Profa. Sandra de Amo Bacharelado em CC 2009 – 2 Roteiro Informações Gerais sobre a Disciplina Por que Matemática num Curso de Ciência da Computação ? Conteúdo da Disciplina Critério de Avaliação Bibliografia Informações Gerais Página do curso http://www.deamo.prof.ufu.br/CursoMCC12009.html E-mail [email protected] Horário de Atendimento – Sala 1B140 Sextas-feira 14:00 – 16:00 Por que Matemática em Computação ? Elemento básico de CC: Programas Para que Programas ? resolver problemas, executar tarefas O que é um Problema ? O que é uma Tarefa ? Problemas - Tarefas Num banco: Dados o número de clientes na fila e 3 caixas em funcionamento, a tarefa é determinar quanto tempo é preciso esperar na fila até ser atendido. Dados o número de clientes na fila e o número de caixas em funcionamento, a tarefa é determinar quanto tempo é preciso esperar na fila até ser atendido. Numa agência de viagens: Dada uma tabela onde são informados as possíveis ligações aéreas entre cidades do Brasil, pergunta-se quais as possíveis trajetos aéreos entre São Paulo e Fortaleza ? Problema - Tarefa Dados de Saida Dados de Entrada PROGRAMA Programa = Mecanismo que transforma dados de entrada em dados de saída Noções matemáticas básicas Programa = Função n T n = número de pessoas na fila T = tempo que se tem de esperar para ser atendido. Noções matemáticas básicas Programa = Função (n,m) T n = número de pessoas na fila m = número de caixas em funcionamento T = tempo que se tem de esperar para ser atendido. Noções matemáticas básicas Primeiro programa: Função : N N Segundo programa: Função : N x N N Noções matemáticas básicas Conjunto, Relação S. Paulo Brasilia S. Paulo P. Alegre S. Paulo Petrolina Relação sobre o conjunto de cidades C = {S.Paulo, Brasilia, P.Alegre, Petrolina, Manaus, Recife, Fortaleza} Petrolina Manaus Petrolina Fortaleza Manaus Recife Ligações aéreas diretas Relação = subconjunto do produto cartesiano CxC Noções matemáticas básicas S. Paulo Brasilia S. Paulo Brasilia S. Paulo P. Alegre P. Alegre S. Paulo Petrolina Petrolina Manaus Petrolina Manaus Fortaleza Recife Petrolina Fortaleza Manaus Recife S.Paulo Manaus S.Paulo Fortaleza Petrolina Recife S.Paulo Recife Ligações aéreas diretas ou com conexões Relação não-transitiva R S. Paulo Relação transitiva S. Paulo Brasilia Brasilia S. Paulo P. Alegre S. Paulo P. Alegre S. Paulo Petrolina S. Paulo Petrolina Petrolina Manaus Petrolina Fortaleza Manaus Recife Petrolina Manaus R* = fecho transitivo de R Petrolina Fortaleza Manaus Recife S.Paulo Manaus S.Paulo Fortaleza Petrolina Recife S.Paulo Recife Programa = função que transforma uma relação R em seu fecho-transitivo R* Matemática no BCC – Panorama Geral Banco de Dados Redes de Computadores Teoria das Filas (Simulação de Sistemas) PROGRAMAÇÃO Disciplinas envolvendo Matemática Lógica para CC Disciplinas envolvendo Matemática Teoria dos Grafos Disciplinas envolvendo Matemática Cálculo I Algebra Linear Estatistica Lógica - PROLOG Funcional - HASKELL Procedimental – C Orientada a Objetos - JAVA Noções Matemáticas básicas Função Relação Indução Contagem Conteúdo da Disciplina Conjuntos Funções Relações Contagem – Combinatória Indução, sequências recorrentes Conceitos fundamentais de Teoria dos Números Aplicações - Criptografia Aulas de Exercícios Listas de execícios a cada 15 dias Aulas de exercicios a cada 15 dias Bibliografia Matemática Discreta: Uma introdução Edward R. Scheinerman, Editora Thomson, 2003. Matemática Discreta para Computação e Informatica Paulo Blauth Menezes Editora Sagra Luzzatto, 2004. Matemática Concreta - Fundamentos para Ciência da Computação Ronald L. Graham, Donald E. Knuth, Oren Patashnik LTC - Editora, 1995. Critério de Avaliação Avaliações contínuas a cada 3 aulas Prova 1 Prova 2 Prova 3 Prova Substitutiva Critério de Avaliação Avaliações contínuas (AC) = 25 pontos Prova 1 (P1) = 25 pontos Prova 2 (P2) = 25 pontos Prova 3 (P3) = 25 pontos NF = AC + P1 + P2 + P3 Prova Substitutiva = somente se NF < 60 Nota final com sub no maximo = 60 Calendário das Avaliações Prova 1 : 28 de Setembro Prova 2 : 9 de Novembro Prova 3 : 22 de Dezembro Prova Substitutiva : 5 de Janeiro