Plano de Curso para Componente Curricular oferecido no âmbito do IMD

exclusivo para o período letivo 2021.1 no formato remoto

1. Dados do componente curricular

Unidade responsável: IMD

Código: IMD0028
Nome: Fundamentos Matemáticos da Computação I
Carga horária teórica: 60
Carga horária prática: 30

2. Dados do docente

Nome: Athanasios Thanos Tsouanas

Siape: 2278403
Unidade de exercício: Instituto Metrópole Digital
email: thanos@imd.ufrn.br

3. Conteúdo

Em caso de componente curricular já cadastrado copie a ementa do SIGAA (aba Ensino → Consulta → Componentes curriculares).

Conteúdo transversal: a linguagem da matemática; estratégias básicas de argumentação e demonstração; Indução

e recursão sobre os naturais. Sistemas de Numeração. Representação computacional de números. Divisibilidade.
Números primos, Aritmética modular. Contagem. Relações de recorrência.

4. Metodologia

Descrição de como a disciplina será desenvolvida, especificando as técnicas de ensino a serem utilizadas. Quando for o caso, deve
ficar claro como a carga horária prática será adaptada ao formato remoto.
Metodologia.
• Semanalmente, os alunos precisam: assistir os vídeos de aulas gravadas atribuídos; estudadar o material
atribuído; trabalhar nos homeworks atribuídos no seu caderno; entregar parte do seu caderno pra mim
• Em forma assíncrona, nos canais de comunicação discutimos e tiramos dúvidas.
• Nos possíveis encontros sincronizados: os alunos apresentam suas resoluções; o professor mostra resoluções
e correções.
Obs: a disciplina não necessita laboratório ou qualquer coisa que impediria seu ensino no formato remoto.
Regras.
1. Nunca escreva algo que você mesmo não sabe explicar: (i) o que significa; (ii) seu papel na tua resolução.
Por exemplo: um aluno escreveu a frase seguinte na sua demonstração: «Como f é cancelável pela esquerda
temos que g = h». Ele deve saber o que significa ser “cancelável pela esquerda” é também explicar como isso
foi usado e/ou o que isso tem a ver com essa parte da sua demonstração. Se um aluno não consegue explicar
o que ele mesmo escreveu numa resolução, será considerado plágio e o aluno será reprovado imediatamente
por nota e por faltas.
2. Qualquer resolução é questionável em forma de prova oral (no Meet) em modo privado ou aberto.
3. Participando, nunca dê uma resposta que tu não pensou sozinho.
4. Não tente “forçar a barra” perguntando coisas aleatórias com objetivo único de ganhar pontos. Os pontos
de participação não correspondem em algo que mostra interesse. O interesse é implicito pelo fato que tu
escolheu matricular nesta turma—não vale pontos.

Instituto Metrópole Digital Página 1 de 3

Universidade Federal do Rio Grande do Norte
Campus Universitário – Av. Senador Salgado Filho, 3000
Caixa Postal 1524 – CEP 59078-970 – Natal/RN
Fone: +55 (84) 3215 3144 – Fax: +55 (84) 3214 3141 – Web: www.imd.ufrn.br
 5. Não procurem resoluções em qualquer lugar fora dos indicados no cada homework. O único recurso aceitável
para procurar ajuda é o nosso Zulip (através dos seus streams) e (segundamente) a monitoria.
6. Proibido consultar o apêndice de resoluções do fmcbook durante a disciplina exceto quando for explicitamente
permitido por mim. (Os apêndices de dicas são permitidos sim!)

5. Procedimentos de avaliação da aprendizagem e da assiduidade dos discentes

Descrição dos instrumentos e critérios a serem utilizados para a verificação da aprendizagem e de validação da assiduidade dos
discentes.
Avaliação. A nota final de cada aluno vai ser baseada em um ou mais dos: (i) provas orais com videochamada em
modo privado e/ou aberto; (ii) sua participação (que inclui correção de trabalhos de outros alunos); (iii) suas res-
oluções de problem sets escritas e submetidas em TEX/LATEX/ConTEXt; (iv) seu caderno scaneado com resoluções
de homeworks; (v) arquivos com resoluções em algum proof assistant (escolhido por mim) submetidos via Git.
Note que:
• Os problem sets / homeworks podem envolver simular uma prova escrita em tempo real.
• Cada aluno será responsável para manter organizado e bem escrito seu caderno com todos os teoremas,
definições, e exercícios que estudou durante a disciplina.
Presenças / Faltas. As presenças/faltas serão cadastradas baseadas na participação e na entrega semanal
do caderno. Nenhuma das duas coisas é opcional, logo aluno que não participa ou que não entrega seu caderno
será reprovado por faltas. A corretude das resoluções no caderno não afeta a presença atribuida, mas entrega de
caderno “em branco” ou com besteiras não conta como presença.

6. Cronograma

Cronograma detalhado das atividades. Destacar datas previstas para avaliações e atividades síncronas. Essa informação é
importante para que os estudantes possam avaliar a viabilidade de sua participação na turma. Qualquer atividade síncrona deve
acontecer no horário previamente cadastrado para a turma. Cada atividade (síncrona, assíncrona, avaliações, etc…) deve ter uma
carga horária correspondente de modo que a carga horária total das atividades seja igual à da disciplina.
Aulas. Assistimos ∼ 3 aulas / semana, estudando o material correspondende do livro. Certas aulas poderão ser
substituidas ou complementadas por outros materiais. (Conteudo detalhado de cada aula disponível no site.)

1. Introdução 13. Recursão; indução 25. Combinatória 37. Teoria dos números
2. Demonstrações 14. Recursão; indução 26. Teoria dos números 38. Teoria dos números
3. Demonstrações 15. Recursão; indução 27. Teoria dos números 39. Teoria dos números
4. Demonstrações 16. Recursão; indução 28. Teoria dos números 40. Teoria dos números
5. Demonstrações 17. Recursão; indução 29. Teoria dos números 41. Teoria dos números
6. Irracionalidade 18. Recursão; indução 30. Teoria dos números 42. Teoria dos números
7. Irracionalidade 19. Recursão; indução 31. Teoria dos números 43. Teoria dos números
8. Demonstrações 20. Recursão; indução 32. Teoria dos números 44. Criptografia
9. Demonstrações 21. Combinatória 33. Teoria dos números 45. Criptografia
10. Recursão; indução 22. Combinatória 34. Teoria dos números
11. Recursão; indução 23. Combinatória 35. Teoria dos números
12. Recursão; indução 24. Combinatória 36. Teoria dos números

Quando forem necessárias atividades síncronas serão marcadas dentro do horário cadastrado da turma.

Instituto Metrópole Digital Página 2 de 3

Universidade Federal do Rio Grande do Norte
Campus Universitário – Av. Senador Salgado Filho, 3000
Caixa Postal 1524 – CEP 59078-970 – Natal/RN
Fone: +55 (84) 3215 3144 – Fax: +55 (84) 3214 3141 – Web: www.imd.ufrn.br
7. Recursos necessários para o acompanhamento da turma pelo discente

Descrição dos recursos necessários para que o discente possa acompanhar as atividades da turma de forma adequada, por exemplo,
plataformas de hardware e/ou software, requisitos computacionais e demais recursos necessários para realizar as atividades
programadas.
Os seguintes são todos necessários mesmo:

1. Tempo para dedicar no estudo (o recomendádo é
ter pelo menos 12–16h semanalmente, dependendo
do nível de cada aluno).
2. Um lugar com condições que favorecem o estudo.
3. Usaremos a tecnologia de papel e de lapis e
caneta extensivamente: precisarás um caderno
para dedicar à disciplina.
4. TEX/LATEX/ConTEXt: recomendo instalar no seu
computador e aprender o básico antes de começar
a disciplina; teremos canais dedicados para apoio.
5. Um aparelho com câmera e um aplicativo para es-
canear fotos (e.g. CamScanner).
6. Os aplicativos/sites Zulip e Google Meet.
7. Coq/Agda/Lean: usaremos uns desses proof assis-
tants para umas atividades (obrigatórias) no com-
putador.
8. Git

8. Materiais e Referências

Descrição dos materiais próprios ou de curadoria a serem utilizados para a realização das atividades, explicitando a forma de
disponibilização para os discentes. Indicar referências a serem utilizadas para a realização das atividades, dando preferência a
materiais gratuitos, online, e acessíveis aos discentes.
Todos os materiais e ferramentas são gratuitos e disponíveis online:

• Livro fmcbook: tsouanas.org/fmcbook • ConTEXt: wiki.contextgarden.net

• Aulas gravadas: tsouanas.org/fmc1/aulas • Coq: coq.inria.fr
• Zulip: zulip.com • Agda: agda.readthedocs.io
• Google Meet: meet.google.com • Lean: leanprover.github.io
• TEX/LATEX: tug.org/texlive

9. Informações adicionais

Acrescente aqui informações relevantes sobreo seu Plano de Curso e o desenvolvimento das atividades da turma.
Veja obrigatoriamente o site da disciplina e leia bem todas as informações e as regras antes de decidir matricular
(ou continuar matriculado) nesta turma. Site: http://tsouanas.org/fmc1
Disclaimer Eu suponho que os alunos desta turma escolheram se matricular por interesse em aprender seu
conteudo. O ideal seria ignorar assuntos irrelevantes de avaliação, presenças, carga horária, etc., e se jogar nos
estudos.

Em 12 de 05 de 2021.

Thanos Tsouanas

Instituto Metrópole Digital Página 3 de 3

Universidade Federal do Rio Grande do Norte
Campus Universitário – Av. Senador Salgado Filho, 3000
Caixa Postal 1524 – CEP 59078-970 – Natal/RN
Fone: +55 (84) 3215 3144 – Fax: +55 (84) 3214 3141 – Web: www.imd.ufrn.br