Return to home

07/24/12

111222 Lógica 

GRUPO  CCB02

TRIMESTRE 12P

 

Comentarios y sugerencias

cbarron@correo.azc.uam.mx

cbarron969@gmail.com

NOTAS:

Lista de calificaciones alumnos

Los que tienen calificación pasen por sus exámenes.

Debido a las muy bajas calificaciones, se va a aplicar una tarea examen de a lo mas 10 puntos para obtener 5 puntos (mas los puntos de su examen) para obtener una calificación aprobatoria.

En clase les explico los detalles.

 

Procedimiento para mejorar la calificación del primer examen.

de nueva cuenta va a proceder a escribir una tarea examen peor ahora puede elegir preguntas hasta por 10 puntos para obtener 5 puntos que se suman a la calificación de su examen anterior. Su elección de puntos es para obtener una calificación aprobatoria y una calificación de a lo mas 9 en el primer parcial.

Las preguntas que elija corresponderán a lo más con 10 puntos (se divide entre dos y este valor es el que se le suma a la calificación del examen).

Elija preguntas que no haya presentado o que las contesto incorrectamente (no debe elegir o repetir preguntas de su primer examen que hayan tenido calificación mayor a cero).

Deberá entregar su examen anterior y su tarea.

La calificación se otorgará solo si su tarea examen obtiene la totalidad de los puntos que presenta. Por ejemplo, Tiene 5 en su examen, puede seleccionar una solo una pregunta de 4 puntos o cuatro de un punto y si contesta todo correctamente, obtiene 2 puntos más. Por tanto su calificación será 7. Si tiene algún error en sus respuestas, para este ejemplo, la calificación se mantiene en 5.

El plazo de entrega es desde el martes 12 al próximo jueves 21 de junio de 2012, a la hora de la clase.

(Revise con cuidado y con lógica las reglas de esta opción para subir su calificación).

 

Martes

Clases: Martes y jueves de 11:30-13:00

Salón: E301

PDF UEA_LOGICA

Ya les entregué sus tareas, espero que les quede claro como califico.

Fechas de exámenes.

1er. examen parcial: jueves 31 de mayo de junio. Guía para el 1er examen parcial. Anexo conjuntos

1er. examen parcial: Elijan, de entre las dos guías, preguntas para sumar 20 puntos.

NOTAS:

bullet

El examen es individual. No cometa fraude, no copie de otro compañero o compañera.

bullet

Anote su nombre, matrícula y una cuenta de correo electrónico.

bullet

No considere la pregunta 13, ni sus incisos, de la Guía para el 1er examen parcial.

bullet

Los incisos de la pregunta 1 del anexo de conjuntos valen un punto cada uno.

bullet

Haga una lista de sus preguntas y escriba su valor y la suma (que debe ser exactamente 20 puntos). Mas o menos puntos o no hacer la lista de preguntas y la suma es NA.

bullet

Su examen lo entregará a más tardar a las 10:00 hrs. en mi oficina el miércoles 6 de junio.

Por favor difunda esta información entre sus compañeros. Pueden empezar su examen desde el momento que lea este mensaje y lo entregará a más tardar a las 10:00 hrs. en mi oficina el miércoles 6 de junio. No habrá clase el martes 5 de junio de 2012.

En las notas les dejo el material de Prolog para que lo instalen y empiecen a leer.

 

2do. examen parcial: jueves 21 de junio. Guía para el 2do examen parcial.

El 2do Examen es el martes 26 de junio de 2012. Habrá clase y examen.

 

Pueden obtener puntos extras si realizan programación en Prolog del tipo grafos, árbol familiar, palíndromos o autómatas (ejemplos de esto están en los libros que sugiero de Prolog).

 

3er. examen parcial: jueves 12 de julio.

¿Examen global: viernes 19 julio?

 

 

Tareas

  1. Resumen clase y tarea. Para la clase del martes 15 de mayo. Se entrega por equipos.

  2. Por favor estudien paradojas, Computabilidad, máquina de Turing, Teorema de Gödel y su relación con la indecibilidad y paradojas. Sugiero leer el primer capítulo del libro de Godel, Escher, Bach: Una eterna Trenza Dorada.

  3. Examen sorpresa de Computabilidad. Por favor comente sus dudas durante la clase del jueves 24 de mayo de 2012. No voy a recibir respuestas individuales, tienen que practicar y aprender a trabajar en grupos interdisciplinarios (y se empieza por equipos, ¿no?, vean los objetivos de su carrera).

  4. Por favor, lean la paradoja de conjuntos de B. Rusell.

  5. Propuesta de tarea para los temas del 2do examen parcial. Tiene tres partes 1) Repetir el examen pero cambiando a double o analizar que pasa con la multiplicación, cambiar a otros ejemplos y elegir otro lenguaje de programación o una calculadora. Es decir a tu criterio, repite el examen con ejemplos nuevos donde demuestres que entendiste los temas. 2) Construir ejemplos donde el cambio del orden de las operaciones puede dar diferencias de tamaño arbitrario desde muy pequeños a enormes. O realiza una investigación práctica del programa de donación o redondeo de los supermercados. 3) Escribe un ensayo nuevamente de su opinión de los exámenes (1ero y segundo) y si considera que la UEA de Lógica es importante para su carrera y formación profesional. Para que no divague mucho y centre su opinión, le transcribo los objetivos de su carrera y en los contenidos de los exámenes y que sea de a lo mas una cuartilla.

  6. Ya pueden mandarme sus propuestas por correo electrónico (con los nombres y matriculas de los proponentes), si desea hacer un proyecto en Prolog.

  7. Verificar la solución del 3er examen . Realice una revisión, proponga y resuelva ejercicios similares para entregar el lunes en mi oficina antes de las 17:00 hrs.

  8. El martes 17 de julio hay clase y se aplicará de nuevo el 3er examen.

  9. Solución 3er parcial 1 y 3er parcial 2.

  10. Solución Examen global del 24 de julio de 2012.

     

Bitácora de Clases

  1. Presentación curso, objetivos y forma de evaluación. Resumen clase y tarea.
  2. Conceptos. Lógica y Lenguaje Natural, Sintáctica, Pragmática y Semántica. Diagrama Objeto-Sujeto y Símbolo. Sistemas Formales, Marco, limites, Metalenguajes, uso, mención. Decibilidad, paradojas o bucles extraños.
  3. Breve introduccion a la maquina de Turing y al Teorema de la indecibilidad de la Computabilidad Turing. Notas de la Teoría Intuitiva de Conjuntos y la paradoja de conjuntos de B. Rusell.
  4. Proposiciones, operadores y cuantificadores, traducción de enunciados a formulas de proposiciones constantes y funcionales.
  5. Sistemas Formales, enumeración y Teorema Gödel. Sistemas Formales de la fórmulas de proposiciones.
  6. No habrá clase el martes 5 de junio de 2012, pero este día se entrega el 1er examen, lea arriba las instrucciones para el 1er. examen parcial.
  7. Introducción al razanomiento. Sintáctico y lógica demostrativa (Coherencia). Ejemplos de la Teoría Intuitiva de Conjuntos, demostraciones por vacuidad de la unicidad del conjunto vacío. Revisión de los ejercicios de conjuntos bajo el sistema formal de Sistema de la Proposiciones Bien Formadas de Primer orden (SPF del examen) y el Sistema de Teoría Intuitiva de Conjuntos. 
  1. Razonamiento e inferencia, construcción de enunciados mas complicados de proposiciones. El significado de las operaciones lógicas (tablas de verdad).
  2. Inferencia, esquemas clásicos, Modus Ponendo Ponens, doble negación, etc. (vea la guía del segundo examen). Equivalencia y tablas de verdad.
  3. 2do Examen.
  4. Solución del 2do examen.
  5. Cierre del curso.
  6. 3er Examen

 

 

Materiales de lectura y referencias

  1. Douglas Hofstadter, Godel, Escher, Bach: Una eterna Trenza Dorada, Consejo Nacional de Ciencia y Ternologia , ISBN968-823-118-5, 1982, México (para uso del curso)
  2. Clase 1, resumen clase y tarea.
  3. Una referencia a Sintáctica, Prágmantica y Semántica.
  4. Prolog, liga para bajar  SWI Prolog
  5. Prolog, A Tutorial Introduction, James Lu, Jerud J. Mead, Computer Science Department, Bucknell University, Lewisburg, PA 17387.
  6. Tutorial básico de programación en Prolog, "Curso Intermedio de programación en Prolog", Angel Fernández Pineda.
  7. Libros en la biblioteca de la UAMA de Prolog y de Lógica Mátematica.

 

Cursos

home

This site was last updated 07/24/12