Lógica Intensional de Primer Orden

Lógica Intensional de Primer Orden (Zoran Majkic)

Título original:

Intensional First-Order Logic

Contenido del libro:

Este libro presenta las propiedades de las extensiones conservativas de la Lógica de Primer Orden (FOL) a la nueva Lógica Intensional de Primer Orden (IFOL).

Esta extensión permite utilizar una semántica intensional para los conceptos, lo que proporciona nuevos sistemas informáticos más inteligentes. En la medida en que es conservadora, preserva las aplicaciones informáticas y constituye un avance fundamental en relación con las actuales bases de datos RDB, Big Data con NewSQL, bases de datos de restricciones, sistemas P2P y aplicaciones de la web semántica.

Además, la versión multivaluada de IFOL puede soportar las aplicaciones de IA basadas en lógicas multivaluadas.

Otros datos del libro:

ISBN:9783110994940
Autor:
Zoran Majkic
Editorial:
De Gruyter
Idioma:inglés
Encuadernación:Tapa dura

Compra:

Actualmente disponible, en stock.

¡Lo compro!

Otros libros del autor:

Finalización y unificación de la Mecánica Cuántica con las ideas de Einstein sobre la RG - Parte I...
Nova Science Publishers Inc
Este manuscrito único presenta un enfoque novedoso...
Finalización y unificación de la Mecánica Cuántica con las ideas de Einstein sobre la RG - Parte I -- Finalización de la MQ - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part I -- Completion of QM
Finalización y unificación de la Mecánica Cuántica con las ideas de Einstein sobre la RG - Parte II...
Nova Science Publishers Inc
La finalización propuesta de la teoría QM, con las...
Finalización y unificación de la Mecánica Cuántica con las ideas de Einstein sobre la RG - Parte II -- Unificación con la RG - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part II -- Unification with GR
Lógica Intensional de Primer Orden - Intensional First-Order Logic
De Gruyter
Este libro presenta las propiedades de las extensiones conservativas de la Lógica de Primer Orden...
Lógica Intensional de Primer Orden - Intensional First-Order Logic
Teoría de categorías - Category Theory
De Gruyter
Este libro analiza la generación de las categorías flecha de una categoría dada, que es un fenómeno fundacional y distinguible de la Teoría...
Teoría de categorías - Category Theory

Las obras del autor han sido publicadas por las siguientes editoriales:

Nova Science Publishers Inc
De Gruyter

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)