Difference between revisions of "Main Page"
Jump to navigation
Jump to search
(Admin moved page Main Page to Logic Wiki (LoLITA)) |
m Tag: 2017 source edit |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | =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 [//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]] | ||
Latest revision as of 11:03, 23 July 2021
Contents
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
Ferramentas de Lógica
Documentação
Consult the User's Guide for information on using the wiki software.
