Diplomado en Lógica Computacional

Diplomado

Online

$ 635 IVA inc.

Descripción

  • Tipología

    Diplomado

  • Metodología

    Online

  • Horas lectivas

    150h

  • Duración

    2 Meses

  • Inicio

    Fechas disponibles

  • Campus online

  • Clases virtuales

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

Online

comienzo

Fechas disponiblesInscripciones abiertas

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.

Preguntas & Respuestas

Añade tu pregunta

Nuestros asesores y otros usuarios podrán responderte

¿Quién quieres que te responda?

Déjanos tus datos para recibir respuesta

Sólo publicaremos tu nombre y pregunta

Opiniones

Materias

  • Lógica
  • Computacional
  • Informática
  • Circuitos lógicos
  • Lenguaje formal

Profesores

Docente Docente

Docente Docente

Profesor

Temario

Módulo 1. Lógica Computacional


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

$ 635 IVA inc.