LOG-EngTel (Plano de Ensino)
Revisão de 08h47min de 16 de março de 2012 por Moecke (discussão | contribs) (Criou página com '{{Cab1-IF-SC-Engtelecom}} <BIG><center> '''Plano de Ensino de 2012-1''' </center></BIG> ;Dados gerais {{SUC |right|thumb|200px|CADEIA DE SUCESSORES}} :COMPON...')
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
...
- 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 | 28-fev | 2 | ... | ... | |
2 | DD-mes | 2 | ... | ... | |
3 | DD-mes | 2 | ... | ... | |
4 | DD-mes | 2 | ... | ... | |
5 | DD-mes | 2 | ... | ... | |
6 | DD-mes | 2 | ... | ... | |
7 | DD-mes | 2 | ... | ... | |
8 | DD-mes | 2 | ... | ... | |
9 | DD-mes | 2 | ... | ... | |
10 | DD-mes | 2 | ... | ... | |
11 | DD-mes | 2 | ... | ... | |
12 | DD-mes | 2 | ... | ... | |
13 | DD-mes | 2 | ... | ... | |
14 | DD-mes | 2 | ... | ... | |
15 | DD-mes | 2 | ... | ... | |
16 | DD-mes | 2 | ... | ... | |
17 | DD-mes | 2 | ... | ... | |
18 | DD-mes | 2 | ... | ... | |
19 | DD-mes | 2 | ... | ... | |
20 | DD-mes | 2 | ... | ... | |
21 | DD-mes | 2 | ... | ... | |
22 | DD-mes | 2 | ... | ... | |
23 | DD-mes | 2 | ... | ... | |
24 | DD-mes | 2 | ... | ... | |
25 | DD-mes | 2 | ... | ... | |
26 | DD-mes | 2 | ... | ... | |
27 | DD-mes | 2 | ... | ... | |
28 | DD-mes | 2 | ... | ... | |
29 | DD-mes | 2 | ... | ... | |
30 | DD-mes | 2 | ... | ... | |
31 | DD-mes | 2 | ... | ... | |
32 | DD-mes | 2 | ... | ... | |
33 | DD-mes | 2 | ... | ... | |
34 | DD-mes | 2 | ... | ... | |
35 | DD-mes | 2 | ... | ... | |
36 | DD-mes | 2 | ... | ... | |
37 | DD-mes | 2 | ... | ... | |
38 | DD-mes | 2 | ... | ... | |
39 | DD-mes | 2 | ... | ... | |
40 | DD-mes | 2 | ... | ... | |
TOTAL | 72 |
- Estratégias de ensino utilizadas
...
- Critérios e instrumentos de avaliação
...
- 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.
- Professores responsáveis
- Profa. Elenira Vilela