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. 7 horas para completar

Sugerido: 12 hours/week...

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 avanzado

Aprox. 7 horas para completar

Sugerido: 12 hours/week...

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

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 Formulas14m
Semana
2

Semana 2

1 hora para completar

Advanced modal formulas

1 hora 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 formulas12m

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.