MENU: [ Avisos | Informações Gerais | Regras | Plano de Atividades ]
Última atualização: 28/01/2016.
Leia toda esta página no início do semestre: ela contém informações importantes, como as regras para solicitação de segunda chamada e para o cálculo da nota na disciplina.
Esta página está em contínua construção. Por favor, entre em contato comigo caso você precise de alguma informação adicional, ou caso acredite ter encontrado um erro aqui. Obrigado!
Caro aluno, na regulamentação desta disciplina você pode acessar as informações básicas sobre ela, incluindo justificativa, objetivos, ementa e bibliografia. (Recomendações internacionais aqui.)
Esta disciplina possui notas de aula que acompanham as aulas; elas estão listadas no plano de atividades (e armazenadas na página da turma da manhã). Naturalmente, você também pode (e, se puder, deve) estudar por um livro; nesse caso, a minha sugestão (dentre outras opções) é o livro Fundamentos Matemáticos para a Ciência da Computação, de Judith Gersting, que é muito bom (mas também muito caro; há exemplares na biblioteca; uma cópia digital da 3ª edição está aqui).
A minha sugestão para a obtenção de um bom desempenho na disciplina é, aula-a-aula, acompanhar o conteúdo, fazer os exercícios e tirar as dúvidas. Caso você possua uma dúvida no horário da aula, o ideal é tirá-la na própria ocasião, para que os demais alunos também se beneficiem das explicações. Entretanto, caso necessário, você também pode me contactar fora do horário de aula.
Todas as atividades da disciplina já possuem data prevista no plano de atividades.
Segunda chamada: consulte as regras para a solicitação de prova de segunda chamada.
| Média das Avaliações | ≥ 7 | 7 > média ≥ 4 | < 4 |
|---|---|---|---|
| Situação | Aprovado | AF | Reprovado |
| Aula | Data | Descrição |
|---|---|---|
| 1 | 04/08 | Apresentação da Disciplina; Números Naturais. |
| 2 | 06/08 | Números Racionais |
| 3 | 11/08 | Álgebra de Conjuntos |
| 4 | 13/08 | Axiomas para Conjuntos |
| 5 | 18/08 | Construção dos Números Naturais |
| 20/08 | Greves dos Professores e dos Estudantes | |
| … | ||
| 08/10 | Fim da Greve dos Professores | |
| 13/10 | Sem aula: Dia do Professor | |
| 6 | 15/10 | Funções |
| 20/10 | Sem aula: Compromisso Pessoal do Professor. | |
| 22/10 | Sem aula: Minicurso de Reconhecimento de Padrões da SETIC. | |
| 7 | 27/10 | Lógica Proposicional: Semântica |
| 8 | 29/10 | Lógica Proposicional: Dedução Natural |
| 9 | 03/11 | Lógica de Predicados: Semântica |
| 10 | 05/11 | Lógica de Predicados: Dedução Natural |
| 11 | 07/11 | Exercícios (Sábado 08h) |
| * | 10/11 | AP1 |
| 12 | 12/11 | Correção da AP1 |
| 13 | 17/11 | Permutações |
| 14 | 19/11 | Seleções |
| 15 | 24/11 | Caixas e Bolas |
| 26/11 | Sem aula: Encontros Universitários | |
| 16 | 01/12 | Princípio da Casa dos Pombos |
| 17 | 03/12 | Relações e Ordens |
| 18 | 05/12 | Relações de Equivalência (SÁBADO) |
| 19 | 08/12 | Grafos |
| 20 | 10/12 | Conjuntos Enumeráveis |
| 21 | 12/12 | Conjuntos Não-Enumeráveis (SÁBADO 08h) |
| 22 | 15/12 | Exercícios e Tira-Dúvidas |
| * | 17/12 | AP2 |
| 22/12 | Sem aula: Recesso Natalino | |
| … | ||
| 31/12 | Sem aula: Recesso Natalino | |
| 23 | 05/01 | Correção da AP2 |
| 24 | 07/01 | Conjuntos Indutivos |
| 25 | 12/01 | Indução sobre Números Naturais |
| 26 | 14/01 | Indução sobre Números Naturais |
| 19/01 | Sem Aula - Problemas Elétricos na Sala | |
| 27 | 21/01 | Indução Estrutural |
| 28 | 26/01 | Relações de Recorrência - Parte 1 |
| 29 | 28/01 | Relações de Recorrência - Parte 2 |
| 30 | 02/02 | Exercícios e Tira-Dúvidas |
| * | 04/02 | AP3 |
| 09/02 | Sem aula: Carnaval | |
| * | 11/02 | Prova 4: opcional e sem 2a chamada; substitui a menor nota das AP's. |
| * | 16/02 | AF |
| * | 18/02 | Notas Finais da Disciplina. |