Curso de introducción a la programación Logic

8 meses hace por en Cursos online, Ofimática e Informática, Programación

Este curso 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. Los participantes podrán explorar cuáles son los procedimientos necesarios para razonar e interpretar la información recibida por éstas.

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. Una educación secundaria en temas como algebra 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)

¿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.

  • 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 a el 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.

Si deseas recibir una Certificación Académica por parte de la Universidad de Stanford deberá abonar la tasa correspondiente a 88€.

Curso de introducción a la programación Logic
3 (60%) 2 votos

Deja un comentario