Sobre o FLAMENGO e o dia do flamenguista
http://www.ricaperrone.com.br/2011/10/o-dia-do-flamenguista/Saudações Rubro-Negras
sábado, 29 de outubro de 2011
sexta-feira, 28 de outubro de 2011
Próximas aulas e terceira prova
Olá para todos.
Nas próximas aulas, 1 e 3 de novembro, concluiremos a terceira parte do curso.
Veremos o que acontece com compacidade, Lowenheim-Skolem e modelos não
standard em segunda ordem.
A prova sobre esses assuntos será no dia 17 de novembro.
A partir de terça, 8 de novembro, veremos construtivismo e lógica intuicionista.
Abraços
Nas próximas aulas, 1 e 3 de novembro, concluiremos a terceira parte do curso.
Veremos o que acontece com compacidade, Lowenheim-Skolem e modelos não
standard em segunda ordem.
A prova sobre esses assuntos será no dia 17 de novembro.
A partir de terça, 8 de novembro, veremos construtivismo e lógica intuicionista.
Abraços
domingo, 9 de outubro de 2011
Prova e próximas aulas
Olá para todos.
A prova de filosofia da lógica será, conforme combinado, no dia 13/10,
quinta-feira, 21h.
Matéria da prova: conjuntos infinitos e consequência lógica.
Prova individual e com consulta aos textos, livros e anotações.
Semana do conhecimento: no dia 18, terça, não haverá aula, mas dia 20,
quinta, teremos aula normal.
A prova de filosofia da lógica será, conforme combinado, no dia 13/10,
quinta-feira, 21h.
Matéria da prova: conjuntos infinitos e consequência lógica.
Prova individual e com consulta aos textos, livros e anotações.
Semana do conhecimento: no dia 18, terça, não haverá aula, mas dia 20,
quinta, teremos aula normal.
Assinar:
Postagens (Atom)