|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO DE MATEMÁTICA E ESTATÍSTICA | ||
| DEPARTAMENTO: DEPTO. DE ESTRUTURA MATEMATICA | ||
| DISCIPLINA: Introdução à Lógica Matemática I | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IME02-03233 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | IME - Matemática (versão 2) |
| Eletiva Restrita | IME - Matemática (versão 3) |
| Eletiva Universal | para todos os cursos da UERJ |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| TOTAL | 4 | 4 | 60 |
OBJETIVO(S):
Ao final do período o aluno deverá ser capaz de: conceituar e trabalhar com proposições. Conectivos, tabela-verdade, discernir tautologia, contradições e contingências, conhecer as operações lógicas e suas propriedades.
EMENTA:
Proposições e conectivos. Operações lógicas. Construção de tabela-verdade. Contradições, tautologias e contingências. Implicações lógicas. Equivalência lógica. Álgebra de proposições.
BIBLIOGRAFIA: Alencar Filho, E - Iniciação à Lógica Matemática.
Copi, Irwing, M - Introdução à Lógica.