LoTTec

Propriedades de conjuntos definíveis na lógica de primeira ordem

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte II Atenção: Na semana seguinte, dia 14/10, não haverá seminário. Devemos retornar no dia 21/10.

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte I

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte I

Noções básicas de LaTeX — Parte IV

Noções básicas de LaTeX – Parte III

Noções básicas de LaTeX — Parte II Atenção: Nesta semana o seminário ocorrerá excepcionalmente na sala 20 do Edifício dos Ambientes dos Professores do CCHLA.

O seminário entrará de recesso até o próximo período letivo.

A lógica clássica e a matemática – Parte III

A lógica clássica e a matemática – Parte II