Descrição
Aplicações da lógica formal em ciência da computação. Lógicas simbólicas como cálculo de predicados clássico são usadas para representar conhecimento de domínio, para modelar problemas computacionais e resolvê-los por meio de raciocinadores automatizados. Aplicações incluem inteligência artificial, engenharia de software, gerenciamento de dados e verificação de hardware.
Pré-requisitos
- Pré-requisito(s): COMP 2804 .
Condições e modalidades
- Pré-requisito(s): COMP 2804 .
- Aulas três horas por semana.
Texto de referência na sua língua de origem
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/undergrad/courses/COMP/