Acerca de este Curso

4703 vistas recientes
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Nivel intermedio
Aprox. 25 horas para completar
Inglés (English)
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Nivel intermedio
Aprox. 25 horas para completar
Inglés (English)

Instructor

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.