Diplomado en Informática Teórica
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í
Aprender los conceptos matemáticos teóricos esenciales tras la informática, como son la lógica proposicional, la teoría de conjuntos y los conjuntos numerables y no numerables, es fundamental para cualquier profesional informático que quiera
especializarse en Informática Teórica. En este curso conocerás las últimas novedades del sector y desarrollarás tus habilidades, de la mano de profesionales con amplia experiencia en el sector.
Información importante
Documentación
- 118diplomado-informatica-teorica.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 Informática Teórica, todo ello incluyendo la base matemática, estadística y física imprescindible en informática.
Objetivos específicos
Comprender los conceptos matemáticos teóricos esenciales tras la informática, como son la lógica proposicional, la teoría de conjuntos y los conjuntos numerables y no numerables.
Entender los conceptos de lenguajes y gramáticas formales, así como el de máquinas de Turing en sus distintas variantes.
Aprender sobre los distintos tipos de problemas indecibles y problemas intratables, incluyendo las distintas variantes de los mismos y sus aproximaciones.
Comprender el funcionamiento de las distintas clases de lenguajes basados en la aleatorización y otros tipos de clases y gramáticas.
El objetivo de esta formació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 Informática Teórica 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 Informática Teórica
Nº Horas Oficiales: 150
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
- Informática
- Clases P y NP
- Computación cuántica
- Computación con ADN
- Autómatas celulares
Profesores
Docente Docente
Profesor
Temario
1.1. Conceptos matemáticos utilizados
1.1.1. Introducción a la lógica proposicional
1.1.2. Teoría de relaciones
1.1.3. Conjuntos numerables y no numerables
1.2. Lenguajes y gramáticas formales e introducción a las máquinas de Turing
1.2.1. Lenguajes y gramáticas formales
1.2.2. Problema de decisión
1.2.3. La máquina de Turing
1.3. Extensiones para las máquinas de Turing, máquinas de Turing restringidas y computadoras
1.3.1. Técnicas de programación para las máquinas de Turing
1.3.2. Extensiones para las máquinas de Turing
1.3.3. Máquinas de Turing restringidas
1.3.4. Máquinas de Turing y computadoras
1.4. Indecibilidad
1.4.1. Lenguaje no recursivamente enumerable
1.4.2. Un problema indecidible recursivamente enumerable
1.5. Otros problemas indecibles
1.5.1. Problemas indecidibles para las máquinas de Turing
1.5.2. Problema de correspondencia de Post (PCP)
1.6. Problemas intratables
1.6.1. Las clases P y NP
1.6.2. Un problema NP completo
1.6.3. Problema de la satisfacibilidad restringido
1.6.4. Otros problemas NP completos
1.7. Problemas co-NP y PS
1.7.1. Complementarios de los lenguajes de NP
1.7.2. Problemas resolubles en espacio polinómico
1.7.3. Problemas PS completos
1.8. Clases de lenguajes basados en la aleatorización
1.8.1. Modelo de la MT con aleatoriedad
1.8.2. Las clases RP y ZPP
1.8.3. Prueba de primalidad
1.8.4. Complejidad de la prueba de primalidad
1.9. Otras clases y gramáticas
1.9.1. Autómatas finitos probabilísticos
1.9.2. Autómatas celulares
1.9.3. Células de McCullogh y Pitts
1.9.4. Gramáticas de Lindenmayer
1.10. Sistemas avanzados de cómputo
1.10.1. Computación con membranas: sistemas P
1.10.2. Computación con ADN
1.10.3. Computación cuántica
Diplomado en Informática Teórica