Mudanças entre as edições de "LOG-EngTel (Plano de Ensino)"
Ir para navegação
Ir para pesquisar
Linha 31: | Linha 31: | ||
;Cronograma de atividades | ;Cronograma de atividades | ||
{{Cronograma-top}} | {{Cronograma-top}} | ||
− | {{Cl| 1 | | + | {{Cl|1 |9/10 | 2 | Introdução a Lógica, Lógica Formal, Dedução e Indução | Quadro e Giz}} |
− | {{Cl| 2 | | + | {{Cl|2 |16/10 | 2 | Lógica Clássica e Lógica Simbólica, Proposições e Predicados, Princípios da Lógica, Raciocínio Lógico. | Quadro e Giz}} |
− | {{Cl| 3 | | + | {{Cl|3 |23/10 | 2 | Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (introdução) | Quadro e Giz}} |
− | {{Cl| 4 | | + | {{Cl|4 |30/10 | 2 | Proposições Simples | Quadro e Giz}} |
− | {{Cl| 5 | | + | {{Cl|5 |6/11 | 2 | Proposições Compostas. Conectivos | Quadro e Giz}} |
− | {{Cl| 6 | | + | {{Cl|6 |13/11 | 2 | Ordem de Precedência das Operações. Fórmulas. | Quadro e Giz}} |
− | {{Cl| 7 | | + | {{Cl|7 |20/11 | 2 | Avaliação I | Quadro e Giz}} |
− | {{Cl| 8 | | + | {{Cl|8 |24/11 | 2 | Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (Introdução) | Quadro e Giz}} |
− | {{Cl| 9 | | + | {{Cl|9 |27/11 | 2 | Construção de Tabelas Verdade | Quadro e Giz}} |
− | {{Cl|10 | | + | {{Cl|10 |4/12 | 2 | Construção de Tabelas Verdade (continuação) | Quadro e Giz}} |
− | {{Cl|11 | | + | {{Cl|11 |11/12 | 2 | Equivalência Lógica | Quadro e Giz}} |
− | {{Cl|12 | | + | {{Cl|12 |18/12 | 2 | Interferência Lógica | Quadro e Giz}} |
− | {{Cl|13 | | + | {{Cl|13 |5/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica | Quadro e Giz}} |
− | {{Cl|14 | | + | {{Cl|14 |19/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz}} |
− | {{Cl|15 | | + | {{Cl|15 |26/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz}} |
− | {{Cl|16 | | + | {{Cl|16 |5/3 | 2 | Método dedutivo, formas normais. | Quadro e Giz}} |
− | {{Cl|17 | | + | {{Cl|17 |12/3 | 2 | Avaliação II | Quadro e Giz}} |
− | {{ | + | {{cronograma-botton |34}} |
− | + | ||
;Estratégias de ensino utilizadas | ;Estratégias de ensino utilizadas | ||
Linha 55: | Linha 55: | ||
;Critérios e instrumentos de avaliação | ;Critérios e instrumentos de avaliação | ||
− | . | + | Avaliações em número de duas, individuais. |
− | |||
;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 62: | Linha 61: | ||
;Bibliografia Complementar | ;Bibliografia Complementar | ||
− | :1.SALMON. Wesley C. '''Lógica'''. [S.l]: LTC. 1993. 92 p. ISBN 978-8570540416. | + | :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. | :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. | :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. | + | :4. EVES, Howard. '''Introdução à História da Matemática'''. Campinas: Editora da Unicamp, 2004. |
;Professores responsáveis | ;Professores responsáveis |
Edição das 12h46min de 9 de outubro de 2012
MINISTÉRIO DA EDUCAÇÃO |
Plano de Ensino de 2012-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:
- 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)
- Cronograma de atividades
Aula | Data | Horas | Conteúdo | Recursos | |
---|---|---|---|---|---|
1 | 9/10 | 2 | Introdução a Lógica, Lógica Formal, Dedução e Indução | Quadro e Giz | |
2 | 16/10 | 2 | Lógica Clássica e Lógica Simbólica, Proposições e Predicados, Princípios da Lógica, Raciocínio Lógico. | Quadro e Giz | |
3 | 23/10 | 2 | Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (introdução) | Quadro e Giz | |
4 | 30/10 | 2 | Proposições Simples | Quadro e Giz | |
5 | 6/11 | 2 | Proposições Compostas. Conectivos | Quadro e Giz | |
6 | 13/11 | 2 | Ordem de Precedência das Operações. Fórmulas. | Quadro e Giz | |
7 | 20/11 | 2 | Avaliação I | Quadro e Giz | |
8 | 24/11 | 2 | Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (Introdução) | Quadro e Giz | |
9 | 27/11 | 2 | Construção de Tabelas Verdade | Quadro e Giz | |
10 | 4/12 | 2 | Construção de Tabelas Verdade (continuação) | Quadro e Giz | |
11 | 11/12 | 2 | Equivalência Lógica | Quadro e Giz | |
12 | 18/12 | 2 | Interferência Lógica | Quadro e Giz | |
13 | 5/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica | Quadro e Giz | |
14 | 19/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz | |
15 | 26/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz | |
16 | 5/3 | 2 | Método dedutivo, formas normais. | Quadro e Giz | |
17 | 12/3 | 2 | Avaliação II | Quadro e Giz | |
TOTAL | 34 |
- Estratégias de ensino utilizadas
...
- Critérios e instrumentos de avaliação
Avaliações em número de duas, individuais.
- 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. André Luiz Alves