Mudanças entre as edições de "LOG-EngTel (Plano de Ensino)"
Ir para navegação
Ir para pesquisar
| Linha 28: | Linha 28: | ||
:5.Método dedutivo, formas normais (2h). | :5.Método dedutivo, formas normais (2h). | ||
:Avaliações (4h) | :Avaliações (4h) | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
;Estratégias de ensino utilizadas | ;Estratégias de ensino utilizadas | ||
| Linha 67: | Linha 39: | ||
:4. Trabalhos - Exercícios realizados extra-classe. | :4. Trabalhos - Exercícios realizados extra-classe. | ||
O acadêmico para ser aprovado deverá obter no mínimo o conceito '''C''' em todos os elementos de avaliação propostos. | O acadêmico para ser aprovado deverá obter no mínimo o conceito '''C''' em todos os elementos de avaliação propostos. | ||
| + | |||
;Bibliografia Básica | ;Bibliografia Básica | ||
:1.MORTARI, Cezar A. '''Introdução à Lógica'''. 1.ed. São Paulo: UNESP, 2001. 394 p. ISBN 978-8571393370. | :1.MORTARI, Cezar A. '''Introdução à Lógica'''. 1.ed. São Paulo: UNESP, 2001. 394 p. ISBN 978-8571393370. | ||
| Linha 79: | Linha 52: | ||
;Professores responsáveis | ;Professores responsáveis | ||
:Prof. [[Tiago Semprebom, Dr. Eng.]] | :Prof. [[Tiago Semprebom, Dr. Eng.]] | ||
| + | |||
| + | =ANEXOS= | ||
| + | ;[[Cronograma de atividades (LOG-EngTel) | Cronograma de atividades]] | ||
| + | ;[http://tele.sj.ifsc.edu.br/arquivos/publicos/Horario/ Horário de Aula e Atendimento Paralelo] | ||
{{ENGTELECO}} | {{ENGTELECO}} | ||
Edição das 20h55min de 3 de julho de 2013
|
MINISTÉRIO DA EDUCAÇÃO |
Plano de Ensino de 2013-1
- Dados gerais
[[Arquivo:
|right | thumb |
250px | UCs vizinhas]]
- COMPONENTE CURRICULAR: LOG - LÓGICA
- CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS. TEÓRICA = 36 HORAS. LABORATÓRIO = 0 HORAS
- PRÉ REQUISITOS:
- DISCIPLINAS SUCESSORAS: CIL, PRG1
- MÓDULO PROFISSIONALIZANTE
- HORÁRIO DE ATENDIMENTO PARALELO: 3a feira 8:30h - 09:30h e 6a feira 15:45h - 15:45h (Lab. de Desenvolvimento de Tele)
- 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 (4h)
- 2.Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (10h).
- 3.Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (8h).
- 4.Lógica de Primeira Ordem: sintaxe e semântica (8h).
- 5.Método dedutivo, formas normais (2h).
- Avaliações (4h)
- 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:
- 1. Desempenho em sala de aula;
- 2. Participação nas atividades curriculares;
- 3. Provas escritas individuais (duas);
- 4. Trabalhos - Exercícios realizados extra-classe.
O acadêmico para ser aprovado deverá obter no mínimo o conceito C em todos os elementos de avaliação propostos.
- 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
- Prof. Tiago Semprebom, Dr. Eng.
ANEXOS