Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Реферативна база даних - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)Журнали та продовжувані видання (2)
Пошуковий запит: (<.>U=Ю433$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
      
Категорія:    
1.

Роженко М. М. 
Квантова логіка: Теорія. Історія. Філософія : Авториз., опрацьов. і доп. пер. з рос. / М. М. Роженко, Н. М. Роженко. - К. : Укр. Центр духов. культури, 2000. - 308 c. - Бібліогр.: с.189-258. - укp.


Індекс рубрикатора НБУВ: В128 + Ю433

Рубрики:
 Некласичні логічні системи 
 Логіка предикатів. Квантифікація 

Шифр НБУВ: ВА600796 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Терентьєва Л.  
Аксіома простого категоричного силогізму з точки зору сучасної онтології / Л. Терентьєва // Філософ. думка. - 2001. - № 5. - С. 57-73. - укp.


Індекс рубрикатора НБУВ: Ю433.1

Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Леоненко Л.  
Поняття тотожності та область дискурсу мови тернарного опису / Л. Леоненко // Філософ. думка. - 2001. - № 5. - С. 41-56. - укp.


Індекс рубрикатора НБУВ: Ю433 + Ш1в2:Ю

Рубрики:
 Логіка предикатів. Квантифікація 

Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Рижук І. П. 
Застосування принципів аристотелевої логіки до класифікації слів в арабській мові / І. П. Рижук // Сходознавство. - 2007. - № 37. - С. 127-137. - Бібліогр.: 12 назв. - укp.


Індекс рубрикатора НБУВ: Ш161.131-3 + Ю433

Рубрики:
 Арабська мова 
 Логіка предикатів. Квантифікація 

Шифр НБУВ: Ж69560 Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Шкільняк О. С. 
Композиційно-номінативні мультимодальні логіки / О. С. Шкільняк, С. С. Шкільняк // Искусств. интеллект. - 2011. - № 4. - С. 126-133. - Бібліогр.: 9 назв. - укp.

Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів - композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і кванторного рівнів. В межах пропонованих логік виділено композиційно-номінативні логіки епістемічного типу.


Індекс рубрикатора НБУВ: З970.5-018 + Ш111 с51 + Ю433

Рубрики:
 Інтелектуальні системи 
 Обчислювальна (автоматична) лінгвістика. Лінгвістичні проблеми штучного інтелекту 
 Логіка предикатів. Квантифікація 

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 
      
Категорія:    
6.

Шкільняк С. С. 
Логічний наслідок та його формалізації в композиційно-номінативних логіках / С. С. Шкільняк // Искусств. интеллект. - 2012. - № 1. - С. 307-319. - Бібліогр.: 7 назв. - укp.

Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках.


Індекс рубрикатора НБУВ: Ю413 + Ю433

Рубрики:
 Семантичне визначення істини 
 Логіка предикатів. Квантифікація 

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського