Silabo Del Curso

UNIVERSIDAD NACIONAL DE TRUJILLO
SILABO DE TEORIA DE LA COMPUTACION

I. IDENTIFICACIN
1.1. Experiencia Curricular: TEORIA DE LA COMPUTACION
1.2. Facultad: FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS
1.3. Para estudiantes de la carrera: INFORMATICA
1.3.1. Sede: Trujillo
1.4. Calendario Acadmico: 2016-I
1.5. Ao/Ciclo Acadmico: 3
1.6. Cdigo de curso: 989
1.7. Seccin: A
1.8. Creditos: 4
1.9. Nmero de Rotaciones, veces que se desarrolla la experiencia curricular en el ao/ciclo acadmico: 1
1.10. Duracin por vez de rotacin (Nro. de Semanas/Días): 16
1.11. Extensin horaria:
1.11.1. Total de horas semanales: 6
- Horas Teora: 2
- Horas Prctica: 4
1.11.2. Total de Horas Ao/Semestre: 102
1.12. Organizacin del tiempo Anual/Semestral:
Tipo Total Unidad Semana/Día
Actividades Hs I II III Aplazado
- Sesiones Tericas 32 10 10 12 ---
- Sesiones Prcticas 52 16 16 20 ---
- Sesiones de Evaluacin 18 4 4 4 6
Total Horas 102 --- --- --- ---
1.13. Prerrequisitos:
- Cursos:
- MATEMATICA DISCRETA
- Creditos: No necesarios
1.14. Docente(s):
1.14.1. Coordinador(es):
Descripcin Nombre Profesin Email
Coordinador General Mg. PEDRO HUAMAN, LIZ Ingeniero Informtico lspedroh@gmail.com
SOFIA RAYMUNDA
1.14.2. Equipo Docente:
Descripcin Nombre Profesin Email
JOSE LUIS PERALTA PERALTA LUJAN, JOSE Ingeniero Informtico peraltalujan@gmail.com
LUJAN LUIS
II. FUNDAMENTACIN Y DESCRIPCIN
Las maquinas al ejecutar procesos computacionales son capaces de resolver cualquier problema
(solucionabilidad) mientras que un problema que no tenga solucin algortmica (problema indecidible), no
podr ser resuelto por una mquina. De este modo, cualquier limitacin de las capacidades de los procesos
computacionales, es tambin una limitacin de las capacidades de una mquina.
En este curso se tratar la Teora de Autmatas que est asociada a aspectos prcticos del procesamiento de
lenguajes y otras aplicaciones, la Teora de Computabilidad cuyo estudio tiene por finalidad determinar que
problemas pueden ser procesados por un computador. Esta ltima teora est muy relacionada con la
complejidad computacional bajo el enfoque de la Maquina de Turing.
III. APRENDIZAJES ESPERADOS
Al finalizar el curso los estudiantes deben lograr las siguientes competencias:
3.1 Comprende los principios bsicos de la Teora de la Computacin y su importancia.
3.2 Comprender y aplicar los principios de la Teora de Autmatas.
3.3 Comprender los principios de la Decibilidad de los problemas computacionales y su importancia.
IV. PROGRAMACIN
4.1. UNIDAD 1
4.1.1. Denominacin: Teora de la Computacin y Lenguajes Regulares
4.1.2. Inicio: 2016-04-01 Termino: 2016-05-06 Nmero de Semanas/Das: 5
4.1.3. Objetivos de Aprendizaje
Capacidades:
1. Entiende los conceptos bsicos de teora de la computacin, programas y proceso
Pg. 1
computacional.
2. Identifica y describe las reas de la Teora de la Computacin.
3. Analiza las diferencias entre programa monoltico, iterativo y recursivo.
4. Comprende y aplica los lenguajes regulares y autmatas finitos.
4.1.4. Desarrollo de la Enseanza-Aprendizaje:
Semana/D Actividades y Contenidos Docente Responsable
a
Semana/D Teora: PEDRO HUAMAN,
a1 Presentacin del Silabo del Curso LIZ SOFIA
Inicio: Introduccin a la Teora de la Computacin. Conceptos Bsicos. RAYMUNDA
2016-04-01 Prctica: PERALTA LUJAN,
Termino: Comprensin de Lectura. JOSE LUIS
2016-04-08 Laboratorio:
Ejercicios Propuestos.
a2 Programas: Monoltico, Iterativo y recursivo. Mquinas registradoras y LIZ SOFIA
Inicio: proceso computacional. RAYMUNDA
2016-04-11 Practica: PERALTA LUJAN,
Termino: Casos de estudio. JOSE LUIS
Ejercicios Propuestos usando C++.
a3 Lenguaje Regular: Conceptos bsicos, expresiones Regulares. LIZ SOFIA
Inicio: Autmatas Finitos: Autmata Finito Determinista. RAYMUNDA
Termino: Ejercicios Propuestos sobre Lenguajes regulares y autmatas. JOSE LUIS
Introduccin a JFLAP. Ejercicios usando JFLAP.
a4 Autmatas Finitos: Autmata Finito No Determinista. Aplicaciones. Lema del LIZ SOFIA
Inicio: Bombeo. RAYMUNDA
Termino: Ejercicios Propuestos sobre Lenguajes Regulares y autmatas. JOSE LUIS
Desarrollo de ejercicios usando JFLAP y C++.
Semana/D I Evaluacin Parcial PEDRO HUAMAN,
a5 Practica: LIZ SOFIA
Inicio: Asesora de Proyectos. RAYMUNDA
2016-05-02 Laboratorio: PERALTA LUJAN,
Termino: Asesoria de Proyecto de Curso. JOSE LUIS
2016-05-06
4.1.5. Evaluacin del Aprendizaje:

Semana/D Tcnica/Instrumento
a
Semana/D Diapositivas del Tema.
a1 Comprensin de Lectura.
Inicio: Listado de Ejercicios.
2016-04-01
Termino:
2016-04-08
a2 Listado de ejercicios.
Inicio: Practica de laboratorio.
2016-04-11
Termino:
2016-04-15
2016-04-18
Termino:
2016-04-22
Pg. 2

a4 Taller de ejercicios.
2016-04-25
Termino:
2016-04-29
Semana/D Evaluacin Parcial
a5
Inicio:
2016-05-02
Termino:
2016-05-06
4.2. UNIDAD 2
4.2.1. Denominacin: Lenguajes Libres de Contexto
Capacidades:
1. Identifica la aplicaciones de los autmatas de Pila.
2. Comprende y disea automtas de pila para dar solucin a problemas propuestos.
3. Comprende la Tesis de Church-Turing.
4. Comprende la Maquinas de Turing y sus variantes.
a
a6 Lenguajes Libres de Contexto: Introduccin. LIZ SOFIA
Inicio: Autmata de Pila Determinista y no determinista. RAYMUNDA
Termino: Comprensin de Lectura. JOSE LUIS
Desarrollo de ejercicios usando JFLAP.
a7 Lema del Bombeo para Lenguajes Libres de Contexto. LIZ SOFIA
Inicio: Aplicaciones de los Autmatas de Pila RAYMUNDA
Termino: Ejercicios sobre autmatas de pila. JOSE LUIS
a8 Tesis de Church-Turing: Computacin y las pruebas matemticas. LIZ SOFIA
Inicio: Mquinas de Turing Deterministas y no deterministas. RAYMUNDA
Termino: Ejercicios de autmatas de Pila. JOSE LUIS
Semana/D Variantes de las Mquinas de Turing PEDRO HUAMAN,
a9 Practica: LIZ SOFIA
Inicio: Ejercicios sobre maquinas de Turing RAYMUNDA
2016-05-30 Laboratorio: PERALTA LUJAN,
Termino: Desarrollo de ejercicios usando JFLAP. JOSE LUIS
2016-06-03
a 10 II Evaluacin Parcial. LIZ SOFIA
Inicio: Practica: RAYMUNDA
2016-06-06 Revisin de avance de Proyecto de Curso. PERALTA LUJAN,
Termino: Laboratorio: JOSE LUIS
2016-06-10 Revisin de avance de Proyecto de Curso.

a
Pg. 3

a6 Lectura seleccionada.
2016-05-09
Termino:
2016-05-13
a7 Ejercicios seleccionados.
2016-05-16
Termino:
2016-05-20
2016-05-23
Termino:
2016-05-27
2016-05-30
Termino:
2016-06-03
Semana/D Evaluacin Parcial.
a 10 Revisin del avance de proyectos.
Inicio:
2016-06-06
Termino:
2016-06-10
4.3. UNIDAD 3
4.3.1. Denominacin: Decidibilidad
Capacidades:
1. Define e identifica la importancia de la decidibilidad de los problemas computacionales.
2. Identifica las diferencias entre problemas decidibles e indecidibles.
3. Identifica y comprende los problemas computacionales decidibles y no decidibles tratados en
clase.
a
a 11 Decidibilidad de los problemas computacionales. LIZ SOFIA
2016-06-13 Comprensin de Lectura. PERALTA LUJAN,
2016-06-17 Ejercicios usando C++.
a 12 Problemas Decidibles relacionados con lenguajes regulares. LIZ SOFIA
2016-06-20 Casos de Estudio. PERALTA LUJAN,
a 13 Problemas indecidibles. LIZ SOFIA
2016-06-27 Casos de Estudio. PERALTA LUJAN,
2016-07-01 Ejercicios usando C++
a 14 Problemas Indecidibles. LIZ SOFIA
Pg. 4

2016-07-04 Comprensin de Lectura. PERALTA LUJAN,
a 15 El problema de la Parada. LIZ SOFIA
2016-07-11 Presentacin de Proyectos. PERALTA LUJAN,
2016-07-15 Presentacin de Proyectos.
a 16 III Evaluacin Parcial LIZ SOFIA
2016-07-18 Presentacin de proyectos. PERALTA LUJAN,
2016-07-22 Presentacin de proyectos.

a
a 11 Lectura seleccionada.
2016-06-13
Termino:
2016-06-17
a 12 Practica de laboratorio.
Inicio:
2016-06-20
Termino:
2016-06-24
a 13 Practica de laboratorio.
Inicio:
2016-06-27
Termino:
2016-07-01
a 14 Lectura seleccionada.
2016-07-04
Termino:
2016-07-08
a 15 Evaluacin de Proyectos.
Inicio:
2016-07-11
Termino:
2016-07-15
Semana/D Evaluacin Parcial
a 16 Evaluacin de Proyectos.
Inicio:
2016-07-18
Termino:
2016-07-22
4.4. APLAZADO
Semana/Da Tcnica/Instrumento
Semana/Da 17 Examen de Aplazado, evaluaciones pertimentes
del curso.
V. NORMAS DE EVALUACIN
Las normas son las siguientes:
Pg. 5
1) Base Legal: Reglamento de normas generales del sistema de evaluacin del aprendizaje de los
estudiantes de la Universidad Nacional de Trujillo.
2) Haber asistido al menos al 70% del desarrollo del curso, caso contrario el alumno ser inhabilitado.
3) Los promedios parciales correspondientes a cada unidad de aprendizaje, PU1, PU2 y PU3 est dada por
el promedio simple, sin redondeo, de las notas obtenidas en cada unidad. El examen parcial tiene peso dos.
4) La Nota Promocional, NP, se obtiene mediante la frmula siguiente:
NP = (PU1 + PU2 + PU3) / 3
donde: PUi =(2*EPi + LABi + PROY)/4
EPi : Evaluacin parcial de la unidad i
LABi: Promedio de la nota de laboratorio y nota de prcticas.
PROY: Nota de Proyecto de Curso.
5) Si NP es mayor o igual a 10.5 entonces el alumno es aprobado en la asignatura. Caso contrario, tendr
derecho a rendir su examen de aplazado el cual versar el contenido de todo el curso.
6) No se aceptar presentacin de trabajos (incluye laboratorios) fuera de la fecha establecida.
7) Es deber del alumno, asistir a todas las evaluaciones; en caso contrario su calificativo ser de CERO en
la respectiva evaluacin, salvo justificaciones solicitadas por escrito ante las autoridades pertinentes.
8) El alumno solamente tendr derecho a rezagar una evaluacin previa justificacin (salud o viaje) ante las
autoridades correspondientes.
9) La evaluacin de rezagados ser tomada antes de evaluar la tercera unidad, habiendo solamente un nica
fecha para tal evaluacin.
* Proyectos de Curso: Los grupos para el desarrollo de proyecto sern de 5 alumnos como mximo y para la
calificacin se considerara la presentacin del proyecto (informe y material de apoyo) y la sustentacin
(dominio del tema, facilidad de ejemplos, claridad de la exposicin y defensa ante preguntas).
VI. CONSEJERA/ORIENTACIN
Propsitos:
Apoyar a los alumnos a despejar dudas en lo relacionado con el curso.
Da:
Miercoles
Lugar:
Sala de Profesores
Horario:
11:00 AM a 01:00 PM
VII. BIBLIOGRAFA
[1] Bogart, K., Cliff, S. (2002), Discrete math in Computer Science, Dept. Of Mathematics and Computer
Science, Estados Unidos:Dartmouth College.
[2] Hopcroft, J.E., Motwani, R. and Ullman, J.D. (2007), Introduction to Automata Theory, Languages and
Computation (3ra ed.). Estados Unidos:Addison-Wesley.
[3] Cormen, T. H., Leiserson, C. E., Rivest, R. L. y Stein, C (2009). Introduction to Algorithms (3ra ed.).
Estados Unidos: Massachusetts Institute of Technology Press.
[4] Siper, M. (2013), Introduction to the Theory of Computation (3ra ed.). Estados Unidos: Cengage
Learning.
[5] Van Roy P. y Haridi S. (2009), Concepts, Techniques, and Models of Computer Programming,Estados
Unidos: The MIT Press.
El presente Silabo de la Experiencia Curricular "TEORIA DE LA COMPUTACION", ha sido Visado por el

Director de la ESCUELA ACADEMICO PROFESIONAL DE INFORMATICA, quien da conformidad al
silabo registrado por el docente PEDRO HUAMAN, LIZ SOFIA RAYMUNDA que fue designado por el jefe
del DEPARTAMENTO ACADEMICO DE INFORMATICA.
Pg. 6

Silabo Del Curso

Încărcat de

Informații document

Descriere originală:

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Silabo Del Curso

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD NACIONAL DE TRUJILLO

SILABO DE TEORIA DE LA COMPUTACION

4.1.5. Evaluacin del Aprendizaje:

Semana/D Diapositivas del Tema.

4.2.5. Evaluacin del Aprendizaje:

Semana/D Diapositivas del Tema.

Inicio: Practica: RAYMUNDA

4.3.5. Evaluacin del Aprendizaje:

El presente Silabo de la Experiencia Curricular "TEORIA DE LA COMPUTACION", ha sido Visado por el

S-ar putea să vă placă și