Mudanças entre as edições de "LOG-EngTel (Plano de Ensino)"
Ir para navegação
Ir para pesquisar
(10 revisões intermediárias por 5 usuários não estão sendo mostradas) | |||
Linha 5: | Linha 5: | ||
;Dados gerais | ;Dados gerais | ||
− | |||
: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> | ||
Linha 21: | Linha 22: | ||
;Conteúdo Programático | ;Conteúdo Programático | ||
− | :1.Introdução a Lógica, proposições e predicados | + | :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 | + | :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 | + | :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 | + | :4.Lógica de Primeira Ordem: sintaxe e semântica |
− | :5.Método dedutivo, formas normais | + | :5.Método dedutivo, formas normais |
− | :Avaliações | + | :Avaliações |
;Estratégias de ensino utilizadas | ;Estratégias de ensino utilizadas | ||
Linha 33: | 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 | + | :A1 – Avaliação escrita 1 |
− | :2 | + | :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. | |
− | O acadêmico para ser aprovado deverá obter no mínimo o conceito '''C''' em | + | |
+ | =Bibliografia do PPCv2015-2= | ||
;Bibliografia Básica | ;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 | ;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. |
− | :2012 | + | #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 | ||
+ | # MORTARI, Cezar A '''Introdução à Lógica'''; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370 | ||
+ | # 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 | ||
+ | # Judith L. Gersting '''Fundamentos Matemáticos para a Ciência da Computação'''; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225 | ||
+ | # Mendelson, Elliott '''Introduction to Mathematical Logic'''; 5ª ed. [S.l]:Chapman and Hall/CRC, 2009. 469p. ISBN 9781584888765 | ||
+ | # 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= | =ANEXOS= |
Edição atual tal como às 18h08min de 28 de fevereiro de 2019
MINISTÉRIO DA EDUCAÇÃO |
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
- 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 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
- MORTARI, Cezar A Introdução à Lógica; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370
- 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
- Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225
- Mendelson, Elliott Introduction to Mathematical Logic; 5ª ed. [S.l]:Chapman and Hall/CRC, 2009. 469p. ISBN 9781584888765
- 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