|
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 II | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IME02-03321 |
| 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: aplicar o método dedutivo ao raciocínio, verificar a validade ou não de argumentos e demonstrações, e operar com sentenças abertas e quantificadores.
EMENTA:
Método dedutivo. Argumentos e regras de inferência. Validade. Demonstração. Sentenças abertas. Quantificadores.
| PRÉ-REQUISITO 1: IME02-03233 Introdução à Lógica Matemática I |
BIBLIOGRAFIA: Alencar Filho, E - Iniciação à Lógica Matemática.
Copi, Irwing, M - Introdução à Lógica.