LOG-EngTel (Plano de Ensino)

De MediaWiki do Campus São José
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...')
(dif) ← Edição anterior | Revisão atual (dif) | Versão posterior → (dif)
Ir para: navegação, pesquisa
LogoIFSCCampusSJ.png

MINISTÉRIO DA EDUCAÇÃO
SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA
CAMPUS SÃO JOSÉ
Curso de Engenharia de Telecomunicações

Plano de Ensino de 2012-1

Dados gerais

[[Arquivo:

CADEIA DE SUCESSORES

|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


Curso de Engenharia de Telecomunicações