Este repositório destina-se a ser o ambiente que abriga meu projeto LaTeX do livro sobre os fundamentos matemáticos da computação.
Este E-book consiste do agrupamento de minhas notas de aula na forma de um livro, seu objetivo é servir de apoio didático aos meus alunos e a quem mais se sentir interessado, este manuscrito não tem pretensões de ser publicado por qualquer editora.
Atualmente os tópicos aos quais este manuscrito irá atacar são:
- Teoria Intuitiva dos Conjuntos
- Lógica (clássicas e não-clássicas)
- Teoria dos Números
- Linguagem Formais e Autômatos
- Computabildiade e Decidibilidade
- Análise de Algoritmos e Complexidade
- Estruturas Algébricas
O Professor Valdigleis S. Costa sob a Tutela de Benjamín Bedregal e Regivan Santiago recebeu seus títulos de Mestre e Doutor pelo Programa de Pós-graduação em Sistemas e Computação vínculado ao Departamento de Informática e Matématica Aplicada da Universidade Federal do Rio Grande do Norte. Atualmente é professor adjunto (A2) no Colegiado de Ciência da Computação da Universidade Federal do Vale do São Francisco. Tem experiência no ensino e pesquisa nas áreas de Fundamentos Matemáticos da Computação e Matemática aplicada (Inteligência artificial, processamento de sinais e bio-informática).
- Quaisquer erros devem ser enviadas na página de isses do projeto.
- Também estou aberto a sugestões organizacional ou de conteúdo, por favor enviar as sugestões via o correio eletrônico: valdigleis.costa@univasf.edu.br.
Licensed under the Creative Commons Attribution-NonCommercial 3.0 Unported License (the “License”). You may not use this file except in compliance with the License. You may obtain a copy of the License athttp://creativecommons.org/licenses/by-nc/3.0. Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an“as is” basis, without warranties or conditions of any kind, either express or implied. See the License for the specific language governing permissions and limitations under the License