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 deamo@ufu.br 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 Dados de Saida 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 Relação sobre o conjunto de cidades C = {S.Paulo, Brasilia, P.Alegre, Petrolina, Manaus, Recife, Fortaleza} S. Paulo P. Alegre S. Paulo Petrolina Petrolina Manaus Petrolina Fortaleza Relação = subconjunto do produto cartesiano C x C Manaus Recife Ligações aéreas diretas
Noções matemáticas básicas S. Paulo Brasilia S. Paulo Brasilia S. Paulo P. Alegre P. Alegre Petrolina Fortaleza S. Paulo Petrolina Petrolina Manaus Manaus 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 Relação transitiva S. Paulo Brasilia S. Paulo Brasilia S. Paulo P. Alegre S. Paulo P. Alegre S. Paulo Petrolina R* = fecho transitivo de R Petrolina Manaus S. Paulo Petrolina Petrolina Fortaleza Petrolina Manaus Manaus Recife Petrolina Fortaleza S.Paulo Manaus Manaus Recife 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 Disciplinas envolvendo Matemática Lógica para CC Banco de Dados Disciplinas envolvendo Matemática Teoria dos Grafos Redes de Computadores Noções Matemáticas básicas Função Relação Indução Contagem Disciplinas envolvendo Matemática Cálculo I Algebra Linear Estatistica Teoria das Filas (Simulação de Sistemas) Lógica - PROLOG Funcional - HASKELL Procedimental – C Orientada a Objetos - JAVA PROGRAMAÇÃO
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 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