Descrição do curso

Docente

Christiane Neme Campos - campos at ic dot unicamp dot br


Monitores

João Vianini - jpvianini at gmail dot com
Mayara Omai - mayomai at live dot com


Aulas

Curso teórico, composto de aulas expositivas.

  • Não haverá aulas nos dias: 09/04, 21/04 e 11/06.
  • Horário das aulas: terças, das 19h às 21h, na sala CB-02 e quintas, das 21h às 23h, na sala CB-06.
  • Horários de atendimento com os monitores:
    • Segundas, das 16h30 às 18h30, na sala 28 do IC-02;
    • Quartas, das 18h-20h, na sala 322 do IC3;
    • Terças e quintas, das 12h-14h, na sala 352 do IC3.5;
    • Não havendo estudantes após uma hora e meia de atendimento, o monitor ou a monitora, dependendendo de quem estiver presente no dia, poderá deixar a sala.
  • Não é permitido o uso de computadores, tablets, notebooks, telefones celulares, fones de ouvido e similares durante as aulas teóricas.
  • As comunicações oficiais serão feitas por esta página e/ou por email (institucional, registrado na DAC ou IC).

Exercícios

As listas de exercícios do curso são compostas pelos exercícios apresentados nas seções da bibliografia fundamental, referentes ao conteúdo ministrado. É fortemente recomendado que os(as) alunos(alunas) façam exercícios como parte de seu estudo individual para a disciplina. Estes exercícios não serão cobrados e não entrarão no cômputo da avaliação, mas constituem um bom preparo para as provas que serão aplicadas.

Avaliação

Haverá duas provas teóricas durante o semestre, P1 e P2, com duração de 2h. Dependendo do desempenho do(a) aluno(a) nestas provas, este(a) deverá prestar um exame (E) ao final do semestre. As datas e horários estão especificados abaixo.

Datas das provas teóricas e exames

Prova
Data
Teórica 1 (P1)
07/05/2020 (PREVISÃO)
Teórica 2 (P2)
02/07/2020
Exame (E)
14/07/2020

Bônus na nota das provas teóricas

Adicionalmente, serão aplicados testes curtos, sem data marcada, que valerão bônus nas notas das provas. Espera-se que haja pelo menos um teste adicional para cada prova. O valor do bônus será definido em cada teste. A presença nos testes não é obrigatória, mas fortemente recomendada.


Cômputo da média final do aluno

A nota das provas NP1 e NP2 serão calculadas pela nota da prova teórica acrescida dos bônus dos testes, quando o(a) aluno(a) fizer jus a tais bônus.

A média M_P d* alun* antes do exame será calculada pela média ponderada das duas provas, NP1 e NP2, considerando que elas elas tenham pesos NP2 e NP1 , respectivamente. E a média final, M, será calculada como explicitado pela fórmula a seguir, na qual E é a nota obtida no exame.

Media fórmula


IMPORTANTE AVISO SOBRE PLÁGIOS

A detecção de plágios em qualquer atividade oficial do curso, seja no momento em que ocorrem, ou posterior a elas, implica em:
  • Nota zero na disciplina;
  • Imposição de penalidades conforme consta dos Artigos 228, 229 e 230 do Regimento Geral da Universidade;
  • Reincidências implicarão em agravamentos das penalidades também conforme previsto no Regimento Geral da Universidade.
Bibliografia

Bibliografia principal


Bibliografia complementar

  • Discrete Mathematics and its applications - K. Rosen
  • Fundamentos Matemáticos para a Ciência da Computação - J. L. Gersting
  • Mathematical Logic for Computer Science - M. Ben-Ari

Últimas notícias
    • [22/03/2020] IMPORTANTE: TODAS AS INFORMAÇÕES E NOTÍCIAS DA DISCIPLINA SERÃO DADAS PELO CLASSROOM. TOD*S *S ALUN*S MATRICULADOS RECEBERAM CONVITES PELO EMAIL DA DAC. ACESSEM AS INFORMAÇÕES POR LÁ. AS ATIVIDADES DO CURSO SERÃO RETOMADAS A PARTIR DE AMANHÃ.

    • [11/03/2020] Exercício para ser entregue na aula de 12/03
Exercício

    • [03/03/2020] As aulas terão início no dia de hoje
Links úteis
  • Fiquem atentos porque links úteis serão adicionados nesta seção

  • Programa da disciplina

    1. Conjuntos

    2. Discurso matemático: leitura e escrita matemática
    3. Elementos de lógica:
        - proposições, conetivos lógicos e quantificadores.
    4. Estratégias de prova
    5. Indução matemática
    6. Relações
        - restrição, composição e inversa
        - relações de ordem e elementos extremos
        - relações e classes de equivalência
    7. Funções
        - funções injetoras, sobrejetora e bijetoras
        - inversas
        - sequências
        - funções piso e teto
    8. Somatórios e produtórios
        - manipulação de índices e troca de ordem
        - majoração e minoração de somatórias.
    9. Recorrências
        - aditivas e multiplicativas simples
        - recorrências lineares, polinômio característico
        - majoração e minoração de recorrências
    10. Contagem
        - princípios básicos da contagem (aditivo e multiplicativo)
        - permutações, arranjos e combinações
        - identidades binomiais