Pontificia Universidad Católica del Ecuador

Transcripción

1 1. DATOS INFORMATIVOS FACULTAD: INGENIERÍA CARRERA: SISTEMAS Asignatura/Módulo: CÁLCULO PROPOSICIONAL Y DE Código: 1400 PREDICADOS Plan de estudios: Nivel: Primero Prerrequisitos: Preparatorio Correquisitos: Período académico: N Créditos: 4 DOCENTE. Nombre: RAFAEL MELGAREJO HEREDIA Grado académico o título profesional: INGENIERO DE SISTEMAS INFORMÁTICOS Y DE COMPUTACIÓN Breve reseña de la actividad académica y/o profesional: Informática Indicación de horario de atención al estudiante: Lunes a Viernes: 11:00-1:00, Teléfono: DESCRIPCIÓN DEL CURSO Cálculo de Proposicional y de Predicados es parte del área de la Lógica y de la Matemática, que se encarga del estudio de los enunciados, las conectivas, las funciones y tablas de verdad y su simplificación, la lógica de enunciados como sistema axiomático y la lógica de enunciados como sistema de reglas de inferencia. 3. OBJETIVO GENERAL Desarrollar en el estudiante la capacidad para formular proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. 4. RESULTADOS DE Al finalizar el curso, el/a estudiante estará en capacidad de Nivel de desarrollo de los resultados de aprendizaje RdA.S.1. Aplicar modelos matemáticos para la Medio resolución de problemas, considerando el orden y la precisión. RdA.S.2. Emplear herramientas computacionales de Inicial cálculo numérico y simbólico, aplicando análisis matemático. RdA.S.3. Solucionar problemas aplicando el Inicial Inicial / Medio / Alto

2 razonamiento lógico, con algoritmos y procedimientos adecuados. RdA.S.4. Analizar el comportamiento de procesos complejos, determinísticos y estocásticos, mediante el enfoque de sistemas, el método científico y la estadística. RdA.S.23. Aplicar las habilidades escritas y orales durante toda la carrera y en ejercicio de la profesión, empleando reglas de la lengua materna. RdA.S.27. Manejar redes sociales con una comunicación permanente y respetuosa, con principios y valores cristianos. RdA.S.30. Demostrar responsabilidad, eficiencia y eficacia en el cumplimiento de los deberes y trabajos, de acuerdo a los compromisos asumidos para alcanzar metas establecidas. Inicial Medio Inicial Inicial

3 . RELACIÓN, ESTRATEGIAS DIDÁCTICAS Y RESULTADOS DE (UNIDADES Y TEMAS) ESTRATEGIAS DE ENSEÑANZA - RESULTADOS DE CAPÍTULO 1.- CONJUNTOS, RELACIONES Y MAPEOS: 1. Introducción y Notación 2. Conjuntos especiales 3. Combinación de conjuntos 4. Álgebra de Conjusntos. Relaciones y Mapeos 6. Relación Subconjunto CAPÍTULO 2.- ALGEBRAS BOOLEANAS 1. Definición 2. Dualidad 3. Funciones booleanas 4. Minimización de fb.. Aplicaciones a circuitos de distribución 1 y 2 3 y Consultar base teórica Realizar ejercicios prácticos 16h Clase magistral dialogada. Trabajo individual Búsqueda y análisis de información. Talleres de solución de problemas RdA.S.3. Solucionar problemas aplicando el razonamiento lógico, con algoritmos y procedimientos adecuados. Consulta individual de base conceptual Ejercicios subidos y compartidos en Internet,0,0

4 (UNIDADES Y TEMAS) ESTRATEGIAS DE ENSEÑANZA RESULTADOS DE CAPITULO 3.- EL CÁLCULO PROPOSICIONAL 1. Notación y conceptos básicos 2. Fórmulas bien formadas 3. Tablas de verdad 4. Argumentación y evaluación. Equivalencia lógica 6. Formas normales CAPITULO 4.-VECTORES BINARIOS 1. Conjuntos 2. Lógica 3. Números y 6 7 y 8 8 h 8 8 Consultar base teórica Realizar ejercicios prácticos Búsqueda y análisis de información. Clase magistral dialogada. Estudio individual Realización de ejercicios RdA.S.1.Aplicar modelos matemáticos para la resolución de problemas, considerando el orden y la precisión. Consulta individual de conceptos básicos Ejercicios resueltos y compartidos en internet

5 (UNIDADES Y TEMAS) ESTRATEGIAS DE ENSEÑANZA - RESULTADOS DE CAPITULO.- ALGORITMOS 1. Métodos de resolución de problemas 2. Descripciones de algoritmos 3. Algoritmos de Markov 4. Problemas del castor laborioso y la parada. Problema del profesor y tópicos estudiados CAPITULO 6.-CÁLCULO DE PREDICADOS DE PRIMER ORDEN 1. Definiciones 2. Variables libres y ligadas 3. Validez y satisfactibilidad 4. Determinación de valores de verdad. Axiomas y teoremas 9 y y 12 Investigación bibliográfica y multimedia sobre algoritmos Realización de ejercicios de algoritmos Realización de ejercicios de cálculo de predicados Elaboración de un código para cálculo de predicados Búsqueda y análisis de información. Clase magistral dialogada. Estudio individual Realización de ejercicios RdA.S.4. Analizar el comportamiento de procesos complejos, determinísticos y estocásticos, mediante el enfoque de sistemas, el método científico y la estadística. RdA.S.2. Emplear herramientas computacionales de cálculo numérico y simbólico, aplicando análisis matemático.. Ejercicios resueltos y compartidos en internet Algoritmo y programa realizado en computador

6 (UNIDADES Y TEMAS) ESTRATEGIAS DE ENSEÑANZA - RESULTADOS DE CAPITULO 7.- ESTRUCTURA DE LA COMUNICACIÓN DISCURSIVA Y FUNCIONES DEL LENGUAJE 1. Las tres funciones básicas del lenguaje 2. El discurso que cumple función múltiple 3. Las formas del discurso CAPITULO 8.TIPOS DE ACUERDO Y DESACUERDO 1. Definiciones 2. Tipos 10, Investigación bibliográfica acerca de discurso Trabajo individual Lectura de un libro Desarrollo de un discurso. Actuación en taller Comparación de fuentes bibliográficas Clase magistral dialogada Taller comparativo RdA.S.23. Aplicar las habilidades escritas y orales durante toda la carrera y en ejercicio de la profesión, empleando reglas de la lengua materna. Ejercicios resueltos y compartidos en internet Discurso elaborado y compartido en internet

7 UNIDADES Y TEMAS) ESTRATEGIAS DE ENSEÑANZA - RESULTADOS DE CAPÍTULO 9.- EXTRACCIÓN DE LA ESTRUCTURA LÓGICO- SINTÁCTICA DE PÁRRAFOS CONSISTENTES EN UN ARGUMENTO CARENTE DE CUANTIFICACIÓN 1. Conceptos 2. Método de extracción 13 y 14 Investigación bibliográfica sobre conceptos Clase magistral dialogada Investigación bibliográfica sobre diferentes métodos de extracción Comparación de fuentes bibliográficas Clase magistral dialogada Ejercicios RdA.S.30. Demostrar responsabilidad, eficiencia y eficacia en el cumplimiento de los deberes y trabajos, de acuerdo a los compromisos asumidos para alcanzar metas establecidas. Ejercicios resueltos y compartidos en internet CAPÍTULO 10.- ESTRUCTURA LÓGICO-SINTÁCTICA DE PÁRRAFOS CON UN ARGUMENTO SIN CUANTIFICADORES 1. Conceptos 2. Estructura lógica-sintática 3. Simbolización 1,16 Ejercicios Discurso elaborado y compartido en internet

8 6. METODOLOGÍA Y RECURSOS: 6.1. Metodología a. La metodología de enseñanza aprendizaje del curso contempla: clases magistrales para impartir conceptos y la base teórica de los temas, lecciones individuales, talleres en clases en equipo para insertar la interacción social, trabajos en grupo, o en parejas o individuales para desarrollar competencias internas. b. Sobre la base de los contenidos generales el profesor envía consultas diarias a los estudiantes acerca de conceptos y hechos que permitan desarrollar la siguiente clase. c. Talleres participativos de análisis y planificación Recursos a. Bibliografícos: biblioteca de la PUCE y otras b. Hipertextos, Videos: Internet c. Computador, enlace a internet, programas de desarrollo web y winproject d. Pizarrón, tiza líquida, borrador 7. EVALUACIÓN: TIPO DE EVALUACIÓN CRONOGRAMA CALIFICACIÓN 1. PARCIAL DGA 1 2. PARCIAL DGA 1 EXAMEN FINAL DGA 20 INICIO DE : FIN DE : FIN SEMESTRE: Cronograma DGA Cronograma DGA Cronograma DGA 8. BIBLIOGRAFÍA: a. BÁSICA Bibliografía (Normas APA) DEAÑO, Alfredo, Introducción a la lógica formal, Alianza, Madrid KORFHAGE, Robert, Lógica y Algoritmos. Limusa, México BETH, E.W, Implicación semántica y derivabilidad formal. México : Universidad Nacional Autónoma de México. AÑO Disponible en Biblioteca a la fecha? N Ejemplares 1996 Sí Sí Sí 1

9 b. COMPLEMENTARIA Bibliografía (Normas APA) BUNGE, Mario, La Investigación Científica. Ariel, Barcelona, España c. RECOMENDADA Bibliografía (Normas APA) CEREZO, Emilio, Desarrollo del Pensamiento Apuntes, PUCE, Quito AÑO Disponible en Biblioteca a la fecha? N Ejemplares 1992 Sí 2 AÑO Disponible en Biblioteca a la fecha? 2008 Sí 1 N Ejemplares d. BIBLIOTECAS VIRTUALES Y SITIOS WEB RECOMENDADOS Wikipedia, Revisado: f) Coordinación de Docencia fecha: Aprobado: f) Decano fecha: Por el Consejo de Facultad fecha: