Ministério da Educação UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ UTFPR - CAMPUS FRANCISCO BELTRAO |
|||
plano de ensino
Código Ofertado |
Disciplina/Unidade Curricular |
Modo de Avaliação |
Modalidade da disciplina |
Oferta |
LM31L |
Logica Matemática |
Nota/Conceito E Frequência |
Presencial |
Semestral |
Carga Horária |
|||||||||||||||||||||||||||||||||
AT |
AP |
APS |
ANP |
APCC |
Total |
||||||||||||||||||||||||||||
1 |
1 |
2 |
0 |
15 |
30 |
||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||
Objetivo |
|||||||||||||||||||||||||||||||||
Levar o licenciando a compreender os princípios deste ramo da matemática, o qual fornece elementos que fundamentam os processos de construção da matemática como ciência, possibilitando avanços tecnológicos e o desenvolvimento da inteligência artificial. Compreender e valorizar as demonstrações, o rigor matemático, bem como os princípios que possibilitaram aplicação de formas de pensamento matemático na criação de algumas tecnologias. Enfim, promover a capacidade de raciocínio lógico e abstrato como preparação e treinamento para a representação e resolução de problemas, bem como para o desenvolvimento de algoritmos computacionais eficientes. |
|||||||||||||||||||||||||||||||||
Ementa |
|||||||||||||||||||||||||||||||||
Sistematização da lógica matemática. Estruturação do cálculo proposicional. Operações lógicas fundamentais. Relações de equivalência e de implicação Lógica. Álgebra proposicional. Teoria da argumentação e análise inferencial no cálculo proposicional. Cálculo dos predicados. Quantificação. Funções proposicionais quantificadas. |
|||||||||||||||||||||||||||||||||
Conteúdo Programático |
|||||||||||||||||||||||||||||||||
|
Bibliografia Básica |
---|
|
SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed. Rio de Janeiro, RJ: Elsevier, 2008. 220 p. (Campus. Sociedade Brasileira de Computação). ISBN 9788535229615. |
BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo. Introdução à lógica matemática. São Paulo: Cengage Learning, c2012. xiii, 135 p. ISBN 9788522111268. |
DAGHLIAN, Jacob. Lógica e álgebra de Boole. 4. ed. São Paulo, SP: Atlas, c1995. 167 p. ISBN 8522412561. |
Bibliografia Complementar |
---|
|
CHAUÍ, Marilena de Sousa. Convite à filosofia. 14. ed. São Paulo, SP: Ática, 2011. 520 p. ISBN 9788508134694. |
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo, SP: Nobel, c1975. 203 p. ISBN 852130403X. |
KELLER, Vicente; BASTOS, Cleverson Leite. Aprendendo lógica. 19. ed. Petropolis, RJ: Vozes, 2011. 228 p. ISBN 9788532606556. |
MADRIGAL, J. H. Lógica de Enunciados: Alguns Aspectos Básicos. Instituto Politécnico Nacional. 1995. (Em: http://site.ebrary.com/lib/utfpr/). Disponível em: http://site.ebrary.com/lib/utfpr/detail.action?docID=10436659&p00=Logica+de+enunciados%3A+alguns+aspectos+basicos |
GONZÁLEZ E. G.; GARCIA R. L. Fundamentos de Matemáticas y Lógica. Instituto Politécnico Nacional. 2010. (Em: http://site.ebrary.com/lib/utfpr/). Disponível em: http://site.ebrary.com/lib/utfpr/detail.action?docID=10378509&p00=fundamentos+de+matem%C3%A1ticas+y+l%C3%B3gica. |
# |
Resumo da Alteração |
Edição |
Data |
Aprovação |
Data |
1 |
Primeira versão. |
Maici Duarte Leite |
23/11/2017 |
Maici Duarte Leite |
23/11/2017 |
2 |
Versão atual. |
Gustavo Yuji Sato |
04/12/2017 |
Maici Duarte Leite |
04/12/2017 |
3 |
versão atual. |
Gustavo Yuji Sato |
04/12/2017 |
Maici Duarte Leite |
04/12/2017 |
4 |
Correção do campo ementa |
Gustavo Yuji Sato |
19/02/2018 |
Gustavo Yuji Sato |
20/02/2018 |
5 |
Nada modificado |
Gustavo Yuji Sato |
20/02/2018 |
Gustavo Yuji Sato |
20/02/2018 |
Documento assinado eletronicamente por (Document electronically signed by) WILIAN RODRIGO GALEAZZI, TECNICO EM ASSUNTOS EDUCACIONAIS, em (at) 10/02/2022, às 17:02, conforme horário oficial de Brasília (according to official Brasilia-Brazil time), com fundamento no (with legal based on) art. 4º, § 3º, do Decreto nº 10.543, de 13 de novembro de 2020. |
A autenticidade deste documento pode ser conferida no site (The authenticity of this document can be checked on the website) https://sei.utfpr.edu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador (informing the verification code) 2533341 e o código CRC (and the CRC code) E49725F3. |
Referência: Processo nº 23064.004158/2022-23 | SEI nº 2533341 |