"Monseñor Juan Larrea Holguín"
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Programación Lógica \ Teoría y práctica \ Pascual Julián Iranzo \ María Alpuente Frasnedo

By: Material type: TextTextPublisher: Madrid : Pearson Educación S.A. 2007 Edition: 1Description: 470 PContent type:
  • texto
Media type:
  • no mediado
Carrier type:
  • volumen
ISBN:
  • 9788483223680
Subject(s): DDC classification:
  • 004 Ir16
Contents:
1. Una panorámica de la Programación Declarativa 2. Sistemas Formales, Lógica y Lenguajes de Programación 3. De la Demostración Automática a la Pogramación Lógica (I). Introducción y métodos semánticos 4. De la Demostración Automática a la Programación Lógica (II). El principio de resolución de Robinson 5. Programación Lógica 6. El lenguaje Prolog. Introducción 7. El lenguaje Prolog. Aspectos avanzados 8. Representación del conocimiento 9. Resolución de problemas 10. Programación Lógica y Tecnología Software Rigurosa A. Fundamentos y Notaciones Matemáticas
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Notes Date due Barcode
Libros Libros Biblioteca UHEMISFERIOS TECNOLOGÍA 004 Ir16 (Browse shelf(Opens below)) Ej.1 Available Acervo General de Libros 20601

P. 453

1. Una panorámica de la Programación Declarativa 2. Sistemas Formales, Lógica y Lenguajes de Programación 3. De la Demostración Automática a la Pogramación Lógica (I). Introducción y métodos semánticos 4. De la Demostración Automática a la Programación Lógica (II). El principio de resolución de Robinson 5. Programación Lógica 6. El lenguaje Prolog. Introducción 7. El lenguaje Prolog. Aspectos avanzados 8. Representación del conocimiento 9. Resolución de problemas 10. Programación Lógica y Tecnología Software Rigurosa A. Fundamentos y Notaciones Matemáticas

Español

There are no comments on this title.

to post a comment.
REGLAMENTO DE BIBLIOTECA

HORARIO DE ATENCIÓN

Lunes a viernes
8:00 am a 8:00 pm

MISIÓN

La misión de la Biblioteca es la de seleccionar, procesar, actualizar, recuperar, preservar, distribuir y gestionar eficazmente los diferentes recursos de la información.
Satisfacer eficientemente los requerimientos de información de la comunidad universitaria. Promover su difusión y colaborar en los procesos de creación del conocimiento en concordancia con la misión, la visión y los objetivos de la Institución.

PROCESO PARA PRESTACIÓN DE LIBROS

Acércate a Biblioteca y solicita o busca el libro que necesitas.
Acércate a la estación de trabajo y presenta tu carnet institucional para realizar el préstamo.


ACLARACIONES

  • El ejemplar en préstamo debe ser devuelto en las mismas condiciones en las que fue entregado.
  • En caso de devolver el libro fuera de la fecha de entrega registrada, se cobrará $1 por cada día de retraso.

Bases de Datos bajo Suscripción

X

Las Bases de Datos constituyen un amplio recurso de consulta de los investigadores y estudiantes sobre una variada y actualizada información de las diferentes comunidades académicas del mundo.


Biblioteca - fielweb

FIELWEB (Base de datos legal): Ingresa a la Base de Datos a través del ECampus con tu usuario y contraseña institucional.

Link: ECampus

Biblioteca - Emis

EMIS: Portal actualizado de análisis, datos y noticias sobre empresas, industrias y países.

Comunícate con la Biblioteca para obtener el usuario y constraseña

SCOPUS: Scopus es una base de datos bibliográfica y una herramienta de investigación que ofrece acceso a literatura académica revisada por pares, incluyendo artículos de revistas científicas, conferencias y libros.

Link: ECampus

Gale Research Complete Es una extensa colección de fuentes primarias y secundarias con una amplia gama de disciplinas y campos de estudio. Incluye revistas académicas, periódicos globales, libros electrónicos de referencia, imágenes, podcasts, videos, y fuentes literarias. Desde 1256 hasta hoy, proporciona información de alta calidad y autoridad para usuarios académicos en todos los niveles y áreas de interés

Link: Gale Research Complete

Pearson Education Colección de ebooks educativos diseñados para apoyar el aprendizaje y el desarrollo académico en diversas disciplinas.

Link: ECampus

Cerrar

Bases de Datos Abiertas

X

Cobuec

Consorcio de Bibliotecas Universitarias de Ecuador

LOC

Library of Congress

CERVANTES VIRTUAL

Biblioteca Virtual Miguel de Cervantes

SCIELO

Colecciones de Libros y Revistas

Derecho Ecuador

Enfocado al estudio y análisis de los amplios campos del Derecho.

BNC

Biblioteca Nacional de Colombia

Internet Archive

Biblioteca sin fines de lucro de millones de contenidos como libros, películas, software, música de acceso abierto.

DADUN

DADUM es el depósito institucional destinado a reunir, conservar y  difundir a través del acceso abierto los documentos

Clacso

Red de bibliotecas virtuales del Consejo Latinoamericano de Ciencias Sociales, América y el Caribe.

Estudios, investigaciones e indicadores

Estudios e Investigaciones del SRI. Accede a contenido sobre gasto tributario, Radiografía Económica y Social, Presión fiscal e índices de Actividades empresariales; además de libros y revistas relacionados.

Defensoría del Pueblo

Biblioteca digital de la Defensoría del Pueblo.

ERIC (Education Resources Information Center)

Es una base de datos bibliográfica y de texto completo, fácil de usar y que permite realizar búsquedas, sobre investigación e información sobre diversos temas.

Cerrar

Gestores Bibliográficos

X

Programas para apoyo a trabajos de investigación que permiten automatizar, gestionar, crear, mantener y organizar las referencias bibliográficas.


Zotero

Zotero es una herramienta gratuita y fácil de usar para ayudarte arecopilar, organizar, citar y compartir investigaciones.

Guía de uso Zotero

Mendeley

Mendeley es un gestor bibliográfico, un lector de PDF, un sistema para almacenar y organizar documentos, un buscador de información científica

Guía de uso Mendeley

Cerrar

Recursos Educativos Abiertos

X

Los Recursos Educativos Abiertos (REA) se refieren a cualquier recurso educativo (mapas, materiales de curso, libros, artículos, videos, aplicaciones, podcasts y cualquier otro material de aprendizaje) disponible con acceso abierto sin que haya necesidad de pagar suscripciones o derechos de uso.


Bibliografía de libros de texto gratuitos en acceso abierto

Artículos de investigación / Libros de texto (GENERAL)

MERLOT

Artículos de investigación / Libros de texto / Cursos (GENERAL)

Memrise

Apps movil con más de 300.00 cursos de idiomas y otros (IDIOMAS)

UK Open Textbooks

Iniciativa británica de libros de texto en acceso abierto

LibreTexts

Plataforma de libros de texto y recursos educativos abiertos a nivel universitario completamente gratuitos. (GENERAL)

OpenEd

Libros de texto abiertos (GENERAL)

OER Commons

Una biblioteca pública digital con más de 100.000 recursos educativos abiertos (EDUCACIÓN)

Milne Open Textbooks

Textbooks: Recursos Educativos Abiertos (EDUCACIÓN)

Procomún

Red de recursos educativos abiertos (EDUCACIÓN)

OER Knowledge Cloud

Portal de recursos educativos abiertos de la Unesco (GENERAL)

K-12 OER

Plataforma para compartir Recursos Educativos Abiertos de Inglés y Matemáticas para escuelas (EDUCACIÓN)

Amazon Education

Una plataforma para encontrar Recursos Educativos Abiertos (EDUCACIÓN)

Openstax

Libros educativos abiertos (EDUCACIÓN)

Floe Project

aprendizaje flexible para la educación abierta (EDUCACIÓN)

Chat PDF

Herramienta de Inteligencia Artificial que permite analizar el contenido de documentos PDF

Research Rabbit

Plataforma online creada para buscar artículos de revistas académicas y artículos relacionados

ATLAS.TI

Herramienta para el análisis cualitativo de datos de texto, audio, imágenes o video

Humata

Plataforma de preguntas y respuestas impulsada por IA para analizar y desarrollar tus documentos de investigación

CROSSREF

Herramienta de búsqueda bibliográfica

ELICIT

Asistente de investigación que utiliza modelos de lenguaje como GPT-3 para automatizar partes de los flujos de trabajo de los investigadores

lens.org

Servicio de búsqueda de patentes y literatura académica y científica

Cerrar

Adquisiciones

X

Para solicitar la adquisición de material para Biblioteca, debes llenar el formulario adjunto y remitirlo a Coordinación de biblioteca:


[email protected]

[email protected]

Formulario Adquisición de Libros
Cerrar

Formatos de Titulación

X

Instructivo de Titulación PREGRADO

Formato de Titulación Instructivo

Instructivo de titulación POSGRADO

Formato Tesis Instructivo

Normas APA

PDF
Cerrar