Enroll Course: https://www.coursera.org/learn/automated-reasoning-sat
Si estás interesado en aprender sobre razonamiento automatizado y quieres profundizar en el fascinante mundo de la satisfacibilidad, el curso ‘Automated Reasoning: satisfiability’ de Coursera es una excelente opción. Este curso te permitirá entender y aplicar herramientas de satisfacibilidad (SAT/SMT) para resolver una variedad de problemas prácticos.
Desde el principio, el curso presenta los conceptos de SAT (satisfacibilidad) y SMT (SAT módulo teorías) de forma clara y accesible. En la primera parte, aprenderás sobre los fundamentos de SAT, complementado con ejemplos que ilustran su aplicación. Por ejemplo, podrás ver cómo se pueden ajustar rectángulos para la impresión de carteles o resolver problemas de programación.
Uno de los módulos más destacados se enfoca en las aplicaciones de SMT, donde se exploran casos específicos que involucran desigualdades lineales. Esto permite a los estudiantes aplicar teorías a problemas en la vida real, mejorando su comprensión y habilidades prácticas.
Además, el curso ofrece un profundo conocimiento teórico sobre algoritmos CNF basados en SAT. Aprenderás sobre la resolución como un método clave para determinar la satisfacibilidad de fórmulas proposicionales y cómo se relaciona con el enfoque DPLL, que se utiliza en los solucionadores de SAT modernos.
Finalmente, el curso se sumerge en la interacción entre SAT y SMT, brindando un entendimiento sobre la transformación de fórmulas proposicionales arbitrarias a CNF mediante la transformación de Tseitin y cómo el método Simplex se integra en este contexto.
Recomiendo este curso no solo a matemáticos e ingenieros, sino también a cualquier persona interesada en la informática teórica y el razonamiento automatizado. Con su mezcla de teoría y práctica, es una valiosa adición a tu educación y habilidades profesionales.
Enroll Course: https://www.coursera.org/learn/automated-reasoning-sat