Este documento está sendo construído aos poucos, tendo como base as diversas notas de aula manuscritas por mim (Valdigleis), estas notas haviam sido preparadas a mão para ministrar cursos nas graduações em Ciência da Computação, Engenharia da Computação, Engenharia de Produção e Matemática (Licenciatura e Bacharelado) nos últimos 7 anos. Com o incentivo de meus alunos de Ciência da Computação, optei por digitalizar tais notas na forma de um documento digital minimamente organizado com edição e formatação próprias, assim nasceu este projeto no dia 01/06/2019.
Note
Este material é licenciado sob a Licença Atribuição-NãoComercial-CompartilhaIgual 4.0 Não Adaptada (CC BY-NC-SA 4.0). Você pode obter uma copia da licença acessando a página:
Atualmente os tópicos sobre matemática e ciência da computação que eu (Valdigleis) quero tratar neste documento podem ser divididos em: (1) já presentes no documento e (2) para inserir futuramente. A seguir listo como andam as duas partes do texto:
Important
Atualmente o manuscrito conta com capítulos tratando dos seguintes tópicos:
- Conjuntos
- Métodos de demonstração
- Relação e Funções
- Ordem e Equivalência
- Indução
- Lógica Proposicional
- Autômatos Finitos
Important
Em momentos futuros serão gradativamente adicionados: partes, capítulos e seções, tratando dos seguintes tópicos:
- Cardinalidade
- Teoria dos Grafos
-
$\Sigma$ -Álgebras - Lógica de Primeira Ordem
- Computabilidade e Decidibilidade
- Categorias
- Teoria da informação
- Teoria dos códigos
Uma vez que, este documento ainda é um projeto em andamento e possivelmente sua escrita nunca será realmente concluída com total aprovação de seu autor, é claro que você poderá encontrar diversos erros, que com toda certeza, você leitor, irá me enviar e-mails ou issues com reports de tais erros. No caso de ser meu aluno também pode fazer apontamentos através da comunidade extraclasse.
Durante o texto você irá encontrar uma personagem de forma recorrente, ela chama-se ALiCIA (um acrônimo para Autômatos, Linguagens, Complexidade, Informação e Algoritmos).
Warning
ALiCIA é uma criação do autor deste material e todas as imagens da mesma são de propriedade do autor, não sendo permitido o uso das imagens por terceiros sem autorização assinada pelo autor deste material.
Este projeto é mantido por mim «Valdigleis», com o suporte de todos os eleitores (em especial meus alunos) que gentilmente me mandam correções e sugestões valiosas para o texto, abaixo faço questão de listar todas as ações de ajuda que o projeto recebeu, note que é possível que uma mesma pessoa apareça mais de uma vez na lista.
- Raul S. Martins — Discente Univasf «Apontou erros em exemplos» (em 2019)
- Raul S. Martins — Discente Univasf «Apontou correções de conteúdo» (em 2021)
- Matheus B. Rosa — Discente UNIVASF «Apontou correções ortográficas no texto» (em 2022)
- Gabriel F. Rodrigues — Discente UNIVASF «Apresentou problemas de nomenclatura» (em 2022)
- Athams M. Ferreira — Discente UNIVASF «Apontou correção em questões» (em 2023)
- Emanuel F. L. Oliveira — Discente UNIVASF «Apontou correções em exemplos» (em 2023)
- Marcileide F. Oliveira — Discente UNIVASF «Apontou correções em exemplos» (em 2023)
- Maria Verônica — Discente UNIVASF «Apontou correções em exemplos» (em 2023)
- Manoel N. M. Filhoi Discente UNIVASF «Apontou correções em exemplos» (em 2023)
- Catarina C. Sampaio [lattes] — Discente UNIVASF «Apontou correções em exemplos» (em 2023)
- Hellen Samara Pereira Costa — Discente UNIVASF «Apontou correções em um exercício» (em 2024)
- Anderson Vicente De Freitas — Discente UNIVASF «Apontou correções em exemplos» (em 2024)
- Lucas Lins de Oliveira — Discente UNIVASF «Apontou correções textuais» (em 2024)
- Emidio Daniel Pereira Leandro — Discente UNIVASF «Apontou diversas correções textuais» (em 2024)
- Felipe Peixoto — Discente UNIVASF «Apontou correções em exemplos» (em 2024)
- Daniel de Lima Franceschetti — Discente UNIVASF «Realizou correções» (em 2024)