Objetivos da disciplina Lógica para Computação
De Wiki DAINF
(Diferença entre revisões)
| Linha 1: | Linha 1: | ||
| − | == Objetivos da disciplina [Lógica para Computação] == | + | == Objetivos da disciplina [[Lógica para Computação]] == |
* Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica". | * Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica". | ||
Edição atual tal como 17h56min de 29 de maio de 2013
Objetivos da disciplina Lógica para Computação
- Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica".
- O papel desta disciplina é o de mostrar como uma lógica pode ser vista como uma linguagem de especificação tanto de sistemas como de suas propriedades.
- Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.
