Diplomado en Lógica Computacional
Diplomado
Online
Descripción
-
Tipología
Diplomado
-
Metodología
Online
-
Horas lectivas
150h
-
Duración
2 Meses
-
Inicio
Fechas disponibles
-
Campus online
Sí
-
Clases virtuales
Sí
Desarrolla tus habilidades y conocimientos en Lógica Computacional, con esta capacitación intensiva impartida por profesionales con amplia experiencia en el sector. Aprenderás los conocimientos avanzados en lógica proposicional, adentrándote en la semántica de la misma y en las principales aplicaciones de esta lógica, de un modo práctico y 100% online, con los mejores recursos didácticos.
Información importante
Documentación
- 108diplomado-logica-computacional.pdf
Sedes y fechas disponibles
Ubicación
comienzo
comienzo
Información relevante sobre el curso
Objetivos generales
Formar científica y tecnológicamente, así como preparar para el ejercicio profesional de la ingeniería informática, todo ello con una formación transversal y versátil adaptada a las nuevas tecnologías e innovaciones en este campo.
Obtener amplios conocimientos en el campo de la computación, la estructura de computadoras y en Lógica Computacional, todo ello incluyendo la base matemática, estadística y física imprescindible en una ingeniería.
Objetivos específicos
Módulo 1. Lógica Computacional
Aprender los fundamentos de la lógica computacional, para que sirve y su justificación de uso.
Conocer las distintas estrategias de formalización y deducción en la lógica proposicional, incluyendo el razonamiento natural, la deducción axiomática y la natural, así como las reglas primitivas del cálculo proposicional.
Adquirir los conocimientos avanzados en lógica proposicional, adentrándose en la semántica de la misma y en las principales aplicaciones de esta lógica, como son los circuitos lógicos.
El objetivo de esta capacitación es ofrecer a los profesionales de Informática, los conocimientos y habilidades necesarios para realizar su actividad utilizando los protocolos y técnicas más avanzados del momento. Mediante un planteamiento de trabajo totalmente adaptable al alumno, este Curso te llevará progresivamente a adquirir las competencias que te impulsarán hacia un nivel profesional superior.
Este Diplomado en Lógica Computacional contiene el programa científico más completo y actualizado del mercado.
Tras la superación de las evaluaciones por parte del alumno, éste recibirá por correo postal con acuse de recibo su correspondiente Título de Diplomado emitido por la TECH - Universidad Tecnológica.
El título expedido por la TECH - Universidad Tecnológica expresará la calificación que haya obtenido en el Diplomado, y reúne los requisitos comúnmente exigidos por las bolsas de trabajo, oposiciones y comités evaluadores carreras profesionales.
Título: Diplomado en Lógica Computacional
Nº Horas Oficiales: 150 h.
Nuestra escuela es la primera en el mundo que combina el estudio de casos clínicos con un sistema de aprendizaje 100% online basado en la reiteración, que combina 8 elementos diferentes que suponen una evolución con respecto al simple estudio y análisis de casos. Esta metodología, a la vanguardia pedagógica mundial, se denomina Relearning.
Nuestra escuela es la primera en habla hispana licenciada para emplear este exitoso método, habiendo conseguido en 2015 mejorar los niveles de satisfacción global (calidad docente, calidad de los materiales, estructura del curso, objetivos…) de los estudiantes que finalizan los cursos con respecto a los indicadores de la mejor universidad online en habla hispana.
Recibida su solicitud, un responsable académico del curso le llamará para explicarle todos los detalles del programa, así como el método de inscripción, facilidades de pago y plazos de matrícula.
En primer lugar, necesitas un ordenador (PC o Macintosh), conexión a internet y una cuenta de correo electrónico. Para poder realizar los cursos integramente ON-LINE dispone de las siguientes opciones: Flash - Instalando Flash Player 10 o posterior (http://www.adobe.com/go/getflash), en alguno de los siguientes navegadores web: - Windows: Internet Explorer 6 y posteriores, Firefox 1.x y posteriores, Google Chrome, Opera 9.5 y posteriores - Mac: Safari 3 y posteriores, Firefox 1.x y posteriores, Google Chrome - Linux: Firefox 1.x y posteriores HTML5 - Instalando alguno de los navegadores web: - Google Chrome 14 o posterior sobre Windows o Mac - Safari 5.1 o posterior sobre Mac - Mobile Safari sobre Apple iOS 5.0 o posterior en iPad/iPhone Apple iOS - Articulate Mobile Player; Apple iOS 5.0 o posterior en iPad.
Opiniones
Materias
- Lógica
- Computacional
- Informática
- Circuitos lógicos
- Lenguaje formal
Profesores
Docente Docente
Profesor
Temario
1.1. Justificación de la lógica.
1.1.1. Objeto del estudio de la lógica.
1.1.2. ¿Para qué sirve la lógica?
1.1.3. Componentes y tipos de razonamiento.
1.1.4. Componentes de un cálculo lógico.
1.1.5. Semántica.
1.1.6. Justificación de la existencia de una lógica.
1.1.7. ¿Cómo comprobar que una lógica es adecuada?
1.2. Cálculo de deducción natural de enunciados.
1.2.1. Lenguaje formal.
1.2.2. Mecanismo deductivo.
1.3. Estrategias de formalización y deducción para la lógica proposicional.
1.3.1. Estrategias de formalización.
1.3.2. El razonamiento natural.
1.3.3. Leyes y reglas.
1.3.4. Deducción axiomática y deducción natural.
1.3.5. El cálculo de la deducción natural.
1.3.6. Reglas primitivas del cálculo proposicional.
1.4. Semántica de la lógica proposicional.
1.4.1. Tablas de verdad.
1.4.2. Equivalencia.
1.4.3. Tautologías y contradicciones.
1.4.4. Validación de sentencias proposicionales.
1.4.5. Validación mediante tablas de verdad.
1.4.6. Validación mediante árboles semánticos.
1.4.7. Validación mediante refutación.
1.5. Aplicaciones de la lógica proposicional: circuitos lógicos.
1.5.1. Las puertas básicas.
1.5.2. Circuitos.
1.5.3. Modelos matemáticos de los circuitos.
1.5.4. Minimización.
1.5.5. La segunda forma canónica y la forma mínima en producto de sumas.
1.5.6. Otras puertas.
1.6. Cálculo de deducción natural de predicados.
1.6.1. Lenguaje formal.
1.6.2. Mecanismo deductivo.
1.7. Estrategias de formalización para la lógica de predicados.
1.7.1. Introducción a la formalización en lógica de predicados.
1.7.2. Estrategias de formalización con cuantificadores.
1.8. Estrategias de deducción para la lógica de predicados.
1.8.1. Razón de una omisión.
1.8.2. Presentación de las nuevas reglas.
1.8.3. La lógica de predicados como cálculo de deducción natural.
1.9. Aplicaciones de la lógica de predicados: introducción a la programación lógica.
1.9.1. Presentación informal.
1.9.2. Elementos del Prolog.
1.9.3. La reevaluación y el corte.
1.10. Teoría de conjuntos, lógica de predicados y su semántica.
1.10.1. Teoría intuitiva de conjuntos.
1.10.2. Introducción a la semántica de predicados.
Diplomado en Lógica Computacional