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

Lógica, entre o finito e o infinito. ATENÇÃO: O seminário desta semana foi transferido para a respectiva palestra do Prof. Diego que ocorrerá a partir das 17h, na sala de multimídia do bloco C do CCHLA.

O Paradoxo de Russell

Teoria ingênua dos conjuntos

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

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

Devido a convocação para reunião extraordinária do Departamento de Filosofia em horário conflitante, está cancelado o encontro do dia 23/09/2022.

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

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