SOBRE ESTE CURSO
Este curso es una introducción a la lógica desde una perspectiva computacional. Muestra cómo codificar información en forma de frases lógicas; muestra cómo razonar con la información en esta forma; y proporciona una visión general de la tecnología lógica y sus aplicaciones – en matemáticas, ciencia, ingeniería, negocios, leyes, etc.
El curso fue diseñado originalmente para su uso en el nivel universitario. Sin embargo, la experiencia ha demostrado que funciona también para estudiantes de secundaria, y puede ser usado al comienzo de la escuela de postgrado para aquellos que aún no han visto el material.
PREREQUISITOS
Sólo hay dos requisitos previos. El curso presume que el estudiante entiende los conjuntos y las operaciones establecidas, como la unión, la intersección, etc. También presume que el estudiante se siente cómodo con la manipulación simbólica, como se usa, por ejemplo, en la resolución de problemas de álgebra en la escuela secundaria. No se requiere nada más.
PERSONAL DE CURSO
Michael Genesereth
Michael Genesereth es profesor asociado en el Departamento de Ciencias de la Computación de la Universidad de Stanford. Recibió su licenciatura en Física del MIT y su doctorado en Matemáticas Aplicadas de la Universidad de Harvard. El profesor Genesereth es más conocido por su trabajo en la lógica computacional y sus aplicaciones en la informática empresarial, la ley computacional y el juego en general. Ha enseñado lógica durante muchos años en Stanford y ofrece un curso anual masivo en línea sobre lógica que ha llegado a más de 500.000 estudiantes. Es el actual director del Grupo de Lógica de Stanford y fundador y director de investigación de CodeX (The Stanford Center for Legal Informatics).
PREGUNTAS FRECUENTES
¿Necesito comprar un libro de texto?
No, el texto Introducción a la lógica se encuentra en el material en línea. Sin embargo, puede comprar una versión impresa (publicada por Morgan-Claypool) si lo desea.
¿Es posible obtener una declaración de logros para esta clase?
Sí. Se dará una declaración de cumplimiento a los participantes que obtengan una puntuación global del 70% o más en el curso.