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

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

Brincando de Pega-Varetas com a lógica proposicional clássica

Cada um no seu quadrado – Métodos analíticos e árvores de refutação

Quanta lógica você precisa saber, para lógica aprender – A artimanha de Münchhausen na lógica e outros divertimentos

Quando menos é mais — O teorema da forma normal disjuntiva e suas consequências para a capacidade expressiva