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

  • Página inicial
  • Faculdades e escolas
  • Unidades de investigação
  • Pesquisadores
  • Revistas Eletrônicas
  • Pós-graduação
  • Eventos
Buscar 
  •   SaberULA Repositório Institucional da Universidad de Los Andes, Mérida - Venezuela: Página inicial
  • Facultades
  • Facultad de Ingeniería
  • Guías de Estudio (Facultad de Ingeniería)
  • Buscar
  •   SaberULA Repositório Institucional da Universidad de Los Andes, Mérida - Venezuela: Página inicial
  • Facultades
  • Facultad de Ingeniería
  • Guías de Estudio (Facultad de Ingeniería)
  • Buscar
JavaScript is disabled for your browser. Some features of this site may not work without it.

Buscar

Mostrar filtros avanzadosOcultar filttos avanzados

Filtros

Utilize filtros para refinar o resultado de busca.

Itens para a visualização no momento 1-10 of 11

  • Opção de ordenação:
  • Relevância
  • Título - crescente
  • Título - decrescente
  • Data de publicação - crescente
  • Data de publicação - decrescente
  • Resultados por página:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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: ...
Thumbnail

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 ...
Thumbnail

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 ...
Thumbnail

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 ...
  • 1
  • 2

Univesidad de Los Andes

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

Navegação de documentos

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

Perguntas frequentes

  • ¿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?

Localize-nos

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

Siga-nos

facebook  twitter   

Entre em contato | Deixe sua opinião

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

 

 

Navegar

Todo o Saber-ULAComunidades e ColeçõesPor data do documentoAutoresTítulosAssuntosEsta comunidadePor data do documentoAutoresTítulosAssuntos

Minha conta

Entrar

Discover

AutorDávila, Jacinto (10)AssuntoComputación (10)Guías de estudio (10)Lógica (10)Lógica y Matemática (10)Matemáticas (10)Simulación (10)Aristóteles (1)Centro de Simulación y Modelos (CESIMO) (1)Ciencias Computacionales (1)Facultad de Ingeniería (1)... Ver maisData de publicação2003 (9)2005 (1)Has File(s)Yes (10)

Univesidad de Los Andes

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

Navegação de documentos

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

Perguntas frequentes

  • ¿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?

Localize-nos

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

Siga-nos

facebook  twitter   

Entre em contato | Deixe sua opinião

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