Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

GA e MD (28/jun/2018)

1. Eduardo
2. Fernando
3. Eduardo

O e-mail original está aqui: PDF.


1. Eduardo

Subj: GA e MD
From: Eduardo Ochs
Date: 28 June 2018 at 11:34
To: Fernando Naufel do Amaral

Oi Fernando, tudo bem?

Imagino que em algum momento você vá começar a juntar todo o material que as outras pessoas que já deram GA no PURO já produziram, pra organizar o seu curso...

Eu acrescentei mais alguns links na página do meu curso há alguns dias,

http://angg.twu.net/2018.1-GA.html

e agora ela tem links pra mais de 90% do material de outras pessoas que eu já usei, além de pra versão atual do material que eu fiz (obs: ainda vou acrescentar coisas no meu material sobre R^3). Uma das coisas úteis pra qual ela NÃO aponta é este plano de curso que o Reginaldo fez quando dava GA:

http://angg.twu.net/GA/plano_GA_reginaldo_2011.1.pdf

Você poderia começar a me passar o material que você tem sobre Matemática Discreta?

Grato, [[]] =),
Eduardo

P.S.: eu nunca usei o sistema do Fitch - nem à mão (exceto por mini-exemplos) nem no computador...


2. Fernando

From: fnaufel
Date: 28 June 2018 at 15:48
To: Eduardo Ochs

Obrigado.

O site de MD é https://serenitas50.wordpress.com/2018/03/12/md-informacoes-de-inicio-de-periodo-2018-1/

Logic, Language and Proof, de Barwise e outros, têm ótimos exemplos de dn usando Fitch, inclusive software.

[Quoted text hidden]


3. Eduardo

From: Eduardo Ochs
Date: 29 June 2018 at 10:31
To: fnaufel

Obrigado!

[Quoted text hidden]