Vous êtes sur la page 1sur 2

CRONOGRAMA DE AVANCE DE MATERIA GESTIN 2013 MATERIA: Lgica para ciencia de la computacin HORARIO: martes, jueves 16:00-18:00 DOCENTE:

: Germn Huanca T. SEMANA 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9 10 10 11 11 12 12 13 13 14 14 15 15 16 16 17 17 18 18 19 19 20 20 AVANCE Presentacin de la materia Cadenas lenguajes Lenguajes formales Introduccin al clculo proposicional Sintaxis del clculo proposicional Sintaxis del clculo proposicional Semntica del calculo propocional Semntica del calculo propocional Pruebas formales Algebra de boole Algebra de boole Sistema inferencial Sistema inferencial Ejercicios de temas avanzados 1er parcial Introduccin a la lgica de predicados Sintaxis del clculo de predicados Sintaxis del clculo de predicados Semntica del clculo de predicados Semntica del clculo de predicados Pruebas formales Sistema inferencial Sistema inferencial Corpus christi Otras lgicas Lgica temporal Lgica modal Lgica multivaluada Lgica borrosa Ejercicios de temas avanzados 2do parcial Lambda bsico Lambda tipado Ejercicios de temas avanzados Da del docente Examen final Solucin de examen Examen recuperatorio Publicacin de notas Entrega de notas SIGLA: INF-144 SEMESTRE:1/2013

AUXILIAR FECHA 5/02/2013 7/02/2013 14/02/2013 19/02/2013 21/02/2013 26/02/2013 28/02/2013 5/03/2013 7/03/2013 12/03/2013 14/03/2013 19/03/2013 21/03/2013 26/03/2013 28/03/2013 2/04/2013 4/04/2013 9/04/2013 11/04/2013 16/04/2013 18/04/2013 23/04/2013 25/04/2013 30/04/2013 2/05/2013 7/05/2013 9/05/2013 14/05/2013 16/05/2013 21/05/2013 23/05/2013 28/05/2013 30/05/2013 4/06/2013 6/06/2013 11/06/2013 13/06/2013 18/06/2013 20/06/2013 25/06/2013 OBSERVACION

CRONOGRAMA DE FECHA DE EXAMEN DE LA MATERIA GESTIN 2013 EXAMEN 1 2 3 4 AVANCE DE CAPITULOS 1er parcial 2do parcial Examen final Examen recuperatorio FECHA 28/03/2013 23/05/2013 11/06/2013 18/06/2013 OBSERVACION