Inicio

Semestre 2021-10

Nombre del curso: Procesamiento Lenguaje Natural
Course Name:
Créditos: 4
Profesor: Ruben Manrique

Procesamiento Lenguaje Natural

Descripción general del curso

ev 2019 MISIS 00
Este curso permitirá a los estudiantes comprender y aplicar técnicas de verificación de software con un énfasis particular en los métodos de prueba fundamentales. El curso cubrirá los métodos de prueba que incluyen el encadenamiento de implicaciones, aplicado al razonamiento ecuacional, la lógica sentencial y la lógica de primer orden. El curso también cubrirá pruebas sobre tipos de datos fundamentales y algoritmos. El curso utilizará el lenguaje de deducción / computación dual de Athena y el libro de prensa del MIT “Métodos de prueba fundamentales en informática” por Konstantine Arkoudas y David Musser.

Prerequisitos: se espera familiaridad con la lógica de primer orden, y matemáticas discretas. El estudiante también debería haber tomado cursos en estructuras de datos y algoritmos. El conocimiento de la programación funcional sería útil, pero no es obligatorio.