Logica intensională de ordinul întâi

Logica intensională de ordinul întâi (Zoran Majkic)

Titlul original:

Intensional First-Order Logic

Conținutul cărții:

Această carte prezintă proprietățile extensiilor conservatoare ale logicii de prim ordin (FOL) la noua logică intensională de prim ordin (IFOL).

Această extensie permite utilizarea unei semantici intensionale pentru concepte, oferind astfel sisteme informatice noi și mai inteligente. În măsura în care este conservatoare, ea păstrează aplicațiile software și constituie un progres fundamental în raport cu bazele de date RDB actuale, Big Data cu NewSQL, bazele de date cu constrângeri, sistemele P2P și aplicațiile web semantice.

În plus, versiunea cu multe valori a IFOL poate sprijini aplicațiile IA bazate pe logici cu multe valori.

Alte date despre carte:

ISBN:9783110994940
Autor:
Editura:
Limbă:engleză
Legare:Copertă dură

Cumpărare:

Disponibil în prezent, pe stoc.

Alte cărți ale autorului:

Completarea și unificarea mecanicii cuantice cu ideile GR ale lui Einstein - Partea I -- Completarea...
Acest manuscris unic prezintă o nouă abordare a MQ...
Completarea și unificarea mecanicii cuantice cu ideile GR ale lui Einstein - Partea I -- Completarea mecanicii cuantice - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part I -- Completion of QM
Completarea și unificarea mecanicii cuantice cu ideile RG ale lui Einstein - Partea II -- Unificarea...
Completarea propusă a teoriei MQ, cu noile ecuații...
Completarea și unificarea mecanicii cuantice cu ideile RG ale lui Einstein - Partea II -- Unificarea cu RG - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part II -- Unification with GR
Logica intensională de ordinul întâi - Intensional First-Order Logic
Această carte prezintă proprietățile extensiilor conservatoare ale logicii de prim ordin (FOL)...
Logica intensională de ordinul întâi - Intensional First-Order Logic
Teoria categoriilor - Category Theory
Această carte analizează generarea categoriilor săgeată ale unei categorii date, care este un fenomen fundamental și distinctiv al teoriei...
Teoria categoriilor - Category Theory

Lucrările autorului au fost publicate de următorii editori:

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)