Acerca de este Curso

5,445 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. 25 horas para completar
Inglés (English)

Instructor

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. 25 horas para completar
Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

3 horas para completar

SAT/SMT basics, SAT examples

3 horas para completar
6 videos (Total 58 minutos), 2 lecturas, 3 cuestionarios
Semana
2

Semana 2

18 horas para completar

SMT applications

18 horas para completar
4 videos (Total 33 minutos), 2 lecturas, 7 cuestionarios
Semana
3

Semana 3

3 horas para completar

Theory and algorithms for CNF-based SAT

3 horas para completar
6 videos (Total 56 minutos)
Semana
4

Semana 4

1 hora para completar

Theory and algorithms for SAT/SMT

1 hora para completar
6 videos (Total 55 minutos)

Reseñas

Principales reseñas sobre AUTOMATED REASONING: SATISFIABILITY

Ver todas las reseñas

Preguntas Frecuentes

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