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:

  1. Na p.302 do fmcbook na última linha não era pra ser sem utilizar' em vez se utilizando’?
    → #fmcbook
  2. No 01:12:40 da aula tal não entendi o que permite esse passo
    → #aulas/fmc1
  3. Podemos entregar o homework de hoje em jpg?
    → #meta/fmc1
  4. O capítulo 6 vai ser tudo que vamos ver na unidade 3?
    → #meta/fmc1
  5. Compilei o Problem Set com LaTeX e criei o PDF. Como eu mando agora?
    → #meta/fmc1
  6. No teorema Θ6.11 do fmcbook daria certo usar redução ao absurdo?
    → #ints
  7. 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.
  8. Alguém tá matriculado em LP2 neste semestre?
    → #cafe
  9. 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!