Difference between revisions of "Main Page"
Jump to navigation
Jump to search
(Removed redirect to Logic Wiki (LoLITA)) Tags: 2017 source edit Removed redirect |
m Tag: 2017 source edit |
||
| Line 10: | Line 10: | ||
* [[ Fundamentos Matemáticos da Computação 3]] | * [[ Fundamentos Matemáticos da Computação 3]] | ||
| + | * [[ Introdução Computacional à Lógica Matemática]] | ||
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.
