Zulip

O Zulip da disciplina é o fmcthanos.zulipchat.com. Os alunos matriculados na disciplina foram adicionados por mim (usei o email cadastrado no SIGAA). Caso que não consegues acessar mesmo assim, entre em contato comigo por email!

#meta/fmc1	meta-assuntos, ou seja, assuntos não-matemáticos relacionados às coisas administrativas da disciplina.
#cafe	bater papo aleatório
#test	use isso para testar o zulip, como postar, etc.
#intro-lang-proofs	sobre o conteudo (matemático) introdutório (corresponde aos capítulos 1–3)
#nat-rec-ind	sobre o naturais, recursão, indução (corresponde ao capítulo 4)
#ints	sobre teoria dos números (corresponde ao capítulo 6)
#misc	sobre conteudo (matemático) da disciplina que não encaixa nos canais mais especializados
#aulas/fmc1	sobre o conteudo das aulas gravadas
#fmcbook	erros, atualizações, e sugestões sobre o fmcbook
#proofassistants	sobre Coq e os demais proof assistants: Agda, Lean, etc.
#tex	sobre TeX, LaTeX, ConTeXt, Overleaf, ...
#tech	sobre ferramentas, aplicatívos, etc.

Exemplos:

Na p.302 do fmcbook na última linha não era pra ser sem utilizar' em vez se utilizando’?
→ #fmcbook
No 01:12:40 da aula tal não entendi o que permite esse passo
→ #aulas/fmc1
Podemos entregar o homework de hoje em jpg?
→ #meta/fmc1
O capítulo 6 vai ser tudo que vamos ver na unidade 3?
→ #meta/fmc1
Compilei o Problem Set com LaTeX e criei o PDF. Como eu mando agora?
→ #meta/fmc1
No teorema Θ6.11 do fmcbook daria certo usar redução ao absurdo?
→ #ints
Dá para usar Agda em vez e Coq para formalizar o teorema Θ4.12?
Depende: se a dúvida é sobre as capacidades das duas linguagens, poste no #proofassistants; se a dúvida é sobre se eu, Thanos, vou aceitar nesta disciplina entregar tal trabalho em Agda em vez de Coq, poste no #meta/fmc1.
Alguém tá matriculado em LP2 neste semestre?
→ #cafe
Onde tem kebab bom em Natal?
→ #cafe

Se não tem certeza onde postar, poste em algum lugar que tu acha melhor e depois mudamos para o lugar certo sem problema!