Aprende Lógica desde cero, consigue que te contraten y diviértete en el camino con el curso de lógica matemática e informática. Este curso se centra en la eficiencia: nunca más pierdas tiempo en tutoriales de lógica confusos, desactualizados e incompletos. Este es el curso más completo y moderno que encontrará sobre el tema en cualquier lugar.
Read more
Aprende Lógica desde cero, consigue que te contraten y diviértete en el camino con el curso de lógica matemática e informática. Este curso se centra en la eficiencia: nunca más pierdas tiempo en tutoriales de lógica confusos, desactualizados e incompletos. Este es el curso más completo y moderno que encontrará sobre el tema en cualquier lugar.
Aprende Lógica desde cero, consigue que te contraten y diviértete en el camino con el curso de lógica matemática e informática. Este curso se centra en la eficiencia: nunca más pierdas tiempo en tutoriales de lógica confusos, desactualizados e incompletos. Este es el curso más completo y moderno que encontrará sobre el tema en cualquier lugar.
Este curso completo y basado en proyectos le presentará todas las habilidades modernas de un especialista en lógica y, a lo largo del camino, crearemos muchos proyectos para que tenga experiencia. Tendrá acceso a todo el código, libros de trabajo y plantillas en los recursos descargables del curso. ¡para que pueda ponerlos en su portafolio de inmediato. Creemos que este curso resuelve el mayor desafío para ingresar al campo de la lógica y computación: tener todos los recursos necesarios en un solo lugar y aprender las últimas tendencias y las habilidades laborales que los empleadores desean.
El plan de estudios será muy práctico a medida que lo guiamos de principio a fin para convertirse en un ingeniero profesional de lógica e informática. El curso está dividido en secciones donde profundizamos en cada uno de los temas de la inteligencia artificial. Además, también estudiamos las principales aplicaciones de la inteligencia artificial en el día de hoy.
Algunos de los temas cubiertos en este curso son:
Introducción a la Lógica
Lógica Proposicional
Lógica de Primer Orden
Problemas NP-completos
Representación del Conocimiento y Razonamiento
Planificación en Lógica Computacional
Prácticas de Programación Lógica en Prolog y C++
Algoritmos de Programación Lógica
Resolución de problemas NP-difíciles
Al final de este curso, será un ingeniero especializado en lógica y programación que puede ser contratado en grandes empresas. Usaremos todo lo que aprendamos en el curso para crear proyectos profesionales. Al final, tendrá una pila de proyectos que ha construido que puede mostrar a los demás.
Ya sea que sea nuevo en la programación, desee mejorar sus habilidades en lógica o provenga de una industria diferente, este curso es para usted. Este curso no se trata de hacer que solo codifique sin comprender los principios, de modo que cuando haya terminado con el curso no sepa qué hacer más que ver otro tutorial. ¡No. Este curso lo impulsará y desafiará a pasar de ser un principiante absoluto sin experiencia en lógica , a alguien capaz de crear sus propios flujos de trabajo de programación lógica y computacional.
La lógica tiene aplicaciones en marketing y finanzas comerciales, atención médica, ciberseguridad, comercio minorista, transporte y logística, agricultura, Internet de las cosas, juegos y entretenimiento, diagnóstico de pacientes, detección de fraude, detección de anomalías en la fabricación, gobierno, academia / investigación, sistemas de recomendación y mucho más. Las habilidades aprendidas en este curso le brindarán muchas opciones para su carrera.
Haga clic en "Inscríbase ahora" y únase a otros miembros de nuestra comunidad para obtener una ventaja en la industria y aprender Lógica y Programación. Garantizamos que esto es mejor que cualquier seminario o curso en línea sobre el tema. ¡Nos vemos dentro del curso.
What's inside
Learning objectives
- Concepto de lógica
- Lógica proposicional y de primer orden
- Fundamentos de programación lógica (lenguaje prolog)
- Saber expresar algunos problemas prácticos np-completos
- Ser capaz de aplicar a mano resolución y davis-putnam sobre ejemplos prácticos abordables y saber utilizar la resolución como mecanismo de cómputo
- Saber demostrar formalmente propiedades
- Concepto de lógica
- Lógica proposicional y de primer orden
- Fundamentos de programación lógica (lenguaje prolog)
- Saber expresar algunos problemas prácticos np-completos
- Ser capaz de aplicar a mano resolución y davis-putnam sobre ejemplos prácticos abordables y saber utilizar la resolución como mecanismo de cómputo
- Saber demostrar formalmente propiedades
Syllabus
Conocer el temario que se estudiará a lo largo del curso.
En esta clase realizamos una breve introducción a la lógica informática.
Read more
Syllabus
En esta clase realizamos una breve introducción a la lógica informática.
Nombramos los principales temas que trataremos a lo largo del curso.
En esta clase comentamos aspectos sobre la lógica informática y la lógica matemática.
Definimos el concepto de Lógica.
Definimos el concepto de Lógica Proposicional.
Estudiamos las conectivas lógicas de la lógica proposicional.
Estudiamos la nomenclatura básica de la lógica.
Resolvemos el primer ejercicio de Lógica Proposicional.
En esta clase resolvemos el problema 2 de Lógica Proposicional.
Resolvemos el problema 3 de lógica proposicional.
Resolvemos el problema número 4 de la colección de problemas de Lógica Proposicional.
Resolvemos el problema número 6.
Resolvemos el problema número 7.
Resolvemos la primera parte de la demostración del problema 8.
Resolvemos la parte final de la demostración del problema 8.
Resolvemos el problema número 9 de la colección.
Resolvemos el primer problema de exámenes de lógica proposicional.
Resolvemos el problema 2 de exámenes de lógica proposicional
Resolvemos el tercer problema de examen.
Resolvemos el problema 4 de exámenes de lógica proposicional.
Resolvemos el quinto problema de la sección de exámenes de Lógica Proposicional.
Resolvemos el problema 6 de la sección de exámenes.
Resolvemos el problema 7 de exámenes de lógica proposicional.
Resolvemos el problema 8 de exámenes de lógica proposicional.
Introducimos la Lógica de Primer Orden y explicamos su sintaxis.
En las clases posteriores explicamos su interpretación y satisfacción.
Estudiamos la Interpretación y Satisfacción en la Lógica de Primer Orden.
En esta clase estudiamos la formalización del lenguaje natural en lógica de primer orden.
Introducimos el lenguaje de programación Prolog.
Estudiamos los hechos en prolog.
Estudiamos las preguntas que se realizan sobre un conjunto de hechos en Prolog.
Repasamos las preguntas en Prolog. En concreto preguntas formadas por subpreguntas.
Analizamos una situación de preguntas en prolog.
Enunciamos el primer ejercicio de Prolog.
Resolvemos el ejercicio 1.1 de prolog.
Planteamos el enunciado del problema 1.2 del curso.
Resolvemos el ejercicio 1.2 de Prolog.
Estudiamos el concepto de regla y su estructura.
Planteamos el enunciado del problema 1.3 de Prolog.
Resolvemos el problema 1.3 de Prolog.( PARTE 1 )
Resolvemos el problema 1.3 de Prolog. ( PARTE 2 )
Resolvemos el problema 1.3 de Prolog.( PARTE 3 )
Introducimos la sintaxis principal de Prolog.
Estudiamos las expresiones aritméticas en Prolog.
Estudiamos la comparación de términos y expresiones en Prolog.
Introducimos los fundamentos de las Listas en Prolog.
Estudiamos cómo definir si un elemento es miembro de una Lista en Prolog.
Introducimos el predicado predefino del corte ( ! ) en Prolog.
El corte en Prolog se simboliza con el signo !
Analizamos el predicado predefinido del corte y ideamos una solución eficiente para el ejemplo visto en la clase de introducción.
Estudiamos los usos comunes del predicado del CORTE en Prolog.
Explicamos cómo instalar SWI Prolog.
Estudiamos cómo introducir un fichero .pl en Prolog.
Estudiamos cómo podemos escribir un predicado en Prolog que, dada una lista L, nos devuelva
una variable P , donde P es el producto de los elementos de la lista L.
Estudiamos cómo podemos escribir un predicado en Prolog que, dada dos
listas C1 y C2, nos devuelva el producto escalar P de las dos.
Escribimos un predicado para calcular la unión de dos conjuntos.
Escribimos un predicado para calcular la intersección de dos conjuntos.
Estudiamos cómo podemos escribir un predicado en Prolog que, dada una lista, calcule su último elemento.
Además , explicamos cómo podemos implementar un predicado en Prolog que calcule la lista inversa.
Estudiamos cómo podemos implementar un predicado que nos calcule el elemento N-ésimo de la secuencia de Fibonacci.
Aprendemos cómo podemos implementar un predicado que nos calcule las posibles combinaciones de N tiros de dados para obtener un total de P puntos.
Estudiamos cómo implementar un predicado suma_demas(L), que dada una lista L, devuelve cierto si existe un elemento de la lista que es igual a la suma de todos los demás elementos.
Aprendemos a escribir un predicado suma_ants(L), que dada una lista L, retorna cierto si existe algún elemento X que es igual a la suma de los elementos anteriores a él.
Estudiamos cómo podemos implementar un predicado card(L) que calcule cuántas veces
aparece cada elemento de la Lista L en la misma.
Analizamos la estructura principal de un programa C++.
Describimos el concepto de input y output en programación.
Estudiamos los tipos de datos principales en la sintaxis de C++.
Realizamos una pequeña incisión para aclarar el uso de comentarios.
Comentamos un pequeño problema y cómo solucionarlo respecto a las variables de tipo string.
Estudiamos los principales operadores y sentencias en C++.
Introducimos la sentencia condicional simple If.
Estudiamos la estructura condicional compuesta.
Estudiamos y profundizamos en la estructura repetitiva for.
Estudiamos y profundizamos en la estructura repetitiva while.
Introducimos el concepto de vectores en programación con C++.
Trabajamos nuestro primer programa sencillo con vectores.
Introducimos el concepto de Matrices en programación.
Trabajamos con vectores bidimensionales.
Explicamos el problema SAT, np-completo para una k-SAT mayor o igual que 3.
Además, introducimos el objetivo de la práctica.
Explicamos la implementación del código inicial en C++ del programa para el SAT Solver.
El programa imprime correctamente si una fórmula F es SATISFACTIBLE o INSATISFACTIBLE
Sin embargo, no se trata de una solución eficiente.
Se pide al estudiante que implemente una nueva heurística del problema para decidir el nuevo literal que se va a propagar.
Empezamos diseñando la estructura del programa para la resolución de la práctica.
Acabamos de resolver la práctica 1 de SAT Solver.
Traffic lights
Save this course
Save
Reviews summary
Lógica informática: curso completo desde cero
Ayuda a aplicar la teoría con ejercicios y prácticas.
Ideal para comenzar sin conocimientos previos.
Activities
Repasar los fundamentos de las matemáticas discretas
Show steps
Refresca los conceptos básicos de matemáticas discretas para comprender mejor los principios subyacentes de la lógica informática.
Show steps
-
Revisa los apuntes de cursos anteriores sobre matemáticas discretas.
-
Resuelve ejercicios de práctica sobre teoría de conjuntos y álgebra booleana.
-
Consulta recursos en línea sobre lógica proposicional y de primer orden.
Leer 'Lógica para principiantes' de Paul Teller
Show steps
Proporciona una base sólida en los conceptos fundamentales de la lógica, lo que facilita la comprensión de los temas más avanzados del curso.
View
Renaissance Thought and its Sources
on Amazon
Show steps
-
Lee los capítulos introductorios sobre lógica proposicional.
-
Realiza los ejercicios al final de cada capítulo para verificar tu comprensión.
-
Toma notas sobre los conceptos clave y las definiciones importantes.
Resolver ejercicios de lógica proposicional
Show steps
Refuerza la comprensión de la lógica proposicional mediante la resolución de ejercicios prácticos.
Show steps
-
Encuentra una colección de ejercicios de lógica proposicional en línea.
-
Resuelve al menos 10 ejercicios de diferentes niveles de dificultad.
-
Verifica tus respuestas y analiza los errores cometidos.
Four other activities
Expand to see all activities and additional details
Show all seven activities
Crear un mapa mental sobre lógica de primer orden
Show steps
Organiza y visualiza los conceptos clave de la lógica de primer orden para mejorar la comprensión y la retención.
Show steps
-
Identifica los conceptos centrales de la lógica de primer orden.
-
Crea un mapa mental que conecte estos conceptos de manera lógica.
-
Revisa y refina el mapa mental para asegurar su claridad y precisión.
Implementar un solucionador SAT simple en Prolog
Show steps
Aplica los conocimientos de Prolog para resolver un problema práctico de lógica, como la satisfacción de fórmulas booleanas.
Show steps
-
Investiga el algoritmo DPLL para la resolución de SAT.
-
Escribe el código Prolog para implementar el algoritmo DPLL.
-
Prueba el solucionador SAT con diferentes fórmulas booleanas.
-
Optimiza el código para mejorar su eficiencia.
Consultar 'Programming in Prolog' de Clocksin y Mellish
Show steps
Profundiza en el lenguaje Prolog y aprende técnicas avanzadas de programación lógica.
View
Programming in Prolog: Using The Iso Standard
on Amazon
Show steps
-
Lee los capítulos sobre listas, recursión y backtracking en Prolog.
-
Realiza los ejercicios de programación propuestos en el libro.
-
Experimenta con diferentes técnicas de programación para resolver problemas complejos.
Ayudar a otros estudiantes en el foro del curso
Show steps
Consolida tu conocimiento al explicar conceptos y resolver dudas de otros estudiantes.
Show steps
-
Revisa el foro del curso regularmente.
-
Responde a las preguntas de otros estudiantes de manera clara y concisa.
-
Comparte tus conocimientos y experiencias con la comunidad del curso.
Repasar los fundamentos de las matemáticas discretas
Show steps
Refresca los conceptos básicos de matemáticas discretas para comprender mejor los principios subyacentes de la lógica informática.
Show steps
- Revisa los apuntes de cursos anteriores sobre matemáticas discretas.
- Resuelve ejercicios de práctica sobre teoría de conjuntos y álgebra booleana.
- Consulta recursos en línea sobre lógica proposicional y de primer orden.
Leer 'Lógica para principiantes' de Paul Teller
Show steps
Proporciona una base sólida en los conceptos fundamentales de la lógica, lo que facilita la comprensión de los temas más avanzados del curso.
View
Renaissance Thought and its Sources
on Amazon
Show steps
- Lee los capítulos introductorios sobre lógica proposicional.
- Realiza los ejercicios al final de cada capítulo para verificar tu comprensión.
- Toma notas sobre los conceptos clave y las definiciones importantes.
Resolver ejercicios de lógica proposicional
Show steps
Refuerza la comprensión de la lógica proposicional mediante la resolución de ejercicios prácticos.
Show steps
- Encuentra una colección de ejercicios de lógica proposicional en línea.
- Resuelve al menos 10 ejercicios de diferentes niveles de dificultad.
- Verifica tus respuestas y analiza los errores cometidos.
Crear un mapa mental sobre lógica de primer orden
Show steps
Organiza y visualiza los conceptos clave de la lógica de primer orden para mejorar la comprensión y la retención.
Show steps
- Identifica los conceptos centrales de la lógica de primer orden.
- Crea un mapa mental que conecte estos conceptos de manera lógica.
- Revisa y refina el mapa mental para asegurar su claridad y precisión.
Implementar un solucionador SAT simple en Prolog
Show steps
Aplica los conocimientos de Prolog para resolver un problema práctico de lógica, como la satisfacción de fórmulas booleanas.
Show steps
- Investiga el algoritmo DPLL para la resolución de SAT.
- Escribe el código Prolog para implementar el algoritmo DPLL.
- Prueba el solucionador SAT con diferentes fórmulas booleanas.
- Optimiza el código para mejorar su eficiencia.
Consultar 'Programming in Prolog' de Clocksin y Mellish
Show steps
Profundiza en el lenguaje Prolog y aprende técnicas avanzadas de programación lógica.
View
Programming in Prolog: Using The Iso Standard
on Amazon
Show steps
- Lee los capítulos sobre listas, recursión y backtracking en Prolog.
- Realiza los ejercicios de programación propuestos en el libro.
- Experimenta con diferentes técnicas de programación para resolver problemas complejos.
Ayudar a otros estudiantes en el foro del curso
Show steps
Consolida tu conocimiento al explicar conceptos y resolver dudas de otros estudiantes.
Show steps
- Revisa el foro del curso regularmente.
- Responde a las preguntas de otros estudiantes de manera clara y concisa.
- Comparte tus conocimientos y experiencias con la comunidad del curso.
Career center
Profesor de Lógica
Analista de Inteligencia Artificial
Desarrollador de software
Ingeniero de Conocimiento
Investigador en Inteligencia Artificial
Científico de datos
Consultor de Inteligencia Artificial
Ingeniero de Inteligencia de Negocios
Arquitecto de software
Analista de Sistemas
Ingeniero de datos
Especialista en Ciberseguridad
Analista de riesgos
Ingeniero de Pruebas de Software
Analista de Marketing Digital
Reading list
Share
Similar courses
OpenCourser helps millions of learners each year. People visit us to learn workspace skills, ace their exams, and nurture their curiosity.
Our extensive catalog contains over 50,000 courses and twice as many books. Browse by search, by topic, or even by career interests. We'll match you to the right resources quickly.
Find this site helpful? Tell a friend about us.
We're supported by our community of learners. When you purchase or subscribe to courses and programs or purchase books, we may earn a commission from our partners.
Your purchases help us maintain our catalog and keep our servers humming without ads.
Thank you for supporting OpenCourser.
