Acerca de este Curso

2,379 vistas recientes

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 intermedio

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar

Inglés (English)

Subtítulos: 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 intermedio

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar

Inglés (English)

Subtítulos: Inglés (English)

ofrecido por

Logotipo de EIT Digital

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)
5 videos
Model Checking9m
Computation Tree Logic11m
Computation Tree Logic Algorithm10m
Computation Tree Logic Example7m
3 ejercicios de práctica
Size of state space10m
CTL equivalence10m
CTL example10m
Semana
2

Semana 2

1 hora para completar

BDDs part 1

1 hora para completar
4 videos (Total 33 minutos)
4 videos
Decision Trees7m
Decision Trees 29m
BDDs8m
3 ejercicios de práctica
Decision tree10m
Reduced ordered decision tree10m
ROBDD10m
Semana
3

Semana 3

2 horas para completar

BDDs part 2

2 horas para completar
4 videos (Total 35 minutos)
4 videos
BDD Algorithm9m
BDD algorithm 26m
BDD Algorithm Example7m
3 ejercicios de práctica
BDD quiz 120m
BDD quiz 220m
BDD algorithm30m
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
4 videos
An example: foxes and rabbits8m
Deadlock checking in a network10m
Networks, BMC, conclusions10m
3 lecturas
NuSMV source of foxes and rabbits problem10m
Introduction10m
Explanation packet switching networks and file describing routing function1h 10m
3 ejercicios de práctica
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

Preguntas Frecuentes

  • Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.

  • Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.

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