CCT-UFCA/Ciência da Computação/Métodos Formais
Programa do Componente Curricular
[editar | editar código]| Código: | - | ||||||||
| Componente Curricular: | Métodos Formais | ||||||||
| Semestre de Oferta: | - | Tipo: | Disciplina | Caráter: | Optativa | ||||
| Unidade Acadêmica Responsável: | Centro de Ciências e Tecnologia - CCT | ||||||||
| Área: | Sistemas de Informação | ||||||||
| Créditos: | 4 | Carga horária: | 64 | Teórica: | 64 | Prática: | 0 | Extensão: | - |
| Pré-requisito: | CC0064 - Lógica para Ciência da Computação | ||||||||
| Co-requisito: | - | ||||||||
| Equivalência: | - | ||||||||
Objetivos
[editar | editar código]Apresentar os fundamentos lógicos e preparar os alunos para o estudo, uso e desenvolvimento de técnicas formais para especificação, construção e análise de programas.
Ementa
[editar | editar código]Serão abordados tópicos dentre os seguintes. Lógica Clássica: conceitos fundamentais; teoria de demonstrações; métodos de formalização de provas; sistemas de Hilbert, Gentzen, Smullyan, etc. Lógicas Não-Clássicas: lógicas sub-estruturais; lógicas lineares; semântica de processos computacionais via lógicas lineares; lógicas modais clássicas; lógicas modais temporais; especificação, construção e análise de programas via lógicas temporais; lógicas multimodais; especificação e análise de sistemas distribuídos via lógicas multimodais.
Conteúdo
[editar | editar código]Metodologia
[editar | editar código]Avaliação
[editar | editar código]Bibliografia Básica
[editar | editar código]- NUNES, D. J. Introdução à Abstração de Dados . Vol. 21 Série Livros Didáticos Informática UFRGS. Porto Alegre, RS: Ed. Bookman. 2012. 394 p.
- MENDELSON, E. Introduction to Mathematical Logic. Editora : Chapman and Hall/CRC; 6ª edição.
- WANSING, N. The Logic on Information Structures. Springer 1993.
Bibliografia Complementar
[editar | editar código]- SPIVEY, J. M. Understanding Z: a specification language and its formal semantics. Series: Cambridge Tracts in Theoretical Computer Science (No. 3) . Cambridge, UK: Ed. Cambridge, 2009. 139 p.
- MANNA, Z.; PAVELLI, A. The Temporal Logic of Reactive and Concurrent Systems, Editora Springer, 2012.
- HUTH, M.; RYAN, M. Lógica em ciência da computação: modelagem e argumentação sobre sistemas . 2. ed. Rio de Janeiro, RJ: LTC, 2008. 322 p.
- SILVA, F. S. C.; MELO, A. C. V.; FINGER, M. Lógica para Computação. 2a ed. Thomson, 2017.
- MORTARI, C. Introdução à Lógica, Editora Unesp, 2001.