Matematica da computação

dPLANO DE ENSINO
Disciplina: 060501 - Matemática para Computação

Ano/semestre: 2013/1 Créditos acadêmicos: 4 Horas aula: 60.00 Área temática: MAT - Matemática Organização acadêmica: Bac Sist Informação EaD Competências Dominar a linguagem formal dos conjuntos e funções; Demonstrar capacidade de lidar e de se expressar com a linguagem matemática formal. Representar graficamente as funções elementares básicas; Demonstrar propriedades envolvendo os números Naturais através do princípio da indução; Resolver problemas básicos de contagem e de cálculo combinatório. Conhecimentos •Lógica formal. Proposições, representações simbólicas e tautologias. Quantificadores, funções proposicionais. Técnicas de Demonstração. •Conjunto. Relações entre elementos e conjuntos. Relações entre conjuntos. Operações entre conjuntos. Propriedades das operações entre conjuntos. •Relações e funções. Domínio e imagem de funções. Funções injetoras, sobrejetoras e bijetoras. Funções inversas. •Os números Naturais. Princípio de indução. Os Inteiros, os Racionais, os Irracionais e os Reais. •Conjuntos finitos e infinitos. Conjuntos enumeráveis e não enumeráveis. Propriedades. Cardinalidade. Definição. Comparação entre cardinalidades. •Contagem. Análise combinatória: permutações, arranjos e combinações. Teorema Binomial. Metodologias, técnicas e recursos de ensino e aprendizagem As aulas se desenvolvem dentro da plataforma virtual Moodle (www.moodle.unisinos.br). Trata-se de um sistema de administração de atividades educacionais destinado à criação de comunidades on-line, em ambientes virtuais voltados para a aprendizagem. Como meios de comunicação/interação, utilizam-se fóruns para o desenvolvimento de discussão assincrônica e troca de material entre os participantes, e-mails, chats para ampliação de discussões sincrônicas (dentro da plataforma). Para expansão do conteúdo, utilizam-se um conjunto de ferramentas: Arquivos para postagem e compartilhamento de arquivos comuns; Glossário para o