CCT-UFCA/Análise e Desenvolvimento de Sistemas/Introdução à Lógica de Computação
Programa do Componente Curricular
[editar | editar código-fonte]| Código: | ADS0003 | ||||||||
| Componente Curricular: | Introdução à Lógica de Computação | ||||||||
| Semestre de Oferta: | 1º | Tipo: | Disciplina | Caráter: | Obrigatória | ||||
| Unidade Acadêmica Responsável: | Centro de Ciências e Tecnologia - CCT | ||||||||
| Regime: | Semestral/Modular | ||||||||
| Créditos: | 4 | Carga horária: | 64 | Teórica: | 32 | Prática | 32 | Extensão: | |
| Pré-requisito: | |||||||||
| Co-requisito: | |||||||||
| Equivalência: | |||||||||
Ementa
[editar | editar código-fonte]Conceitos da lógica informal. Conceitos básicos e elementos de lógica formal proposicional, regras de inferência, fórmulas bem formadas, métodos de prova, lógica de predicados (ou de primeira ordem), sintaxe e semântica de Prolog. Noções de lógicas não-clássicas.
Objetivos
[editar | editar código-fonte]Apresentar conceitos e teoremas de lógica de primeira ordem clássica, seus e usos; diferentes métodos de prova para lógica proposicional, de forma que o aluno possa trabalhar com cálculo proposicional; conceitos e elementos da lógica de primeira ordem; conceitos e elementos básicos da linguagem Prolog e apresentar o Paradigma de programação em Lógica
Conteúdo
[editar | editar código-fonte]O conteúdo da disciplina é dividido em 2 unidades:
- Unidade 1 - Lógica Proposicional
- Introdução à Lógica para Computação
- Lógica Proposicional
- Unidade 2 - Lógica de Predicados
- Linguagem lógica dos predicados
- Quantificadores
- Programação lógica
- Prolog
Metodologia
[editar | editar código-fonte]Será utilizada uma metodologia de ensino-aprendizagem que promova a autonomia do aluno, com instruções que promovam a aquisição de conhecimento.
O conteúdo da disciplina será trabalhado por meio de videoaulas e atividades síncronas e assíncronas, e por meio de discussões diárias a serem realizadas, utilizando-se diversas interfaces (ferramentas e recursos do Moodle) para exposição de conceitos, dúvidas e feedbacks e para debates sobre temas relevantes ao módulo.
Avaliação
[editar | editar código-fonte]A avaliação ocorrerá em seus aspectos qualitativos e quantitativos, segundo o Sistema de Avaliação da EaD da UFCA. Como instrumentos de avaliação serão utilizados provas, fóruns, chats, palestras, seminários, trabalhos dirigidos, atividades no AVA e verificação contínua da aprendizagem. Tais instrumentos serão aplicados no decorrer de cada Unidade de Ensino. A utilização de cada instrumento avaliativo estará relacionada à natureza da unidade didática estudada. Será aplicada, ao final prova presencial no Polo EaD (escrita ou virtual). A avaliação da aprendizagem do conteúdo teórico da disciplina será realizada por intermédio de testes com resolução de listas de exercícios.
Bibliografia
[editar | editar código-fonte]Bibliografia básica
[editar | editar código-fonte]- Campos, G. A. L. Souza, J. T. Computação: Noções de Lógica. 3 ed. EdUECE. Fortaleza - CE. Disponível em Portal EduCapes (Material UAB): https://educapes.capes.gov.br/bitstream/capes/432019/2/Livro_Nocoes%20de%20Logica.pdf. Acesso em: 17 abr. 2024.
- Silva FSCD, Finger M, Melo ACVD. Lógica para computação - 2ª edição. São Paulo. Cengage Learning Brasil; 2018. Disponível em: https://app.minhabiblioteca.com.br/books/9788522127191. Acesso em: 17 abr. 2024.
- Santos MDSD, Nunes SE, Silva CD et al. Lógica Computacional. Porto Alegre. Sagah, 2021. Disponível em: https://app.minhabiblioteca.com.br/books/9786556901343. Acesso em: 17 abr. 2024.
Bibliografia complementar
[editar | editar código-fonte]- Nicoletti MDC. A Cartilha da Lógica, 3ª edição. Rio de Janeiro. Grupo GEN LTC, 2017. Disponível em: https://app.minhabiblioteca.com.br/books/9788521633433 . Acesso em: 17 abr. 2024.
- Goldstein L, Brennan A, Deutsch M et al. Lógica. Porto Alegre. Artmed, 2007. Disponível em: https://app.minhabiblioteca.com.br/books/9788536309651 . Acesso em: 17 abr. 2024.
- Cunha MOD, Machado NJ. Lógica e linguagem cotidiana. (4th edição). Belo Horizonte. Autêntica Editora, 2019. Disponível em: https://app.minhabiblioteca.com.br/books/9788551306567 . Acesso em: 17 abr. 2024.
- Hegenberg L. Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade, 3ª edição. Rio de Janeiro. Forense, 2012. Disponível em: https://app.minhabiblioteca.com.br/books/978-85-309-4355-4 . Acesso em: 17 abr. 2024.
- HEGENBERG, Leônidas. Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade, 3ª edição. Rio de Janeiro: Grupo GEN, 2012. E-book. ISBN 978-85-309-4355-4. Disponível em: https://app.minhabiblioteca.com.br/#/books/978-85-309-4355-4/. Acesso em: 19 abr. 2024