Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=предикати<.>

Загальна кількість знайдених документів : 12
Показані документи с 1 за 12

16
П 78

Кохан, Я.
Логічні передумови аналізу явища ментальності: огляд основних проблем [Текст] / Я. Кохан // Проблеми теорії ментальності / відп. ред. М. В. Попович. - К. : Наукова думка, 2006. - С. 110-127. - Бібліогр.: с. 127 . - ISBN 966-00-0503-2

УДК

ББК 87.4
Рубрики: Логіка

Кл.слова (ненормовані):
ментальність -- ментальность -- семіотичні системи -- семиотические системы -- інтенсіональні предикати -- интенсиональные предикаты -- релевантность -- релевантність
Анотація: Основні проблеми ментальності з погляду логічного аналізу.

Утримувачі документа:
ЖОУНБ

Дод.точки доступу:
Попович, М.В. \відп. ред.\

Немає відомостей про примірники
Знайти схожі

51
П 90

Пухначев, Юрий Васильевич.
Математика без формул [] / Ю. В. Пухначев, Ю. П. Попов. - М. : Столетие, 1995. - 508 с. : ил. - ISBN 5-7459-0026-1 : 650000.00 крб

УДК

ББК 22.1
Рубрики: Математика--Популярні видання

Кл.слова (ненормовані):
теоремы -- теореми -- аксиомы -- аксіоми -- определения -- визначення -- множества -- множини -- отображения -- відображення -- отношения -- відносини -- последовательности -- послідовності -- ряды -- ряди -- функции -- функції -- дифференциальное исчисление -- диференціальне числення -- интегральное исчисление -- інтегральне числення -- линейное пространство -- лінійний простір -- метрическое пространство -- метричний простір -- преобразования -- перетворення -- предикаты -- предикати
Анотація: Математические формулы - лишь удобный язык для изложения идей и методов математики. Сами же эти идеи можно описать используя привычные и наглядные образы из окружающей жизни.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Попов, Юрий Павлович
Примірників всього: 2
ФОНД (1), ЧЗ (1)
Свободны: ФОНД (1), ЧЗ (1)
Знайти схожі

004.42
Б 19

Бакаев, Александр Александрович.
Экспертные системы и логическое программирование [] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; отв. ред. А. А. Морозов ; Акад. наук Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наук. думка, 1992. - 220 с. : рис., табл. - Лит.: с. 216-217. - ISBN 5-12-002735-0 : 6.00 крб

УДК

004.42

ББК 32.813
Рубрики: Дескриптивне програмування--Наукові видання
Prolog, мова--Наукові видання

Кл.слова (ненормовані):
экспертные системы -- експертні системи -- логическое программирование -- дескриптивне програмування -- язык программирования ПРОЛОГ -- мова програмування ПРОЛОГ -- предикаты первого порядка -- предикати першого порядку -- способы логического вывода -- способи логічного висновку
Анотація: Принципы создания экспертных систем и их разработка на языке программирования ПРОЛОГ.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Гриценко, Владимир Ильич; Козлов, Дмитрий Николаевич; Морозов, А. А. \ред.\; Академия наук Украины; Институт кибернетики им. В. М. Глушкова
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

681.5
Н 66

Нильсон, Нилс.
Принципы искусственного интеллекта [] = Principles of Artificial Intelligence / Н. Нильсон ; под ред. В. Л. Стефанюка ; пер. с англ. Р. М. Абдусаматова, Ю. И. Крюкова. - М. : Радио и связь, 1985. - 376 с. : рис., табл. - Лит.: с. 338-371. - 3.40 р.

УДК

681.5

ББК 32.816
Рубрики: Штучний інтелект--Наукові видання

Кл.слова (ненормовані):
системы продукций -- системи продукцій -- предикаты -- предикати -- системы дедукции -- системи дедукції -- системы построения планов -- системи побудови планів -- семантические сети -- семантичні мережі -- системы резолюции -- системи резолюції -- обработка естественного языка -- обробка природної мови -- экспертные системы -- експертні системи -- автоматическое программирование -- автоматичне програмування -- системы извлечения информации -- системи добування інформації
Анотація: Описание систем искусственного интеллекта в виде глобальной базы данных, к которой применяются правила продукций.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Стефанюк, В. Л. \ред.\; Абдусаматов, Р. М. \пер.\; Крюков, Ю. И. \пер.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

Шифр: fidu/2012/2
Журнал

Філософська думка [Текст]. - К. : НАН України, 1927 - . - ISSN 0235-7941. - Виходит раз на два місяця
2012р. N 2

Зміст:
Іващенко, Іван. Потойбіч дзеркала: до питання про умови можливості нерефлексійної теорії самосвідомості / І. Іващенко. - С.6-29. - Бібліогр. в підрядковій прим.
Кебуладзе, Вахтанг. Пасивна синтеза й активність свідомості / В. Кебуладзе. - С.30-46. - Бібліогр. в підрядковій прим.
Циба, В'ячеслав. Соліпсизм: межі очевидності "Я" / В. Циба. - С.47-60. - Бібліогр. в підрядковій прим.
Кохан, Ярослав. Інтенсіональні та прагматичні предикати / Я. Кохан. - С.61-69. - Бібліогр. в кінці ст.
Терентьєва, Людмила. Тематичний аналіз силогістики Аристотеля / Л. Терентьєва. - С.70-83. - Бібліогр. в кінці ст.
Мельник, Володимир. Соціоантропологічні запити та виміри научково-технічного поступу / В. Мельник. - С.84-97. - Бібліогр. в кінці ст.
Чайка, Тетяна. Бесіди з Віленом Горським. Мій інститут. "Острів щастя" / Т. Чайка. - С.98-106
Вестель, Юрій. Біблійна і патристична богословська термінологія / Ю. Вестель, Д. Морозова. - С.107-114
Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)

Знайти схожі
Перейти до описів статей

Кохан, Ярослав.
Інтенсіональні та прагматичні предикати [] / Я. Кохан // Філософська думка. - 2012. - N 2. - С. 61-69. - Бібліогр. в кінці ст. . - ISSN 0235-7941
Рубрики: Логіка

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)

Знайти схожі

373.5.016:51
Ш84

Шпорер, Златко.
Ох, эта математика! [] = Uh, ta matematika! / З. Шпорер ; [пер. с хорв.-серб. Д. П. Мансфельда ; ред. пер., авт. предисл. Д. С. Апокорин ; худож. В. И. Шкарбан]. - 2-е изд., испр. - М. : Педагогика, 1985. - 128 с. : ил. - 0.35 р.

УДК

373.5.016:51

ББК 74.262.21
Рубрики: Математика--Методика викладання--Навчальні видання
Кл.слова (ненормовані):
теория множеств -- теорія множин -- теория чисел -- теорія чисел -- натуральные числа -- натуральні числа -- математическая логика -- математична логіка -- алгебра логики -- алгебра логіки -- предикаты -- предикати -- методика преподавания математики -- методика викладання математики
Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Мансфельд, Д. П. \пер.\; Апокорин, Д. С. \ред., авт. предисл.\; Шкарбан, В. И. \худож.\
Примірників всього: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Знайти схожі

510.51:510.57
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.

УДК

510.51:510.57

ББК 22.127
Рубрики: Алгоритмів теорія--Навчальні видання

Кл.слова (ненормовані):
функции -- функції -- вычислимые операторы -- обчислювальні оператори -- рекурсивные функции -- рекурсивні функції -- рекурсивно перечислимые множества -- рекурсивно перелічувальні множини -- нумерованные совокупности -- нумеровані сукупності -- креативность множеств -- креативність множин -- машины Тьюринга -- операторные алгоритмы -- операторні алгоритми -- нормальные алгоритмы -- нормальні алгоритми -- диофантовы уравнения -- діофантови рівняння -- диофантовы предикаты -- діофантови предикати -- алгоритми
Анотація: Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ЧЗ (2)
Свободны: ЧЗ (2)
Знайти схожі

512:511(075.8)
З-13

   Завало, Сергій Трофімович
    Алгебра і теорія чисел [Текст] : підручник для студ. фіз.-мат. ф-тів пед. ін-тів / С. Т. Завало, В. М. Костарчук, Б. І. Хацет. - К. : Вища шк., 1974.
   Ч. 1. - 1974. - 464 с. : рис. - Л-ра: с. 458-459. - 1.19 р.

УДК

512:511(075.8)

ББК 22.14я73 + 22.13я73
Рубрики: Алгебра--Навчальні видання для вищої школи
Чисел теорія--Навчальні видання для вищої школи

Кл.слова (ненормовані):
алгебра висловлень -- алгебра высказываний -- множини -- множества -- функції -- функции -- предикати -- предикаты -- алгебраїчні структури -- алгебраические структуры -- числові поля -- числовые поля -- системи лінійних рівнянь -- системы линейных уравнений -- детермінанти -- детерминанты -- матриці -- матрицы -- векторні простори -- векторные пространства -- лінійні оператори -- линейны операторы
Анотація: В книзі на основі теоретико-множинних уявлень висвітлені такі фундаментальні поняття математики, як ставлення, відповідність, функція, алгебраїчна структура.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Костарчук, Віктор Миколайович; Хацет, Борис Ісакович
Примірників всього: 3
ЧЗ (1), ФОНД (1), АБ (1)
Свободны: ЧЗ (1), ФОНД (1), АБ (1)
Знайти схожі

10.

510.62+004.8
Ш12

Шабанов-Кушнаренко, Юрий Петрович.
Теория интеллекта: проблемы и перспективы [] : [монография] / Ю. П. Шабанов-Кушнаренко. - Харьков : Вища шк., 1987. - 160 с. - Лит.: с. 155-156. - Предм. указ.: с. 157-159. - 1.80 р.

УДК

510.62+004.8

ББК 22.186 + 32.813
Рубрики: Штучний інтелект--Математичне моделювання--Наукові видання

Кл.слова (ненормовані):
искусственный интеллект -- конечные предикаты -- кінцеві предикати -- моделирование языковых процессов -- моделювання мовних процесів -- теорія інтелекту -- теорема о разложении -- теорема про розкладання
Анотація: Книга посвящена исследованию функций человеческого интеллекта, их математическому описанию и моделированию для улучшения характеристик вычислительной техники. Изложены методы и результаты формализации смысла текстов, математического описания функционирования органов чувств человека.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

11.

519.72
Ш68

Шлезингер, Михаил Иванович.
Математические средства обработки изображений [] : [монография] / М. И. Шлезингер ; [отв. ред. В. И. Скурихин] ; Акад. наук УССР, Ин-т кибернетики им. В. М. Глушкова. - Киев : Наук. думка, 1989. - 200 с. : рис. - Прил.: с. 179-189. - Лит.: с. 190-197. - ISBN 5-12-000546-2 : 2.50 р.

УДК

519.72

ББК 22.18
Рубрики: Математична кібернетика--Наукові видання

Кл.слова (ненормовані):
обработка изображений -- обробка зображень -- двумерные грамматики -- двовимірні граматики -- распознавание изображений -- розпізнавання зображень -- предикаты -- предикати -- теоретическая кибернетика -- теоретична кібернетика -- системы обработки изображений -- системи обробки зображень
Анотація: В монографии осмотрены математические средства, созданные для описания, экономного хранения и обработки множеств изображений.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Скурихин, В. И. \ред.\; Академия наук Украинской ССРИнститут кибернетики им. В. М. Глушкова
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

12.

004.65
Д55

Доорс, Джим.
Пролог - язык программирования будущего [] = Prolog - Programming for Tomorrow / Дж. Доорс, А. Р. Рейблейн, С. Вадера ; пер. c англ. А. Н. Волкова. - М. : Финансы и статистика, 1990. - 144 с. : рис. - Прил.: с. 118-134. - Предм. указ.: с. 135-138. - Указ. операторов и процедур: с. 139. - ISBN 5-279-00444-8 : 1.10 р.

УДК

004.65

ББК 32.973.2-018
Рубрики: Мови програмування--Prolog, мова--Наукові видання
Бази даних--Наукові видання

Кл.слова (ненормовані):
синтаксис программ -- синтаксис програм -- унификация -- уніфікація -- арифметические выражения -- арифметичні вирази -- структура данных -- структура даних -- рекурсия -- рекурсія -- операторы -- оператори -- модули -- модулі -- механизм возраста -- механізм віку -- встроенные предикаты -- вбудовані предикати
Анотація: Рассмотрены синтаксические элементы и структура языка, арифметические функции, рекурсия, структуры данных, операторы и процедуры, встроенные функции для отладки программ и работы БД.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Рейблейн, Алан; Вадера, Сьюнил; Волков, А. Н. \пер.\
Примірників всього: 3
АБ (1), ВВ (1), ФОНД (1)
Свободны: АБ (1), ВВ (1), ФОНД (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)