Mudanças entre as edições de "LOG-EngTel (Plano de Ensino)"
Ir para navegação
Ir para pesquisar
Linha 22: | Linha 22: | ||
;Conteúdo Programático | ;Conteúdo Programático | ||
− | :1.Introdução a Lógica, proposições e predicados | + | :1.Introdução a Lógica, proposições e predicados |
− | :2.Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências | + | :2.Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências |
− | :3.Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica | + | :3.Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica |
− | :4.Lógica de Primeira Ordem: sintaxe e semântica | + | :4.Lógica de Primeira Ordem: sintaxe e semântica |
− | :5.Método dedutivo, formas normais | + | :5.Método dedutivo, formas normais |
− | :Avaliações | + | :Avaliações |
;Estratégias de ensino utilizadas | ;Estratégias de ensino utilizadas | ||
Linha 34: | Linha 34: | ||
;Critérios e instrumentos de avaliação | ;Critérios e instrumentos de avaliação | ||
A avaliação compreende os seguintes elementos: | A avaliação compreende os seguintes elementos: | ||
− | :A1 – Avaliação escrita 1 | + | :A1 – Avaliação escrita 1 |
− | :A2 – Avaliação escrita 2 | + | :A2 – Avaliação escrita 2 |
− | + | ||
− | + | O acadêmico para ser aprovado deverá obter no mínimo o conceito '''C''' nas duas avaliações propostas. Caso não obtenha conceito '''C''' em alguma dessas avaliações terá direito a uma prova de recuperação para cada uma dessas avaliações. Tais provas de recuperação serão realizadas no final do semestre. | |
− | O acadêmico para ser aprovado deverá obter no mínimo o conceito '''C''' em | ||
;Bibliografia Básica | ;Bibliografia Básica |
Edição das 01h15min de 28 de fevereiro de 2014
MINISTÉRIO DA EDUCAÇÃO |
Plano de Ensino de 2012-1 - atual
- Dados gerais
- COMPONENTE CURRICULAR: LOG - LÓGICA
- CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS. TEÓRICA = 36 HORAS. LABORATÓRIO = 0 HORAS
- Objetivos
- Compreender a Lógica como instrumento da ciência e como estrutura formal de pensamento;
- Conhecer, compreender e operar com os principais conceitos sintáticos e semânticos do cálculo proposicional da lógica clássica, de forma precisa e os procedimentos de validação de argumentos (inclusive por meio da construção de tabelas verdade);
- Conhecer, compreender e operar com os principais conceitos sintáticos e semânticos do cálculo de Predicados de Primeira Ordem com símbolos funcionais e igualdade e os procedimentos de prova correspondentes.
- Ementa
- Lógica Proposicional e de Predicados. Linguagem Proposicional de Primeira Ordem. Sistemas Dedutivos. Tabelas Verdade e Estruturas de Primeira Ordem
- Conteúdo Programático
- 1.Introdução a Lógica, proposições e predicados
- 2.Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências
- 3.Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica
- 4.Lógica de Primeira Ordem: sintaxe e semântica
- 5.Método dedutivo, formas normais
- Avaliações
- Estratégias de ensino utilizadas
Aulas expositivas e dialogadas com o uso de lousa, giz, projetor multimídia, resolução de exercícios
- Critérios e instrumentos de avaliação
A avaliação compreende os seguintes elementos:
- A1 – Avaliação escrita 1
- A2 – Avaliação escrita 2
O acadêmico para ser aprovado deverá obter no mínimo o conceito C nas duas avaliações propostas. Caso não obtenha conceito C em alguma dessas avaliações terá direito a uma prova de recuperação para cada uma dessas avaliações. Tais provas de recuperação serão realizadas no final do semestre.
- Bibliografia Básica
- 1.MORTARI, Cezar A. Introdução à Lógica. 1.ed. São Paulo: UNESP, 2001. 394 p. ISBN 978-8571393370.
- 2.MENDELSON, Elliott. Introduction to Mathematical Logic. 5.ed. [S.l.]: Chapman and Hall-CRC, 2009. 460 p. ISBN 978-1584888765.
- Bibliografia Complementar
- 1. SALMON. Wesley C. Lógica. [S.l]: LTC. 1993. 92 p. ISBN 978-8570540416.
- 2. BISPO. Carlos A., et alii. Introdução à Lógica Matemática. São Paulo: Cengage Learning, 2011.
- 3. CHAUÍ, Marilena.Convite à Filosofia. São Paulo: Ática, 2000.
- 4. EVES, Howard. Introdução à História da Matemática. Campinas: Editora da Unicamp, 2004.
- Professores Responsáveis
- 2014-1: Prof. João Carlos Bez Batti
- 2013-2: Prof. Tiago Semprebom
- 2013-1: Prof. Tiago Semprebom
- 2012-2: Prof. André Luiz Alves
- 2012-1: Prof. Elenira Vilela
ANEXOS