About this Course

15,189 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 21 hours to complete
Spanish
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 21 hours to complete
Spanish

Offered by

Placeholder

Universidad Nacional Autónoma de México

Syllabus - What you will learn from this course

Week
1

Week 1

1 hour to complete

Lógica proposicional

1 hour to complete
4 videos (Total 18 min), 2 readings, 1 quiz
4 videos
Conceptos preliminares2m
Sintaxis2m
Semántica: Modelo y satisfacción3m
2 readings
Si no estás inscrito a este curso como usuario de Coursera para la UNAM, por favor revisa esta información:10m
Bienvenida al curso10m
1 practice exercise
Lógica proposicional30m
Week
2

Week 2

5 hours to complete

Lógica proposicional parte 2

5 hours to complete
3 videos (Total 20 min)
3 videos
Inferencia6m
Algoritmo DPLL8m
1 practice exercise
Lógica proposicional (parte 2)30m
Week
3

Week 3

1 hour to complete

Lógica temporal y Lógica de predicados

1 hour to complete
6 videos (Total 28 min)
6 videos
Semántica de lógica temporal7m
Conceptos preliminares y sintaxis de lógica de predicados4m
Semántica de lógica de predicados6m
Inferencia de lógica de predicados2m
Problemas cuando base de inteligencia artificial3m
2 practice exercises
Lógica temporal25m
Lógica de predicados30m
Week
4

Week 4

5 hours to complete

Teoría de la probabilidad

5 hours to complete
2 videos (Total 16 min)
2 videos
Redes bayesianas7m
1 practice exercise
Teorema de Bayes30m

Reviews

TOP REVIEWS FROM RAZONAMIENTO ARTIFICIAL

View all reviews

About the Introducción a la inteligencia artificial Specialization

Introducción a la inteligencia artificial

Frequently Asked Questions

More questions? Visit the Learner Help Center.