Presentación

En la asignatura de Informática Teórica se busca que el alumno se inicie en cuestiones como la definición y programación de una máquina de Turing, los lenguajes recursivos, lenguajes recursivamente numerables y no recursivamente enumerables, los problemas indecidibles y los problemas intratables.

Es una asignatura de marcado carácter teórico, pero fundamental en la formación de un ingeniero informático, ya que el estudio de fondo de las máquinas de Turing (que pueden resolver el mismo tipo de problemas que cualquier computador) tiene interés por sí solo, pero además esta disciplina tiene aplicaciones evidentes en el campo de los traductores de lenguaje, en los que resulta necesario saber si una cadena dada pertenece a un lenguaje determinado o no.

La cuestión de los problemas intratables también es esencial para un ingeniero informático, ya que tienen aplicaciones en campos como la logística, criptografía, gestión de redes, gestión de transporte, etc. También se estudian otros problemas de la Teoría de la Complejidad Computacional y se termina el curso con una introducción a las redes neuronales artificiales.

Tema 1. Conceptos matemáticos utilizados

• Introducción a la lógica proposicional
• Teoría de relaciones
• Conjutnos numerables y no numerables

Tema 2. Lenguajes y gramáticas formales

• Introducción
• Lenguajes y gramáticas formales

Tema 3. Introducción a las máquinas de Turing

• Problema de decisión
• La máquina de Turing

Tema 4. Extensiones para las máquians de Turing

• Técnicas de programación para las máquinas de Turing
• Extensiones para las máquinas de Turing

Tema 5. Máquinas de Turing restringidas. Computadoras

• Máquinas de Turing restringidas
• Máquinas de Turing y computadoras

Tema 6. Indecibilidad

• Lenguaje no recursivamente enumerable
• Un prblema indecidible recursivamente enumerable

Tema 7. Otros problemas indecibles

• Problemas indecidibles para las máquinas de Turing
• Problema de correspondencia de Post (PCP)

Tema 8. Problemas intratables

• Las clases P y NP
• Un problema NP completo

Tema 9. Problemas intratables

• Problema de la satisfacibilidad restringido
• Otros problemas NP completos

Tema 10. Problemas co-NP y PS

• Complementarios de los lenguajes de NP
• Problemas resolubles en espacio polinómico
• Problemas PS completos

Tema 11. Clases de lenguajes basados en la aleatorización

• Modelo de la MT con aleatoriedad
• Las clases RP y ZPP
• Prueba de primalidad
• Complejidad de la prueba de primalidad

Tema 12. Otras clases y gramáticas

• Autómatas finitos probabilísticos
• Autómatas celulares
• Células de McCullogh y Pitts
• Gramáticas de Lindenmayer

Tema 13. Sistemas avanzados de cómputo

• Computación con membranas: sistemas P
• Computación con ADN
• Computación cuántica

 

Las actividades formativas de la asignatura se han elaborado con el objetivo de adaptar el proceso de aprendizaje a las diferentes capacidades, necesidades e intereses de los alumnos.

Las actividades formativas de esta asignatura son las siguientes:

• Casos prácticos. En la programación semanal, puedes consultar cuándo hacerlos y en el Aula virtual encontrarás toda la información sobre cómo desarrollarlos y cómo y cuándo entregarlos. 
  
• Participación en eventos. Son eventos programados todas las semanas del cuatrimestre: sesiones presenciales virtuales, foros de debate.

Descargar programación

Estas actividades formativas prácticas se completan, por supuesto, con estas otras:

• Estudio personal
• Tutorías. Las tutorías se pueden articular a través de diversas herramientas y medios. Durante el desarrollo de la asignatura, el profesor programa tutorías en días concretos para la resolución de dudas de índole estrictamente académico a través de las denominadas “sesiones de consultas”. Como complemento de estas sesiones se dispone también del foro “Pregúntale al profesor de la asignatura” a través del cual se articulan algunas preguntas de alumnos y las correspondientes respuestas en el que se tratan aspectos generales de la asignatura. Por la propia naturaleza de los medios de comunicación empleados, no existen horarios a los que deba ajustarse el alumno.
• Examen final online

Bibliografía básica

Recuerda que la bibliografía básica es imprescindible para el estudio de la asignatura. Cuando se indica que no está disponible en el aula virtual, tendrás que obtenerla por otros medios: librería UNIR, biblioteca...

Los textos necesarios para el estudio de la asignatura han sido elaborados por UNIR y están disponibles en formato digital para consulta, descarga e impresión en el aula virtual.

Además, en estos temas deberás estudiar la siguiente bibliografía:

Tema 1

Alfonseca, E., Alfonseca, M. y Moriyón, R. (2007). Teoría de autómatas y lenguajes formales. España: McGraw-Hill.

Disponible en la Biblioteca Virtual de UNIR.

Tema 2

Alfonseca, E., Alfonseca, M. y Moriyón, R. (2007). Teoría de autómatas y lenguajes formales. España: McGraw-Hill.

Disponible en la Biblioteca Virtual de UNIR.

Tema 3

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 4

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 5

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 6

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 7

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 8

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 9

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 10

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 11

Hopcroft, J.E., Motwani, R. y Ullman, J.D. (2008). Introducción a la teoría de autómatas, lenguajes y computación (3ª ed.). España: Addison-Wesley.

Disponible en la Biblioteca Virtual de UNIR.

Tema 12

Alfonseca, E., Alfonseca, M. y Moriyón, R. (2007). Teoría de autómatas y lenguajes formales. España: McGraw-Hill.

Disponible en la Biblioteca Virtual de UNIR.

Tema 13

Alfonseca, E., Alfonseca, M. y Moriyón, R. (2007). Teoría de autómatas y lenguajes formales. España: McGraw-Hill.

Disponible en la Biblioteca Virtual de UNIR.

 

El sistema de calificación se basa en la siguiente escala numérica:

0 - 5,9	Suspenso	(SS)
6 - 10	Aprobado	(AP)

• Escala de calificaciones. En las calificaciones definitivas el docente utilizará una escala numérica con un rango que va de cero (0) a diez (10), donde cero (0) es la nota más baja y diez (10) la más alta.
• Calificación reprobada. Una calificación total inferior a seis (6) en la suma de las actividades y el examen significará el suspenso de la materia.
• Evaluaciones parciales o continuas (60% de la nota final).
• Evaluación final (40% de la nota final).

Sistema de evaluación	PONDERACIÓN MIN-MAX
Participación del estudiante (sesiones y foros)	0%-60%
Trabajos (trabajos, laboratorios y casos prácticos)	0%-60%
Test de autoevaluación	0%-60%
Examen final online	40%-40%

Obviamente, al tratarse de formación online puedes organizar tu tiempo de estudio como desees, siempre y cuando vayas cumpliendo las fechas de entrega de actividades, trabajos y exámenes. Nosotros, para ayudarte, te proponemos los siguientes pasos:

1. Desde el Campus virtual podrás acceder al aula virtual de cada asignatura en la que estés matriculado y, además, al aula virtual del Curso de introducción al campus virtual. Aquí podrás consultar la documentación disponible sobre cómo se utilizan las herramientas del aula virtual y sobre cómo se organiza una asignatura en la UNIR y también podrás organizar tu plan de trabajo con tu tutor personal.
2. Observa la programación semanal. Allí te indicamos qué parte del temario debes trabajar cada semana.
3. Ya sabes qué trabajo tienes que hacer durante la semana. Accede ahora a la sección Temas del aula virtual. Allí encontrarás el material teórico y práctico del tema correspondiente a esa semana.
4. Comienza con la lectura de las Ideas clave del tema. Este resumen te ayudará a hacerte una idea del contenido más importante del tema y de cuáles son los aspectos fundamentales en los que te tendrás que fijar al estudiar el material básico. Consulta, además, las secciones del tema que contienen material complementario.
5. Dedica tiempo al trabajo práctico (sección Actividades y Test). En la programación semanal te detallamos cuáles son las actividades correspondientes a cada semana y qué calificación máxima puedes obtener con cada una de ellas.
6. Te recomendamos que participes en los eventos del curso (sesiones presenciales virtuales, foros de debate…). Para conocer la fecha concreta de celebración de los eventos debes consultar las herramientas de comunicación del aula vitual. Tu profesor y tu tutor personal te informarán de las novedades de la asignatura.

En el aula virtual del Curso de introducción al campus virtual encontrarás siempre disponible la documentación donde te explicamos cómo se estructuran los temas y qué podrás encontrar en cada una de sus secciones.

Recuerda que en el aula virtual del Curso de introducción al campus virtual puedes consultar el funcionamiento de las distintas herramientas del aula virtual: Correo, Foro, Sesiones presenciales virtuales, Envío de actividades, etc.