Logica intensionale del primo ordine

Logica intensionale del primo ordine (Zoran Majkic)

Titolo originale:

Intensional First-Order Logic

Contenuto del libro:

Questo libro introduce le proprietà delle estensioni conservative della logica del primo ordine (FOL) alla nuova logica del primo ordine intensionale (IFOL).

Questa estensione permette di utilizzare una semantica intensionale per i concetti, consentendo così nuovi e più intelligenti sistemi informatici. Nella misura in cui è conservativa, preserva le applicazioni software e costituisce un progresso fondamentale rispetto agli attuali database RDB, ai Big Data con NewSQL, ai database a vincoli, ai sistemi P2P e alle applicazioni del Semantic Web.

Inoltre, la versione multivariata di IFOL può supportare le applicazioni di intelligenza artificiale basate su logiche multivariate.

Altre informazioni sul libro:

ISBN:9783110994940
Autore:
Zoran Majkic
Editore:
De Gruyter
Lingua:inglese
Rilegatura:Copertina rigida

Acquisto:

Attualmente disponibile, in magazzino.

Lo compro!

Altri libri dell'autore:

Completamento e unificazione della meccanica quantistica con le idee di Einstein sulla GR - Parte I...
Nova Science Publishers Inc
Questo manoscritto, unico nel suo genere, presenta...
Completamento e unificazione della meccanica quantistica con le idee di Einstein sulla GR - Parte I - Completamento della MQ - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part I -- Completion of QM
Completamento e unificazione della Meccanica Quantistica con le idee di Einstein sulla GR - Parte II...
Nova Science Publishers Inc
La proposta di completamento della teoria della...
Completamento e unificazione della Meccanica Quantistica con le idee di Einstein sulla GR - Parte II - Unificazione con la GR - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part II -- Unification with GR
Logica intensionale del primo ordine - Intensional First-Order Logic
De Gruyter
Questo libro introduce le proprietà delle estensioni conservative della logica del primo ordine...
Logica intensionale del primo ordine - Intensional First-Order Logic
Teoria delle categorie - Category Theory
De Gruyter
Questo libro analizza la generazione delle categorie-freccia di una data categoria, che è un fenomeno fondante e distinguibile della...
Teoria delle categorie - Category Theory

Le opere dell'autore sono state pubblicate dai seguenti editori:

Nova Science Publishers Inc
De Gruyter

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)