CCT-UFCA/Ciência da Computação/Metodologia Científica Aplicada a Computação
Programa do Componente Curricular
[editar | editar código]| Código: | CC00XX | ||||||||
| Componente Curricular: | Metodologia Científica Aplicada a Computação | ||||||||
| Semestre de Oferta: | Tipo: | Disciplina | Caráter: | Obrigatória | |||||
| Unidade Acadêmica Responsável: | Centro de Ciências e Tecnologia - CCT | ||||||||
| Área: | Teoria da Computação | ||||||||
| Créditos: | 4 | Carga horária: | 64 | Teórica: | 64 | Prática: | 0 | Extensão: | - |
| Pré-requisito: | |||||||||
| Co-requisito: | |||||||||
| Equivalência: | |||||||||
Objetivos
[editar | editar código]Expor o aluno aos conceitos e resultados fundamentais da linguagem proposicional e de primeira-ordem ressaltando a lógica matemática como uma importante ferramenta para Ciência da Computação. Apresentar aplicações da lógica em formalizações de problemas e sistemas computacionais. njkhuhuh
Ementa
[editar | editar código]Lógica proposicional e de primeira-ordem: Linguagem, Semântica e Sistemas Dedutivos. Teorema da Completude e Corretude. Definibilidade e Limites expressivos da Lógica de primeira-ordem. Resolução. Aplicações da Lógica à Ciência da Computação.
Conteúdo
[editar | editar código]- Lógica Proposicional - Sintaxe
- Revisão: Indução e Definições indutivas
- Lógica Proposicional - Semântica
- Lógica Proposicional - Satisfatibilidade e Validade
- Lógica Proposicional - Consequência Lógica e Equivalência
- Lógica Proposicional - Sistemas Dedutivos
- Lógica Proposicional - Dedução Natural
- Lógica Proposicional - Tableaux
- Lógica Proposicional - Resolução e DPLL
- Lógica de Primeira-ordem - Sintaxe
- Lógica de Primeira-ordem - Semântica e Estruturas
Metodologia
[editar | editar código]A disciplina combina aulas expositivas de conteúdo com aulas práticas de resolução de exercícios. Os alunos participam de:
- Aulas de conteúdo: exposição teórica dos conceitos, métodos e técnicas relacionadas ao tema da disciplina;
- Aulas de exercícios: resolução de listas de exercícios, discussão em grupo e apresentação de soluções passo a passo, visando consolidar o aprendizado e aplicar os conceitos na prática.
Avaliação
[editar | editar código]A avaliação da disciplina é composta por provas teóricas e um projeto prático, distribuídos da seguinte forma:
- Provas: 3 avaliações escritas ao longo do semestre, cobrindo os principais tópicos abordados em aula;
- Projeto: desenvolvimento de um projeto aplicado relacionado ao conteúdo da disciplina, que deve demonstrar a compreensão dos conceitos e a capacidade de aplicá-los em situações práticas.
A média final é calculada considerando o desempenho nas provas e no projeto, de acordo com os critérios estabelecidos pelo professor responsável.
Bibliografia Básica
[editar | editar código]- SOUZA, J. N. Lógica para Ciência da Computação: uma introdução concisa. 2. ed. Rio de Janeiro: Elsevier, 2008. ISBN: 9788535229615
- HUTH, M.; RYAN, M. Logic in Computer Science: Modeling and reasoning about systems. 2nd Ed. Cambridge university press. 2004. ISBN:9780521543101
- MORTARI, C. A. Introdução à Lógica. São Paulo: Unesp. 2017. ISBN:9788539306305
Bibliografia Complementar
[editar | editar código]- SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. Lógica Para Computação. 2ª edição. Cengage Learning. 2017
- VAN DALEN, D. Logic and Structure. 5 Ed., Springer, 2013. ISBN: 9781447145578
- BEN-ARI, M. Mathematical logic for computer science. 3rd Ed. Springer Science & Business Media, 2012. ISBN: 9781447141280
- EBBINGHAUS, H. D.; FLUM, J.; THOMAS, W. Mathematical Logic. 3rd Ed. Springer, 2013. ISBN: 9783030738389
- COSTA, N. A. Ensaio sobre os Fundamentos da Lógica. São Paulo, Hucitec, 1980.