Guías de Estudio producidas en Centro de Simulación y Modelos (CESIMO)

Novedades

Guías de Estudio (Centro de Simulación y Modelos (CESIMO))

Colecciones en esta comunidad

Envíos recientes

  • Curso de Lógica y Matemática 

    Dávila, Jacinto (SABER ULA, 2005-01-07)
    Curso de Lógica y Matemática Postgrado en Computación, Postgrado en Modelado y Simulación de Sistemas Nota: Para visualizar los documentos a texto completo necesita tener instalado el programa Adobe ...
  • Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 1: Introducción a la lógica matemática Descripción: Discutimos los fundamentos de la lógica proposional, la lógica de predicados y la regla de resolución. Actividades: ...
  • Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica? 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 0: ¿Por qué estudiamos lógica? Descripción: Discusión general acerca de el uso de la lógica en argumentación y en comunicación humana. Actividades: Revisar las bitácoras y ...
  • Curso de Lógica y Matemática - Unidad 2: Matemática discreta 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 2: Matemática discreta Descripción: Discutimos los conceptos fundamentales asociados con grafos, latices (reticulados) e inducción matemática. Actividades: Revisión de las ...
  • Curso de Lógica y Matemática - Introducción del curso 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Introducción del curso: Introducción del Curso: Este curso es acerca de un lenguaje: el lenguaje de la lógica. En la concepción tradicional, un lenguaje consiste de un ...
  • Curso de Lógica y Matemática - Datos del curso 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Datos del curso: Facultad: Ingeniería. Unidad Académica responsable: Centro de Investigación y Proyectos en Simulación y Modelos (CESIMO). Nombre de la Asignatura: Lógica y ...
  • Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 3: Semánticas de programas lógicos definidos Descripción: Conocemos los programas lógicos definidos y discutimos cómo otorgarles semánticas formales. Actividades: Revisar ...
  • Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 4: Negación en programación lógica Descripción: La semántica de la negación y el razonamiento no monótono en programación lógica. Actividades: Revisión del material de ...
  • Curso de Lógica y Matemática - Referencias 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Referencias Textos: Nilsson, U y Malusyznski, Jan. Logic, Programming and Prolog. 2nd Edition. 2000. Enlaces Importantes: Bratko, Ivan. Manual de Prolog. (Traducido por ...
  • Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional 

    Dávila, Jacinto (SABER ULA, 2003-01-17)
    Curso de Lógica y Matemática Unidad 5: Aplicaciones de la lógica computacional Descripción: Revisamos someramente algunas aplicaciones fundamentales de lógica computacional, entre las que se cuentan búsqueda ...