Main Page

Group for Computability, Approximate Reasoning, Ordered structures, and Logics

CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications.

Matemática Discreta

• Fundamentos Matemáticos da Computação 1

• Fundamentos Matemáticos da Computação 2

• Fundamentos Matemáticos da Computação 3
• Introdução Computacional à Lógica Matemática

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