top of page
SISB005 - LÓGICA APLICADA
2018.2
Professor: Thyago Tenório Martins de Oliveira
Carga Horária: 60h (teórico + prático)
Horário: Quinta (19:50 às 22:30)
Ementa:
- Desenvolvimento de habilidades no campo da Lógica Matemática. Estudo de sistemas formais: linguagem, sintaxe e semântica. Estudo da Lógica Proposicional e da Lógica de 1ª Ordem como linguagens de modelagem e especificação. Aplicações do Sistema de Dedução Natural e Método do Tableau Analítico. Uso das linguagens formais para a Prova Automática de Teoremas. Introdução à especificação formal de sistemas de software usando Lógica Temporal.
Bibliografia Básica:
1- BARONETT, Stan. Lógica: Uma introdução voltada para as ciências. Editora:
Bookman, 2009.
2- GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação:
um tratamento moderno de matemática discreta. 5ª edição. Editora: LTC, 2004.
3- OLIVEIRA, Rômulo Nunes; OLIVEIRA, Elthon Allex da Silva. Lógica no Cotidiano:
Ampliando o seu Alcance. Florianópolis. Editora: Bookess, 2012.
4- SOUZA, João Nunes. Lógica para ciência da computação: fundamentos de
linguagem, semântica e sistemas de dedução. Rio de Janeiro. Editora:
Elsevier/Campus, 2002.
Bibliografia Complementar:
1- BENEVIDES, Mário. Apostila de lógica. Rio de Janeiro: UFRJ, 2015. Disponível em:
<http://www.cos.ufrj.br/~mario/logica/apostila.pdf>. Acesso em ago. 2018.
2- SOUZA, João Nunes. Lógica para ciência da computação: uma introdução concisa.
2ª edição. Rio de Janeiro. Editora: Elsevier, 2008.
Cronograma:
- Em breve
Materiais:
Exercícios: (Entrega até 24/01)
0. Apresentação Disciplina
1. Introdução à lógica
1. Porque estudar Logica
2. Proposições Categóricas e Silogismo
2. Silogismo
3. Lógica Formal Proposicional
4. Classificação Tabela Verdade
5. Implicação e Equivalências Lógicas
5. Ordem de Precedência e Regras Equivalência
6. Regras de Inferência
Exercício 4
Exercício 3
Exercício 2
Exercício 1
bottom of page