Acerca de este Curso

Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel avanzado
Aprox. 4 horas para completar
Inglés (English)
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel avanzado
Aprox. 4 horas para completar
Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

2 horas para completar

Basic modal formulas

2 horas para completar
6 videos (Total 78 minutos), 2 lecturas, 1 cuestionario
6 videos
Hennessy-Milner logic11m
Identities for HM-logic11m
Dualities6m
Fixed point operators18m
Regular formulas26m
2 lecturas
Book exercises10m
Book exercises20m
1 ejercicio de práctica
Basic Modal Formulas30m
Semana
2

Semana 2

2 horas para completar

Advanced modal formulas

2 horas para completar
5 videos (Total 59 minutos), 1 lectura, 1 cuestionario
5 videos
Alternating fixed points11m
Peterson's algorithm revisited10m
Translation to a Boolean Equation System (BES)12m
Solving a Boolean Equation System11m
1 lectura
Book exercises10m
1 ejercicio de práctica
Advanced modal formulas30m

Preguntas Frecuentes

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.