Descripción
Aplicaciones de la lógica formal en informática. Lógicas simbólicas como el cálculo de predicados clásico se usan para representar el conocimiento del dominio, modelar problemas computacionales y resolverlos mediante razonadores automáticos. Las aplicaciones incluyen inteligencia artificial, ingeniería de software, gestión de datos y verificación de hardware.
Prerrequisitos
- Requisito(s): COMP 2804 .
Condiciones y modalidades
- Requisito(s): COMP 2804 .
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/COMP/