Curso de introducción a la programación Logic

Aprender Gratis | Curso de introducción a la programación Logic

Este curso gratuito, es una introducción a la lógica desde una perspectiva computacional, mostrando de qué manera se puede codificar información en la forma de oraciones/frases lógicas.

La lógica tecnológica se presenta de manera transversal, mostrándose en diferentes disciplinas, como la matemáticas, ciencia, derecho, ingeniería y negocios. Éste tipo de lógica permite al estudiante proveer una gran variedad de aplicaciones en donde se puede mejorar el uso de la tecnología, comprendiendo que es un elemento determinante de progreso y desarrollo social.

Impartido por la Universidad de Stanford, pretende la formación de un enfoque multidisciplinario sobre el uso de la lógica para promover el cambio y direccionamiento de nuestra sociedad.

 

¿A quién está dirigido el curso de introducción a la programación Logic?

El curso se encuentra a todos los usuarios interesados en los fundamentos de la lógica computacional, en especial para programadores.

Una educación secundaria en temas como álgebra básica y operaciones simbólicas es suficiente para poder aprovechar los temas programados.

El curso solo se encuentra disponible en inglés, por lo que recomendamos que poseas un nivel medio del idioma para poder aprovechar al máximo el programa ofrecido. (ver cursos de inglés gratis). El curso también cuenta con subtítulos en español.

 

¿Qué estudiarás en el curso de introducción a la programación Logic?

El curso, impartido por el profesor Michael Genesereth, constará de 9 semanas de estudio. En ellas los alumnos participarán de lecciones y contarán con lecturas sobre los puntos a desarrollar.

Los temas a tratar a lo largo del curso son:

  • Semana 1: Introducción
  • Semana 2: Lógica y Análisis Proposicional
  • Semana 3: Pruebas Proposicionales
  • Semana 4: Resolución Proposicional
  • Semana 5: Lógica y Análisis Relacional
  • Semana 6: Pruebas Relacionales
  • Semana 7: Lógica Herbrand
  • Semana 8: Pruebas Herbrand
  • Semana 9: Resolución
  • Semana 10: Material Suplementario

 

Acceso a el curso de introducción a la programación Logic

Accede al curso de introducción a la programación Logic, siguiendo el enlace anterior. La inscripción y participación de este curso estará habilitada de forma completamente gratuita.

Todos los cursos de Coursera se pueden auditar de forma gratuita y se puede solicitar la ayuda económica (beca) con la que te dan el certificado sin coste.

Si deseas recibir una Certificación Académica por parte de la Universidad de Stanford deberás abonar la tasa correspondiente a 85€. Además de aprobar todas las tareas calificadas dentro de los módulos de estudio.

Si quieres seguir formándote, te mostramos este curso sobre programación para la ciencia de datos  o este curso para aprender a crear códigos de programación. Ambos cursos son totalmente gratuitos

Comentar

15585

Regístrate Gratis

Accede a  la lista decursos, tutoriales, guías y manuales gratuitos