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 | meta-assuntos, ou seja, assuntos não-matemáticos relacionados às coisas administrativas (todas as turmas/disciplinas) |
| #meta/D | meta-assuntos, ou seja, assuntos não-matemáticos relacionados às coisas administrativas (para a disciplina X) |
| #cafe | bater papo aleatório |
| #test | use isso para testar o zulip, como postar, etc. |
| #aulas/D | sobre o conteudo das aulas gravadas da disciplina D |
| #intro-lang-proofs | (FMC1) sobre o conteudo (matemático) introdutório (corresponde aos capítulos 1–3) |
| #nat-rec-ind | (FMC1) sobre o naturais, recursão, indução (corresponde ao capítulo 4) |
| #ints | (FMC1) sobre teoria dos números (corresponde ao capítulo 6) |
| #set-fun-rel | (FMC2) sobre conjuntos, funções, relações, e seus amigos dos números (corresponde aos capítulos 7,8,10) |
| #algebra | (FMC2) sobre álgebra (corresponde aos capítulos 12,13) |
| #misc | sobre conteudo (matemático) da disciplina que não encaixa nos canais mais especializados |
| #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 seutilizando’?
→ #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!