MAC105 Fundamentos de Matemática para a Computação

• [2018-02-26 Mon] Semana de recepção aos calouros
• [2018-02-28 Wed] Semana de recepção aos calouros

• [2018-03-05 Mon] Aula introdutória. Assuntos administrativos. A linguagem da teoria dos conjuntos
• [2018-03-07 Wed] Mais sobre conjuntos. Exercício S1
• [2018-03-12 Mon] Afirmações e cálculo proposicional
• [2018-03-14 Wed] Quantificadores; como negar afirmações. Exercício S2
• [2018-03-19 Mon] Negação de afirmações (cont.). Operações lógicas e conjuntos. Como provar afirmações (princípios básicos)
• [2018-03-21 Wed] Como provar afirmações (cont.). Contrapositivas e recíprocas
• [2018-03-26 Mon] Semana Santa
• [2018-03-28 Wed] Semana Santa

• [2018-04-02 Mon] Provas por análise de casos. Somas duplas e mudança da ordem de soma
• [2018-04-04 Wed] Provas por contradição
• [2018-04-09 Mon] Provas por contradição (cont.). Provas por indução
• [2018-04-11 Wed] Provas por indução (cont.)
• [2018-04-16 Mon] Aula de exercícios, por Tiago Royer
• [2018-04-18 Wed] Indução forte, por Arnaldo Mandel
• [2018-04-23 Mon] Aula de exercícios, em preparação para a P1
• [2018-04-25 Wed] Prova 1
• [2018-04-30 Mon] Recesso escolar

• [2018-05-02 Wed] Semana de break
• [2018-05-07 Mon] As funções piso e teto. Árvores binárias. Busca em lista ordenada (introdução)
• [2018-05-09 Wed] Busca em lista ordenada (cont.). Busca binária
• [2018-05-14 Mon] Busca binária (cont.). Uma outra árvore binária (árvore binária do mergesort)
• [2018-05-16 Wed] Elementos da teoria dos números. O algoritmo euclidiano
• [2018-05-21 Mon] O algoritmo de Euclides estendido e aplicações
• [2018-05-23 Wed] O teorema fundamental da aritmética (unicidade). Equações diofantinas lineares de duas variáveis
• [2018-05-28 Mon] Semana de break
• [2018-05-30 Wed] Semana de break

• [2018-06-04 Mon] Aritmética modular e aplicações
• [2018-06-06 Wed] Aritmética modular e aplicações (cont.). O pequeno teorema de Fermat. Inversos módulo n
• [2018-06-11 Mon] Inversos módulo n (cont.). O caso em que n é primo. O teorema de Wilson
• [2018-06-13 Wed] A função \(\varphi\) de Euler. O anel dos inteiros módulo n. O teorema de Euler
• [2018-06-18 Mon] Discussão de alguns exercícios. Relações (introdução)
• [2018-06-20 Wed] P2
• [2018-06-25 Mon] Relações reflexivas, simétricas e transitivas. Fecho transitivo
• [2018-06-27 Wed] Relações de ordem. Diagramas de Hasse. Elementos mínimos e minimais

• [2018-07-04 Wed] FIFA
• [2018-07-02 Mon] Relações de equivalência e partições (última aula)

Página principal de MAC105, 1o. semestre de 2018