Clase de recuperación del 25 de junio del 2012

Chicos el salón de recuperación es el L12-16 de 6-8pm. Espero verlos allí.

Suspensión Clases Viernes 18 de mayo 2012

Debido a la situación actual en Caracas con La Planta (y las colas que ello genera). El día de mañana no habrá clase. Programaré las clases que faltan para el lunes o martes de la proxima semana y lo publicaré aquí.

Salones de Recuperación

Los salones para la recuperación de clases asignados son los siguientes.

  • Jueves 3 de mayo: L23-15, 6-8pm
  • Martes 8 de mayo: L23-17, 6-8pm
  • Jueves 10 de mayo: L23-15, 6-8pm

Fecha Primer Parcial

Lamentablemente debido al trafico de Caracas hoy, no pude llegar a clase. Por lo que decidí mover la fecha del parcial una semana para el día 11 de mayo.

Ya solicite tres clases de recuperacion (mañana jueves 3, el martes 8 y el jueves 10 todas de 6-8pm) para hacer repaso.

Estén pendientes pues publicaré los salones por esta vía.

Página de Tares agregada

Ya está publicada la pagina con las tareas. Cada una tendrá la fecha de entrega y será aproximadamente 1% de la nota final.

Notas Reparación 201122

Aquí están las notas del examen de reparación del lógica del viernes 15 de julio del 2011. El enlace les permitirá descargar una versión PDF cifrada del examen, para la clave envienme un correo.

Cédula Nota
21.116.775 11
23.944.028 05
20.364.188 03
20.098.468 03

Dudas Parcial II

  1. ¿Cuando en una derivada se necesita mas de una vez una variable se usa la regla de copia verdad ?
    • Depende de tu definición de “variable”. Según las reglas “oficiales” no.
    • Si la variable es para una formula del tipo ∀xβ(x) o ∃xβ(x) debe crearse la variable siguiendo las reglas para la introducción del existencial o el universal.
    • Pero si la “variable” es para una constante podría usarse SI Y SOLO SI lo que deseas lograr es algo como una introducción de la conjunción.
  2. ¿Cuando en una derivada se encuentra algo así ∃x¬∃y¬P(x) el “∃y” esta de más?
    • Si. Lo más recomendable es preguntar para estar seguro que sobra un existencial, en vez de ser un error de transcripción. En una derivadas lo más importante es que cada paso pueda justificarse de manera correcta.
  3. Cuando se dice “todos los informáticos son eficientes y geniales” es∀x [I (x) → E(x) ∧ G (x)]. Cuando se dice “existen informáticos eficientes y geniales” es ∃x[ I (x) ∧ E(x) ∧ G(x) ], ¿Si dijera “existen informáticos que son eficientes y geniales” sería con implicación ?
    • No.  La modelación sería igual que el segundo caso: ∃x[ I (x) ∧ E(x) ∧ G(x) ].
    • Para que la modelación resulte en una implicación, la frase original debería ser: “existe un informático que si es eficiente es genial”, lo cual resultaría en: ∃x[ I(x) ∧ (E(x) → G(x)) ].

    Exámenes de Lógica Computacional

    Ya están disponibles algunos de los exámenes de los semestres previos en la sección de Lógica Computacional.

    Por lo momentos solo uno está parcialmente resuelto, pero espero con el tiempo ir agregando más parciales y aportar algunas soluciones de los estudiantes que los presentaron.

    Bienvenidos

    En este espacio podran encontrar informaciones sobre topicos diversos.
    JG