CCT-UFCA/Análise e Desenvolvimento de Sistemas/Introdução à Lógica de Computação

Plano de Ensino

editar
Código: ADS0003
Componente Curricular: Introdução à Lógica de Computação
Semestre de Oferta: 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

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

Objetivo Geral

editar

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

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

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

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

Bibliografia básica

editar
  1. 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.
  2. 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.
  3. 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
  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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