Acerca de este Curso

5601 vistas recientes
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Nivel intermedio

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

1 hora para completar

CTL model checking

1 hora para completar
5 videos (Total 44 minutos)
Semana
2

Semana 2

1 hora para completar

BDDs part 1

1 hora para completar
4 videos (Total 33 minutos)
Semana
3

Semana 3

2 horas para completar

BDDs part 2

2 horas para completar
4 videos (Total 35 minutos)
Semana
4

Semana 4

9 horas para completar

BDD based symbolic model checking

9 horas para completar
4 videos (Total 39 minutos), 3 lecturas, 3 cuestionarios

Preguntas Frecuentes

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