Logic Wiki (LoLITA)

Matemática Discreta

• Fundamentos Matemáticos da Computação 1

• Fundamentos Matemáticos da Computação 2

Ferramentas de Lógica

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

Documentação

• Atutor - 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

• Configuration settings list
• MediaWiki FAQ
• MediaWiki release mailing list
• Localise MediaWiki for your language