Curso gratis de introducción a la Lógica

En este curso gratuito de introducción a la lógica, aprenderá sobre esta ciencia desde una perspectiva computacional.

En él, aprenderá cómo codificar información en oraciones o frases lógicas. La lógica de la tecnología se presenta de forma transversal, la cual se manifiesta en diversas disciplinas como las matemáticas, las ciencias, el derecho, la ingeniería y los negocios.

Este tipo de lógica permite que los estudiantes la utilicen en una variedad de aplicaciones donde se puede potenciar el uso de la tecnología, reconociendo que es un factor vital para el progreso y desarrollo social.

Impartido en la Universidad de Stanford, tiene como objetivo proporcionar un enfoque interdisciplinario para usar la lógica para promover el cambio en nuestra sociedad.

El curso está destinado a todos los usuarios interesados ​​en los conceptos básicos de la lógica computacional. Por lo tanto, una educación secundaria en materias como álgebra y operaciones simbólicas es suficiente para beneficiarse de las materias de programación.

El curso solo se ofrece en inglés, por lo que se recomienda aprender un nivel intermedio del idioma para aprovechar al máximo los cursos que se ofrecen. Aunque tiene subtítulos, también están en inglés.

El curso es impartido por el profesor Michael Genesereth y consta de aproximadamente 47 horas lectivas. En estos cursos, los estudiantes participarán en clases y estudiarán especialidades.

Los temas a tratar a lo largo del curso son:

• Introducción.
• Lógica Proposicional.
• Lógica Relacional.
• Lógica Funcional.
• Concusión.

Accede al curso usando este enlace.