Mudanças entre as edições de "LOG-EngTel (Plano de Ensino)"

De MediaWiki do Campus São José
Ir para navegação Ir para pesquisar
 
(17 revisões intermediárias por 6 usuários não estão sendo mostradas)
Linha 1: Linha 1:
 
{{Cab1-IF-SC-Engtelecom}}
 
{{Cab1-IF-SC-Engtelecom}}
 
<BIG><center>
 
<BIG><center>
−
'''Plano de Ensino de 2012-2'''
+
'''Plano de Ensino de 2012-1 - atual'''
 
</center></BIG>
 
</center></BIG>
  
 
;Dados gerais
 
;Dados gerais
−
{{SUC |[[Arquivo:LOG.png|right|thumb|200px|CADEIA DE SUCESSORES]]}}
 
 
:COMPONENTE CURRICULAR: '''[[LOG-EngTel|LOG]]''' - LÓGICA
 
:COMPONENTE CURRICULAR: '''[[LOG-EngTel|LOG]]''' - LÓGICA
 
:<SMALL>CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS.  TEÓRICA = 36 HORAS.  LABORATÓRIO = 0  HORAS</SMALL><BR>  
 
:<SMALL>CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS.  TEÓRICA = 36 HORAS.  LABORATÓRIO = 0  HORAS</SMALL><BR>  
 +
{{SUC | LOG.png | 2}}
 +
:<SMALL>CÓDIGO: '''LOG29001''' </SMALL><BR>
 
:<SMALL>PRÉ REQUISITOS:  </SMALL><BR>
 
:<SMALL>PRÉ REQUISITOS:  </SMALL><BR>
 
:<SMALL>DISCIPLINAS SUCESSORAS: [[CIL-EngTel|CIL]], [[PRG1-EngTel|PRG1]] </SMALL><BR>
 
:<SMALL>DISCIPLINAS SUCESSORAS: [[CIL-EngTel|CIL]], [[PRG1-EngTel|PRG1]] </SMALL><BR>
 
:<SMALL> MÓDULO PROFISSIONALIZANTE </SMALL><BR>
 
:<SMALL> MÓDULO PROFISSIONALIZANTE </SMALL><BR>
−
:<SMALL> HORÁRIO DE ATENDIMENTO PARALELO: </SMALL><BR>
 
  
 
;Objetivos
 
;Objetivos
Linha 22: Linha 22:
  
 
;Conteúdo Programático
 
;Conteúdo Programático
−
:1.Introdução a Lógica, proposições e predicados (4h)
+
: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 (10h).
+
: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 (8h).
+
: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 (8h).
+
:4.Lógica de Primeira Ordem: sintaxe e semântica
−
:5.Método dedutivo, formas normais (2h).
+
:5.Método dedutivo, formas normais
−
:Avaliações (4h)
+
:Avaliações
−
 
 
−
;Cronograma de atividades
 
−
{{Cronograma-top}}
 
−
{{Cl|1 |9/10 | 2 | Introdução a Lógica, Lógica Formal,  Dedução e Indução | Quadro e Giz}}
 
−
{{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 |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 |30/10 | 2 | Proposições Simples | Quadro e Giz}}
 
−
{{Cl|5 |6/11 | 2 | Proposições Compostas. Conectivos | Quadro e Giz}}
 
−
{{Cl|6 |13/11 | 2 | Ordem de Precedência das Operações. Fórmulas. | Quadro e Giz}}
 
−
{{Cl|7 |20/11 | 2 | Avaliação I | Quadro e Giz}}
 
−
{{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 |27/11 | 2 | Construção de Tabelas Verdade | Quadro e Giz}}
 
−
{{Cl|10 |4/12 | 2 | Construção de Tabelas Verdade (continuação) | Quadro e Giz}}
 
−
{{Cl|11 |11/12 | 2 | Equivalência Lógica | Quadro e Giz}}
 
−
{{Cl|12 |18/12 | 2 | Interferência Lógica | Quadro e Giz}}
 
−
{{Cl|13 |5/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica | Quadro e Giz}}
 
−
{{Cl|14 |19/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz}}
 
−
{{Cl|15 |26/2 | 2 | Lógica de Primeira Ordem: sintaxe e semântica (continuação) | Quadro e Giz}}
 
−
{{Cl|16 |5/3 | 2 | Método dedutivo, formas normais. | Quadro e Giz}}
 
−
{{Cl|17 |12/3 | 2 | Avaliação II | Quadro e Giz}}
 
−
{{cronograma-botton |34}}
 
−
 
−
A avaliação compreende os seguintes elementos:
 
−
1. Desempenho em sala de aula;
 
−
2. Participação nas atividades curriculares;
 
−
3. Provas escritas;
 
−
4. Trabalhos - Exercícios realizados extra-classe.
 
  
 
;Estratégias de ensino utilizadas
 
;Estratégias de ensino utilizadas
Linha 61: 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:
−
:1. Desempenho em sala de aula;
+
:A1 – Avaliação escrita 1
−
:2. Participação nas atividades curriculares;
+
:A2 – Avaliação escrita 2
−
: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''' 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 todos os elementos de avaliação propostos.
+
 
 +
=Bibliografia do PPCv2015-2=
 +
 
 +
;Bibliografia Básica
 +
#1 João Nunes de Souza '''Lógica para Ciência da Computação'''; 1ª ed. Rio de Janeiro:Elsevier, 2008. 220p.  ISBN  9788535229615.
 +
#2 MORTARI, Cezar A '''Introdução à Lógica'''; 1ª ed. São Paulo:UNESP, 2001. 394p.  ISBN  9788571393370.
 +
#3 Stan Baronett '''Lógica Uma Introdução Voltada para as Ciências'''; 1ª ed. Porto Alegre:Bookman, 2009. 568p.  ISBN  9788577805372.
 +
 
 +
;Bibliografia Complementar
 +
 
 +
#1 ALENCAR FILHO, Edgard de '''Iniciaçao a Logica Matematica'''; 1a ed. São Paulo:Nobel, 2002. 203p.  ISBN  9788521304036.
 +
#2 BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo '''INTRODUÇÃO À LÓGICA MATEMÁTICA'''; - ed. São Paulo:Cengage Learning, 2012. 135p.  ISBN  9788522111268.
 +
#3 Judith L. Gersting '''Fundamentos Matemáticos para a Ciência da Computação'''; 5ª ed. Rio de Janeiro:LTC, 2004. 597p.  ISBN  8521614225.
 +
#4 Mendelson, Elliott '''Introduction to Mathematical Logic'''; 5ª ed. London:Chapman and Hall/CRC, 2010. 469p. ISBN  9781584888765.  
 +
#5 POLYA, George '''A arte de resolver problemas: um novo aspecto do método matemático'''; 1a ed. Rio de Janeiro:Interciencia, 1995. 180p. ISBN  .
 +
 
 +
=Bibliografia Antiga=
 +
 
 
;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.
+
# MORTARI, Cezar A '''Introdução à Lógica'''; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370
−
:2.MENDELSON, Elliott. '''Introduction to Mathematical Logic'''. 5.ed. [S.l.]: Chapman and Hall-CRC, 2009. 460 p. ISBN 978-1584888765.
+
# João Nunes de Souza '''Lógica para Ciência da Computação'''; 1ª ed. [S.l]:Campus, 2008. 240p.  ISBN  9788535229615
 +
# Stan Baronett '''Lógica Uma Introdução Voltada para as Ciências'''; 1ª ed. PORTO ALEGRE:Bookman, 2009. 568p. ISBN 9788577805372
  
 
;Bibliografia Complementar
 
;Bibliografia Complementar
−
:1. SALMON. Wesley C. '''Lógica'''. [S.l]: LTC. 1993. 92 p. ISBN 978-8570540416.
+
# Judith L. Gersting '''Fundamentos Matemáticos para a Ciência da Computação'''; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225
−
:2. BISPO. Carlos A., et alii. '''Introdução à Lógica Matemática'''. São Paulo: Cengage Learning, 2011.
+
# Mendelson, Elliott '''Introduction to Mathematical Logic'''; 5ª ed. [S.l]:Chapman and Hall/CRC, 2009. 469p. ISBN  9781584888765
−
:3. CHAUÍ, Marilena.'''Convite à Filosofia'''. São Paulo: Ática, 2000.
+
# Carlos Alberto F. Bispo, Luiz B. Castanheira e Oswaldo Melo S. Filho '''INTRODUÇÃO À LÓGICA MATEMÁTICA'''; - ed. São Paulo:CENGAGE, 2012. 208p. ISBN  9788522111268
−
:4. EVES, Howard. '''Introdução à História da Matemática'''. Campinas: Editora da Unicamp, 2004.
 
  
−
;Professores responsáveis
+
=ANEXOS=
−
:Prof. [[André Luiz Alves]]
+
;[[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 atual tal como às 18h08min de 28 de fevereiro de 2019

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 - atual

Dados gerais
COMPONENTE CURRICULAR: LOG - LÓGICA
CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS. TEÓRICA = 36 HORAS. LABORATÓRIO = 0 HORAS
UCs vizinhas
CÓDIGO: LOG29001
PRÉ REQUISITOS:
DISCIPLINAS SUCESSORAS: CIL, PRG1
MÓDULO PROFISSIONALIZANTE
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 do PPCv2015-2

Bibliografia Básica
  1. 1 João Nunes de Souza Lógica para Ciência da Computação; 1ª ed. Rio de Janeiro:Elsevier, 2008. 220p. ISBN 9788535229615.
  2. 2 MORTARI, Cezar A Introdução à Lógica; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370.
  3. 3 Stan Baronett Lógica Uma Introdução Voltada para as Ciências; 1ª ed. Porto Alegre:Bookman, 2009. 568p. ISBN 9788577805372.
Bibliografia Complementar
  1. 1 ALENCAR FILHO, Edgard de Iniciaçao a Logica Matematica; 1a ed. São Paulo:Nobel, 2002. 203p. ISBN 9788521304036.
  2. 2 BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo INTRODUÇÃO À LÓGICA MATEMÁTICA; - ed. São Paulo:Cengage Learning, 2012. 135p. ISBN 9788522111268.
  3. 3 Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225.
  4. 4 Mendelson, Elliott Introduction to Mathematical Logic; 5ª ed. London:Chapman and Hall/CRC, 2010. 469p. ISBN 9781584888765.
  5. 5 POLYA, George A arte de resolver problemas: um novo aspecto do método matemático; 1a ed. Rio de Janeiro:Interciencia, 1995. 180p. ISBN .

Bibliografia Antiga

Bibliografia Básica
  1. MORTARI, Cezar A Introdução à Lógica; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370
  2. João Nunes de Souza Lógica para Ciência da Computação; 1ª ed. [S.l]:Campus, 2008. 240p. ISBN 9788535229615
  3. Stan Baronett Lógica Uma Introdução Voltada para as Ciências; 1ª ed. PORTO ALEGRE:Bookman, 2009. 568p. ISBN 9788577805372
Bibliografia Complementar
  1. Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225
  2. Mendelson, Elliott Introduction to Mathematical Logic; 5ª ed. [S.l]:Chapman and Hall/CRC, 2009. 469p. ISBN 9781584888765
  3. Carlos Alberto F. Bispo, Luiz B. Castanheira e Oswaldo Melo S. Filho INTRODUÇÃO À LÓGICA MATEMÁTICA; - ed. São Paulo:CENGAGE, 2012. 208p. ISBN 9788522111268

ANEXOS

Cronograma de atividades
Horário de Aula e Atendimento Paralelo


Curso de Engenharia de Telecomunicações

Disponível em “https://wiki.sj.ifsc.edu.br/index.php?title=LOG-EngTel_(Plano_de_Ensino)&oldid=154874”