Wszechwymiarowa logika pierwszego rzędu

Wszechwymiarowa logika pierwszego rzędu (Zoran Majkic)

Oryginalny tytuł:

Intensional First-Order Logic

Zawartość książki:

Rozszerzenie to pozwala na zastosowanie semantyki intensjonalnej dla pojęć, zapewniając w ten sposób nowe i bardziej inteligentne systemy informatyczne.

O ile jest konserwatywny, zachowuje aplikacje i stanowi fundamentalny postęp w stosunku do obecnych baz danych RDB, Big Data z NewSQL, baz danych Constraint, systemów P2P i aplikacji Semantic Web. Co więcej, wielowartościowa wersja IFOL może wspierać aplikacje AI oparte na logice wielowartościowej.

Dodatkowe informacje o książce:

ISBN:9783110994940
Autor:
Wydawca:
Język:angielski
Oprawa:Twarda oprawa

Zakup:

Obecnie dostępne, na stanie.

Inne książki autora:

Zakończenie i unifikacja mechaniki kwantowej z ideami GR Einsteina - część I -- Zakończenie QM -...
Ten unikalny manuskrypt przedstawia nowatorskie...
Zakończenie i unifikacja mechaniki kwantowej z ideami GR Einsteina - część I -- Zakończenie QM - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part I -- Completion of QM
Zakończenie i unifikacja mechaniki kwantowej z ideami GR Einsteina - część II - Unifikacja z GR -...
Proponowane uzupełnienie teorii QM, z nowymi...
Zakończenie i unifikacja mechaniki kwantowej z ideami GR Einsteina - część II - Unifikacja z GR - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part II -- Unification with GR
Wszechwymiarowa logika pierwszego rzędu - Intensional First-Order Logic
Rozszerzenie to pozwala na zastosowanie semantyki intensjonalnej dla pojęć, zapewniając w...
Wszechwymiarowa logika pierwszego rzędu - Intensional First-Order Logic
Teoria kategorii - Category Theory
Niniejsza książka analizuje generowanie kategorii strzałkowych danej kategorii, co jest fundamentalnym i wyróżniającym się zjawiskiem teorii...
Teoria kategorii - Category Theory

Prace autora wydały następujące wydawnictwa: