IMD0028 - FUNDAMENTOS MATEMÁTICOS DA COMPUTAÇÃO I - 246N12 - Athanasios

Prévia do material em texto

Plano de Curso para Componente Curricular oferecido no âmbito do IMD
exclusivo para o período letivo 2020.2 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.
• 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
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
Página 1 de 3
http://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 Slack (através dos seus canais) e (segundamentge) 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 (possivelmente 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 e
exercícios que estudou durante a disciplina. Durante o semestre possivelmente solicitarei enviar o caderno
scaneado sem nenhum aviso com antecedência.
Presenças / Faltas. As presenças/faltas serão cadastradas baseadas na participação e na entrega dos trabalhos.
Nenhuma das duas coisas é opcional, logo aluno que não participa ou que não entrega os trabalhos será reprovado
por faltas. A corretude dum trabalho não afeta a presença atribuida, mas entrega de trabalho “em branco” não
conta como presença, exceto se o mesmo aluno procurou ajuda nos nossos canais de comunicação (Slack), e mostrou
um esforço para tal resolução (mesmo que não conseguiu resolver corretamente).
6. Cronograma
Cronograma detalhado das atividades.
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
2. Demonstrações
3. Demonstrações
4. Demonstrações
5. Demonstrações
6. Irracionalidade
7. Irracionalidade
8. Demonstrações
9. Demonstrações
10. Recursão; indução
11. Recursão; indução
12. Recursão; indução
13. Recursão; indução
14. Recursão; indução
15. Recursão; indução
16. Recursão; indução
17. Recursão; indução
18. Recursão; indução
19. Recursão; indução
20. Recursão; indução
21. Combinatória
22. Combinatória
23. Combinatória
24. Combinatória
25. Combinatória
26. Teoria dos números
27. Teoria dos números
28. Teoria dos números
29. Teoria dos números
30. Teoria dos números
31. Teoria dos números
32. Teoria dos números
33. Teoria dos números
34. Teoria dos números
35. Teoria dos números
36. Teoria dos números
37. Teoria dos números
38. Teoria dos números
39. Teoria dos números
40. Teoria dos números
41. Teoria dos números
42. Teoria dos números
43. Teoria dos números
44. Criptografia
45. Criptografia
7. Datas das atividades síncronas
Em caso de atividade síncrona, indicar o momento em que os encontros acontecerão, de acordo com o cronograma. Essa
informação é importante para que os estudantes possam avalias sua participação na gturma. Vale salientar que qualquer atividade
síncrona deve acontecer no horário previamente cadastrado para a turma.
Quando forem necessárias atividades síncronas serão marcadas dentro do horário cadastrado da turma.
Instituto Metrópole Digital
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
Página 2 de 3
http://www.imd.ufrn.br/
8. 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 Slack e Google Meet.
7. Coq/Agda: possivelmente usaremos esses proof as-
sistants para umas atividades no computador.
9. 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
• Aulas gravadas: tsouanas.org/fmc1/aulas
• Slack: app.slack.com
• Google Meet: meet.google.com
• TEX/LATEX: tug.org/texlive
• ConTEXt: wiki.contextgarden.net
• Coq: coq.inria.fr
• Agda: agda.readthedocs.io
10. 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
Em 15 de 12 de 2020.
Athanasios Thanos Tsouanas
Instituto Metrópole Digital
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
Página 3 de 3
tsouanas.org/fmcbook
tsouanas.org/fmc1/aulas
app.slack.com
meet.google.com
tug.org/texlive
wiki.contextgarden.net
coq.inria.fr
agda.readthedocs.io
http://tsouanas.org/fmc1
http://www.imd.ufrn.br/
	Dados do componente curricular 
	Dados do docente 
	Conteúdo 
	Metodologia 
	Procedimentos de avaliação da aprendizagem e da assiduidade dos discentes 
	Cronograma 
	Datas das atividades s�ncronas 
	Recursos necessários para o acompanhamento da turma pelo discente 
	Materiais e Referências 
	Informações adicionais