Repositório oficial de materiais da disciplina — slides, listas de exercícios, estudos prévios e documentos por semestre.
A disciplina Lógica para Ciência da Computação tem como objetivo capacitar os alunos a raciocinar de forma precisa e formal, desenvolvendo as bases lógicas essenciais para a Ciência da Computação. São estudados os fundamentos da lógica proposicional e da lógica de predicados, com aplicações em verificação de programas, inteligência artificial e linguagens formais.
| # | Tópico |
|---|---|
| 1 | Introdução à Lógica |
| 2 | Proposições e Conectivos Lógicos |
| 3 | Tabelas-Verdade |
| 4 | Tautologias e Contradições |
| 5 | Equivalências Lógicas |
| 6 | Argumentos e Inferências |
| 7 | Lógica de Predicados |
| 8 | Quantificadores |
| 9 | Aplicações em Linguagens de Programação |
Universidade Federal de Jataí (UFJ)
Bacharelado em Ciência da Computação
| Semestre | Materiais Disponíveis | Link |
|---|---|---|
| 2026.1 | Slides, Estudos Prévios, Listas de Exercícios | 📂 Acessar |
| 2020.1 | Slides, Estudos Prévios, Listas de Exercícios | 📂 Acessar |
| 2019.1 | Slides, Estudos Prévios, Mini-Testes, Provas | 📂 Acessar |
| 2018.1 | Slides, Leituras | 📂 Acessar |
Central completa da disciplina com plano de ensino, slides, estudos prévios e listas de exercícios.
- 📋 Central da Disciplina: 2026.1/central-disciplina.md
- 📄 Plano de Ensino: Disponível no repositório
- 📊 Slides das aulas: 2026.1/aulas/
- [L1] ALENCAR FILHO, E. Iniciação à Lógica Matemática, 1ª Edição, Editora Nobel, 2002.
Código Bib.: [510.6 ALE/ini]
Este repositório também contém um livro de referência próprio da disciplina, atualmente em desenvolvimento:
logica/
├── 2018.1/ # Primeiro semestre de oferta
├── 2019.1/ # Slides, mini-testes e provas
├── 2020.1/ # Slides e listas de exercícios
├── 2026.1/ # Semestre atual (ativo)
└── livro_em-construcao/ # Livro didático em desenvolvimento
Este material está disponível sob a licença Creative Commons Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional (CC BY-NC-SA 4.0).
Universidade Federal de Jataí (UFJ) · Bacharelado em Ciência da Computação