Verificación formal del análisis y diseño conductual basado en análisis cognitivo de tareas
Título del documento: Verificación formal del análisis y diseño conductual basado en análisis cognitivo de tareas
Revue: Revista digital universitaria
Base de datos: PERIÓDICA
Número de sistema: 000212601
ISSN: 1607-6079
Autores: 1
2
Instituciones: 1Universidad Autónoma Metropolitana, Departamento de Sistemas, Azcapotzalco, Distrito Federal. México
2Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México
Año:
Periodo: Mar
Volumen: 4
Número: 1
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Filosofía,
Ciencias de la computación,
Matemáticas
Palabras clave: Lógica,
Inteligencia artificial,
Matemáticas aplicadas,
Lógica modal,
Análisis de tareas,
Sistemas complejos,
Lenguaje formal
Keyword: Philosophy,
Computer science,
Mathematics,
Logic,
Artificial intelligence,
Applied mathematics,
Modal logic,
Task analysis,
Complex systems,
Formal language
Texte intégral: Texto completo (Ver HTML)