• español
    • English
    • français
    • português (Brasil)
  • español 
    • español
    • English
    • français
    • português (Brasil)
  • Login
Universidad de Los Andes

  • Inicio
  • Facultades
  • Unidades de Investigación
  • Investigadores
  • Revistas
  • Postgrados
  • Eventos
Ver ítem 
  •   SaberULA Repositorio Institucional de la Universidad de Los Andes, Mérida - Venezuela: Página Principal
  • Facultades
  • Facultad de Ingeniería
  • Guías de Estudio (Facultad de Ingeniería)
  • Curso de Lógica y Matemática
  • Ver ítem
  •   SaberULA Repositorio Institucional de la Universidad de Los Andes, Mérida - Venezuela: Página Principal
  • Facultades
  • Facultad de Ingeniería
  • Guías de Estudio (Facultad de Ingeniería)
  • Curso de Lógica y Matemática
  • Ver ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.

Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática

Thumbnail
Ver/
lm-u1.pdf (435.4Kb)
libro-texto.pdf (1.909Mb)
resumen.htm (3.145Kb)
Fecha
2003-01-17
Autor
Dávila, Jacinto
Palabras Clave
Lógica y Matemática, Lógica, Matemáticas, Computación, Simulación, Lógica proposicional, Lógica de predicados, Programación lógica, Teoría de prueba, Teoría de modelos, Reglas de resolución
Metadatos
Mostrar el registro completo del ítem
Compartir por...
| | |
Resumen
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: Revisión de material de apoyo y las láminas. Lectura del capitulo 1 del libro texto. Material de apoyo: Capítulo 1 del libro texto. Bitácoras y láminas de clase. Manual de PROLOG. SESIONES DE UNIDAD 01: Sesión 1: La lógica proposicional Descripción: Definimos el lenguaje de la lógica proposicional y discutimos sobre su expresividad. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: La lógica de predicados de primer orden. Descripción: Definimos el lenguaje de la lógica de predicados de primer orden. Conocemos de las reglas para razonar con ese lenguaje. Comentamos acerca de la expresividad alcanzada con el nuevo lenguaje. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un argumento no formal. Material de apoyo: Bitácoras y láminas de clase. Sesión 3: Fundamentos de la lógica computacional. Descripción: Discutimos los principios de la programación lógica. Conocemos los elementos de llamadas TEORIA DE PRUEBA y la TEORIA DE MODELOS que fundamental la lógica computacional. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un debate. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática
URI
http://www.saber.ula.ve/handle/123456789/16215
Colecciones
  • Curso de Lógica y Matemática
  • Curso de Lógica y Matemática
Información Adicional
Correo Electrónicojacinto@ula.ve
EditorSABER ULA

Ítems relacionados

Mostrando ítems relacionados por Título, autor o materia.

  • La lógica de la academia y las contradicciones con la lógica del poder: El caso venezolano y la revolución bolivariana. 

    Albornoz, Orlando; Jiménez, Elsi (SABER ULA, 2008-04-09)
  • 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 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 ...

Univesidad de Los Andes

  • Rectorado
  • Vicerectorado Académico
  • Vicerectorado Administrativo
  • Secretaría

Navegación por documentos

  • Por Fecha de Publicación
  • Por Autores
  • Por Títulos
  • Por Palabras Clave

Preguntas Frecuentes

  • ¿Cómo publicar?
  • ¿Cómo enviar o actualizar información?
  • ¿Cuál es la Licencia de Depósito de documentos en SaberULA?
  • ¿Qué es un Repositorio Institucional (RI)?
  • ¿Cómo obtengo RSS por tipo de documentos?

Ubícanos

  • emailsaber@ula.ve
  • +58-0274-240.23.43
  • Mérida - Venezuela

Síguenos

facebook  twitter   

Contacto | Sugerencias

Licencia Creative Commons Todos los documentos publicados en este repositorio se distribuyen bajo una
Licencia Creative Commons Atribución-NoComercial-CompartirIgual 3.0 Venezuela .

SaberULA Repositorio Institucional de la Universidad de Los Andes, Mérida, Venezuela 2018.

DSpaceDSpace software copyright © 2002-2016  DuraSpace.
Theme by  Atmire NV

 

 

Listar

Todo Saber-ULAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasEsta colecciónPor fecha de publicaciónAutoresTítulosMaterias

Mi cuenta

Acceder

Estadísticas

Ver Estadísticas de uso

Univesidad de Los Andes

  • Rectorado
  • Vicerectorado Académico
  • Vicerectorado Administrativo
  • Secretaría

Navegación por documentos

  • Por Fecha de Publicación
  • Por Autores
  • Por Títulos
  • Por Palabras Clave

Preguntas Frecuentes

  • ¿Cómo publicar?
  • ¿Cómo enviar o actualizar información?
  • ¿Cuál es la Licencia de Depósito de documentos en SaberULA?
  • ¿Qué es un Repositorio Institucional (RI)?
  • ¿Cómo obtengo RSS por tipo de documentos?

Ubícanos

  • emailsaber@ula.ve
  • +58-0274-240.23.43
  • Mérida - Venezuela

Síguenos

facebook  twitter   

Contacto | Sugerencias

Licencia Creative Commons Todos los documentos publicados en este repositorio se distribuyen bajo una
Licencia Creative Commons Atribución-NoComercial-CompartirIgual 3.0 Venezuela .

SaberULA Repositorio Institucional de la Universidad de Los Andes, Mérida, Venezuela 2018.

DSpaceDSpace software copyright © 2002-2016  DuraSpace.
Theme by  Atmire NV