Logic Wiki (LoLITA)

Matemática Discreta

• Fundamentos Matemáticos da Computação 1

• Fundamentos Matemáticos da Computação 2

• Fundamentos Matemáticos da Computação 3

Ferramentas de Lógica

• Uma lista de Ferramentas para o Ensino de Lógica

Documentação

• Moodle - Documentação
• ProofWeb - Documentação
• TryLogic - Documentação

Consult the User's Guide for information on using the wiki software.

Getting started

• Help:Formatting
• Help:Links
• Help:VisualEditor
• List of mathematical symbols
• Editing tricks
• Graphs with Mermaid