← Volver al registro

Conceptos elementales de lógica informática

Nelson Becerra Correa

Universidad Distrital Francisco José de Caldas ·Colombia ·Español
Impreso ISBN 9789588782157

Licencia de minería de texto y datos

Declarado por la editorial el 30 julio 2026 a las 21:26:38 UTC

Uso no permitido para minería de datos y textos
Impreso 9789588782157 Reserva de derechos en la declaración de copyright (español, inglés y portugués)

El titular de derechos se reserva expresamente sus derechos de reproducción, extracción y reutilización para fines de minería de textos y datos (TDM) y de entrenamiento de modelos de inteligencia artificial, de conformidad con el Art. 4(3) de la Directiva (UE) 2019/790, el Art. 53(1)(c) del Reglamento (UE) 2024/1689 (AI Act), el Art. 13 del Acuerdo ADPIC/TRIPS de la OMC, la Decisión Andina 351 de 1993 y las leyes nacionales aplicables en los territorios de residencia del titular, de realización de la reproducción y/o comercialización del Large Language Model u otro tipo de IA resultante.

Esta reserva cubre toda reproducción digital de la obra con independencia del soporte de la copia de origen (impreso o digital) y es efectiva desde la fecha certificada de esta declaración.

En América Latina, donde no existe excepción legal para el entrenamiento de IA, esta declaración constituye evidencia pública de que el titular no ha otorgado autorización. En la Unión Europea, activa la reserva máquina-legible exigida por el Art. 4(3) CDSM y el Art. 53(1)(c) AI Act. En Estados Unidos, señaliza la existencia de un mercado de licencias TDM a efectos del factor 4 del análisis de fair use.

Cualquier uso de la obra para los fines aquí reservados requiere autorización previa y expresa del titular de derechos.

Sello de integridad

Declaración sellada
Sellado de tiempo (RFC 3161) TSA · 30 jul. 2026, 21:26:38 UTC
ISCC (ISO 24138) ISCC:AAARJZHV3UG4HPBM
Titular Universidad Distrital Francisco José de Caldas

Formatos

FormatoISBNRecordreferenceDOIAño
Impreso · ed. 1 9789588782157 SIMEHPRINT3HHFU6KK81IREN22PBK7 2012

Sobre esta obra

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental. Este texto está diseñado para abarcar el curso de Lógica Informática de la carrera de Ingeniería o Tecnología. Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.

Editorial

Universidad Distrital Francisco José de Caldas · Colombia

Año de publicación

2012

Idioma

Español