Acerca de este Curso

2,101 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. 5 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 intermedio
Aprox. 5 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

Sequential behaviour

1 hora para completar
7 videos (Total 59 minutos)
7 videos
Actions, multi-actions, alternative and sequential composition9m
Process axioms11m
Recursive process specifications8m
Processes and actions with data; the conditional operator7m
The sum operator8m
The alarm clock revisited11m
1 ejercicio de práctica
Sequential behaviour30m
Semana
2

Semana 2

2 horas para completar

Data types

2 horas para completar
8 videos (Total 103 minutos)
8 videos
Specification of Peano numbers11m
Specification of efficient numbers16m
Specification of lists8m
Functions, sets and bags13m
Structured types13m
Quantifiers9m
Knuth's dancing links18m
1 ejercicio de práctica
Data Types30m
Semana
3

Semana 3

1 hora para completar

Parallel behaviour

1 hora para completar
3 videos (Total 37 minutos)
3 videos
The hiding operator7m
Peterson's mutual exclusion algorithm16m
1 ejercicio de práctica
Parallel Behaviour30m

Preguntas Frecuentes

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