UNIVERSIDAD NACIONAL DE TRUJILLO

SILABO DE LOGICA PARA COMPUTACION

I. IDENTIFICACIN 1.1. Experiencia Curricular: LOGICA PARA 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: 2013-II 1.5. Ao/Ciclo Acadmico: 2 1.6. Cdigo de curso: 980 1.7. Seccin: B 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 12 10 --- Sesiones Prcticas 52 16 20 16 --- Sesiones de Evaluacin 18 4 4 4 6 Total Horas 102 --------1.13. Prerrequisitos: - Cursos: No necesarios - Creditos: No necesarios 1.14. Docente(s): 1.14.1. Coordinador(es): Descripcin Nombre Profesin Email Coordinador General HERNANDEZ BRACAMONTE, ORLANDO MARTIN II. FUNDAMENTACIN Y DESCRIPCIN Lgica para la computacin es un curso de formacin profesional obligatorio, dentro de la curricula de la Escuela Acadmico Profesional de Ingeniera Informtica de la Facultad de Ciencias Fsicas y Matemticas, para los estudiantes del II Ciclo. El presente curso proporciona al estudiante de Ingeniera Informtica una manera formal de cmo inferir a partir de premisas. En el curso se expone un punto de vista diferente al tradicional, el cual puede ser implementado y utilizado dentro del rea de informtica. Al finalizar la asignatura, el estudiante debe ser capaz de plantear un problema con premisas (frmulas) para su anlisis e inferir a partir de estas premisas la solucin a dicho problema. III. APRENDIZAJES ESPERADOS Al finalizar la asignatura se espera que los estudiantes estn en condiciones de: 1. Comprender, identificar, resolver y aplicar conceptos fundamentales de la lgica matemtica. 2. Aplicar los conceptos estudiados en procesos de anlisis lgicos. 3. Aplicar la lgica para resolver o analizar problemas en el rea de especializacin. IV. PROGRAMACIN 4.1. UNIDAD 1 4.1.1. Denominacin: Lgica Proposicional 4.1.2. Inicio: 2013-08-19 Termino: 2013-09-21 Nmero de Semanas/Das: 5 4.1.3. Objetivos de Aprendizaje Al finalizar la unidad el alumno ser capaz de: 1.Entender que es una proposicin. 2.Entender que es una tautologa. 3.Utilizar la lgica proposicional en la solucin de un problema. 4.1.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D Actividades y Contenidos a

Pg. 1

UNIVERSIDAD NACIONAL DE TRUJILLO Semana/D a1 Inicio: 2013-08-19 Termino: 2013-08-24 Semana/D a2 Inicio: 2013-08-26 Termino: 2013-08-31 Semana/D a3 Inicio: 2013-09-02 Termino: 2013-09-07 Semana/D a4 Inicio: 2013-09-09 Termino: 2013-09-14 Semana/D a5 Inicio: 2013-09-16 Termino: 2013-09-21 Proposicin: fundamentos, disyuncin conjuncin.

Asignamiento, asignamiento apropiado.

Modelos, frmula satisfacible, vlida.

Equivalencia de Frmulas y formas normales.

Frmulas de Horn.

4.1.5. Evaluacin del Aprendizaje: Semana/D Tcnica/Instrumento a Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a1 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-08-19 Termino: 2013-08-24 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a2 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-08-26 Termino: 2013-08-31 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a3 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-09-02 Termino: 2013-09-07 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a4 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-09-09 Termino: 2013-09-14 Semana/D Solucin de problemas Tipo ensayo/Examen Escrito. Primer Examen a5 Parcial Inicio: 2013-09-16 Termino:

Pg. 2

UNIVERSIDAD NACIONAL DE TRUJILLO 2013-09-21 4.2. UNIDAD 2 4.2.1. Denominacin: Lgica Proposicional y Predicados 4.2.2. Inicio: 2013-09-23 Termino: 2013-11-02 Nmero de Semanas/Das: 6 4.2.3. Objetivos de Aprendizaje Al finalizar la unidad el alumno ser capaz de: 1.Entender que es un predicado. 2.Utilizar la lgica de predicados para la solucin de un problema. 4.2.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D Actividades y Contenidos a Semana/D Compacidad en lgica de proposiciones. a6 Inicio: 2013-09-23 Termino: 2013-09-28 Semana/D Principio de resolucin en la lgica proposicional. a7 Inicio: 2013-09-30 Termino: 2013-10-05 Semana/D Predicado: definicin. Validez a8 Inicio: 2013-10-07 Termino: 2013-10-12 Semana/D Satisfacibilidad, no satisfacibilidad de frmulas. Modelos a9 Inicio: 2013-10-14 Termino: 2013-10-19 Semana/D Formas Normales: Prenex (rectificada). a 10 Inicio: 2013-10-21 Termino: 2013-10-26 Semana/D Skolem y clausal. a 11 Inicio: 2013-10-28 Termino: 2013-11-02 4.2.5. Evaluacin del Aprendizaje: Semana/D Tcnica/Instrumento a Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a6 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-09-23 Termino: 2013-09-28 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a7 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-09-30

Pg. 3

UNIVERSIDAD NACIONAL DE TRUJILLO Termino: 2013-10-05 Semana/D a8 Inicio: 2013-10-07 Termino: 2013-10-12 Semana/D a9 Inicio: 2013-10-14 Termino: 2013-10-19 Semana/D a 10 Inicio: 2013-10-21 Termino: 2013-10-26 Semana/D a 11 Inicio: 2013-10-28 Termino: 2013-11-02

Evaluacin Formativa (participacin en clase, intervenciones orales, presentacin de ejercicios resueltos propuestos en clase o en las prcticas)

Evaluacin Formativa (participacin en clase, intervenciones orales, presentacin de ejercicios resueltos propuestos en clase o en las prcticas)

Evaluacin Formativa (participacin en clase, intervenciones orales, presentacin de ejercicios resueltos propuestos en clase o en las prcticas)

Solucin de problemas Tipo ensayo/Examen Escrito. Segundo Examen Parcial

4.3. UNIDAD 3 4.3.1. Denominacin: Resolucin en Lgica de Predicados 4.3.2. Inicio: 2013-11-04 Termino: 2013-12-07 Nmero de Semanas/Das: 5 4.3.3. Objetivos de Aprendizaje Al finalizar la unidad el alumno ser capaz de: 1.Determinar la no satisfacibilidad de frmulas y la validez de predicados. 2.Utilizar resolucin para determinar que una frmula es consecuencia de un conjunto de frmulas. 4.3.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D Actividades y Contenidos a Semana/D Teora de Herbrand. Sustitucin y unificacin. a 12 Inicio: 2013-11-04 Termino: 2013-11-09 Semana/D Unificacin. Resolvente de dos clausulas. a 13 Inicio: 2013-11-11 Termino: 2013-11-16 Semana/D Resolvente de un conjunto de frmulas. Resolvente de una frmula. a 14 Inicio: 2013-11-18 Termino: 2013-11-23 Semana/D Resolucin en Lgica de predicados. a 15 Inicio: 2013-11-25 Termino: 2013-11-30 Semana/D Resolucin: una frmula consecuencia de un conjunto de frmulas.

Pg. 4

UNIVERSIDAD NACIONAL DE TRUJILLO a 16 Inicio: 2013-12-02 Termino: 2013-12-07 4.3.5. Evaluacin del Aprendizaje: Semana/D Tcnica/Instrumento a Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a 12 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-11-04 Termino: 2013-11-09 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a 13 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-11-11 Termino: 2013-11-16 Semana/D Evaluacin Formativa (participacin en clase, intervenciones orales, a 14 presentacin de ejercicios resueltos propuestos en clase o en las Inicio: prcticas) 2013-11-18 Termino: 2013-11-23 Semana/D Solucin de problemas Tipo ensayo/Examen Escrito. Examen de a 15 Rezagados Inicio: 2013-11-25 Termino: 2013-11-30 Semana/D Solucin de problemas Tipo ensayo/Examen Escrito. Tercer Examen a 16 Parcial Inicio: 2013-12-02 Termino: 2013-12-07 4.4. APLAZADO Semana/Da Semana/Da 17 Tcnica/Instrumento Examen de Aplazado, evaluaciones pertimentes del curso.

V. NORMAS DE EVALUACIN 1. Base Legal: Reglamento de Normas Generales de Evaluacin del Aprendizaje de los Estudiantes de Pregrado de la Universidad Nacional de Trujillo. 2. Normas especficas en la Experiencia Curricular: 3. La evaluacin del aprendizaje en cada unidad se har a travs de un examen parcial, la presentacin y sustentacin de trabajos. Ui = (TRi+2*EPi)/3, i=1,2,3 EPi = Examen parcial por cada unidad TRi = Presentacin y sustentacin de los trabajos y/o prctica en cada unidad. 4. La nota promocional (NP) se obtiene de la siguiente manera: NP = (U1+U2+U3)/3 5. Los exmenes parciales sern escritos y comprendern todos los temas tratados desde el inicio del curso. 6. Las notas aprobatorias son de once (11) a veinte (20) y desaprobatorias menores que once. Slo en la obtencin de la nota promocional la fraccin mayor o igual a 0.5 ser considerada como un entero a favor del alumno. 7. Los exmenes de rezagados debern ser solicitados al Departamento de Matemticas con un mnimo de 24 horas de anticipacin a la hora fijada o ha lo ms 24 horas despus de haber sido rendida la evaluacin previa adecuada justificacin. 8. El estudiante que por causas debidamente justificadas hubiese rezagado una evaluacin deber rendirla

Pg. 5

UNIVERSIDAD NACIONAL DE TRUJILLO antes del tercer examen parcial. Si en esta oportunidad tampoco se presenta, el profesor le asignar la nota mnima de cero (00). 9. Los estudiantes que no registren evaluaciones parciales en el transcurso del semestre lectivo o registren ms del 30% de inasistencias sern considerados como INHABILITADOS en la asignatura. 10. Bajo ningn motivo se tomarn exmenes de recuperacin. 11. Los alumnos que desaprobaran en la nota promocional (menor a 10.5) tendrn derecho a rendir un examen de aplazados, el cual comprender sobre todo el curso, previa presentacin del recibo de pago por los derechos respectivos. 12. Para pasar a la evaluacin de aplazados, el estudiante debe haber participado por lo menos en los dos tercios del nmero total de evaluaciones programadas. VI. CONSEJERA/ORIENTACIN Propsitos: Absolver consultas referente a la asignatura y orientacin en la solucin de ejercicios y problemas. Estrategia de prestacin del servicio: Se atendern consultas en horarios programados y previos a cada clase. Da: mircoles Lugar: Oficina No. 29, 2do. piso del Pabelln de Matemticas Horario: 11am a 01pm. VII. BIBLIOGRAFA BSICA [1] Schning, Uwe. Logic for computer Scientists. Birkhauser, 1989. COMPLEMENTARIA [2] Ben Ari, M. "Mathematical Logic for Computer Science". Prentice Hall, Series in Computer Science, 1993. [3] Burris, S. "Logic for Mathematics and Computer Science". Prentice Hall, 1998. [4] Lloyd, J. W. "Foundations of Logic Programming", Springer Verlag, 1984. [5] Moreno, Alberto. "Lgica Matemtica. Antecedentes y Fundamentos". 3ra Edicin Eudeba, Buenos Aires 1981. [6] Nolt, John. "Theory and Problems of Logic". McGraw Hill. 1998. [7] Suppes, P. "Introduccin a la Lgica Matemtica". Editorial Revert, 2004. El presente Silabo de la Experiencia Curricular "LOGICA PARA COMPUTACION", ha sido Visado por el Director de la ESCUELA ACADEMICO PROFESIONAL DE INFORMATICA, quien da conformidad al silabo registrado por el docente HERNANDEZ BRACAMONTE, ORLANDO MARTIN que fue designado por el jefe del DEPARTAMENTO ACADEMICO DE MATEMATICAS.

Pg. 6