Acerca de este Curso

4,080 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
Aprox. 11 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
Aprox. 11 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

3 horas para completar

Module 1: Computational Tree Logic

3 horas para completar
6 videos (Total 61 minutos), 3 lecturas, 4 cuestionarios
6 videos
Introduction13m
Semantics of CTL13m
Model Checking CTL9m
The Until Operator12m
The Always Operator9m
3 lecturas
Script 1 and 2.110m
Script 2.2 and 2.310m
Script 2.420m
4 ejercicios de práctica
Formulate for yourself6m
Test your understanding of CTL semantics14m
Check your understanding of CTL20m
Model checking eventually, always and until22m
Semana
2

Semana 2

2 horas para completar

Discrete Time Markov Chains

2 horas para completar
5 videos (Total 49 minutos), 2 lecturas, 5 cuestionarios
5 videos
Evolution in Time13m
Transient probabilities9m
State classification5m
Steady-state probabilities12m
2 lecturas
Script 3.1 and 3.210m
Script 3.310m
5 ejercicios de práctica
Evolution of DTMCs6m
Compute transient probabilities10m
Classification of DTMC states True or False?14m
State classification16m
Steady-state computation12m
Semana
3

Semana 3

2 horas para completar

Probabilistic Computational Tree Logic

2 horas para completar
5 videos (Total 36 minutos), 3 lecturas, 6 cuestionarios
5 videos
Model checking and the Next operator7m
Time-bounded Until6m
Backwards computation4m
Unbounded Until8m
3 lecturas
Script: 4.1 and 4.210m
Script: 4.3.1 and 4.3.225m
Script 4.3.310m
6 ejercicios de práctica
PCTL Syntax8m
Checking PCTL next4m
Test your understanding of PCTL Until6m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL6m
Semana
4

Semana 4

2 horas para completar

Continuous Time Markov Chains

2 horas para completar
5 videos (Total 57 minutos), 2 lecturas, 6 cuestionarios
5 videos
Generator matrix11m
Steady-state probabilities11m
Triple Modular Redundancy11m
Uniformisation12m
2 lecturas
Script: 5.1 and 5.220m
Script: 5.315m
6 ejercicios de práctica
Generator matrix6m
Test your understanding of CTMCs6m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation6m
Uniformisation12m

Preguntas Frecuentes

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 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.

  • Puedes solicitar un reembolso completo hasta dos semanas después de tu fecha de pago o (para los cursos que se lanzaron recientemente) hasta dos semanas después del comienzo de la primera sesión del curso, lo que ocurra después. No puedes recibir un reembolso luego de obtener un Certificado de curso, aun cuando completes el curso dentro del período de reembolso de dos semanas. Consulta nuestra política de reembolsos completa.

  • Sí, Coursera ofrece ayuda económica a los estudiantes que no pueden pagar la tarifa. Solicítala haciendo clic en el vínculo de Ayuda económica que está debajo del botón 'Inscribirse' a la izquierda. Se te pedirá que completes una solicitud y recibirás una notificación cuando se apruebe. Obtén más información.

  • Este Curso no otorga crédito universitario, pero algunas universidades pueden aceptar los Certificados del curso para obtener crédito. Consulta con tu institución para obtener más información. Los Títulos en línea y los Certificados Mastertrack™ de Coursera brindan la oportunidad de obtener créditos universitarios.

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