#REDIRECT =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]] * [Logic Wiki (LoLITA)[ 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 [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. == Getting started ==* [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]* [https://www.mediawiki.org/wiki/Help:Links Help:Links]* [https://www.mediawiki.org/wiki/Help:VisualEditor/User_guide Help:VisualEditor]* [https://en.wikipedia.org/wiki/List_of_mathematical_symbols List of mathematical symbols]* [[Editing tricks]]* [[Graphs with Mermaid]]