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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Стаття зі збірника (однотомник)
Шифр видання : 16/П 78
Автор(и) : Кохан Я.
Назва : Логічні передумови аналізу явища ментальності: огляд основних проблем
Місце публікування : Проблеми теорії ментальності/ відп. ред. М. В. Попович. - К.: Наукова думка, 2006. - С. 110-127. - ISBN 966-00-0503-2 (Шифр 16/П 78-927995). - ISBN 966-00-0503-2
Примітки : Бібліогр.: с. 127
УДК : 16
ББК : 87.4
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Основні проблеми ментальності з погляду логічного аналізу.
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51/П 90
Автор(и) : Пухначев, Юрий Васильевич, Попов, Юрий Павлович
Назва : Математика без формул
Вихідні дані : М.: Столетие, 1995
Кільк.характеристики :508 с.: ил.
ISBN, Ціна 5-7459-0026-1: 650000.00 крб
УДК : 51
ББК : 22.1
Предметні рубрики: Математика
Географіч. рубрики:
Анотація: Математические формулы - лишь удобный язык для изложения идей и методов математики. Сами же эти идеи можно описать используя привычные и наглядные образы из окружающей жизни.
Примірники : всього : ФОНД(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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 681.5/Н 66
Автор(и) : Нильсон, Нилс
Назва : Принципы искусственного интеллекта
Паралельн. назви :Principles of Artificial Intelligence
Вихідні дані : М.: Радио и связь, 1985
Кільк.характеристики :376 с.: рис., табл.
Примітки : Лит.: с. 338-371
Ціна : 3.40 р.
УДК : 681.5
ББК : 32.816
Предметні рубрики: Штучний інтелект
Географіч. рубрики:
Анотація: Описание систем искусственного интеллекта в виде глобальной базы данных, к которой применяются правила продукций.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 373.5.016:51/Ш84
Автор(и) : Шпорер, Златко
Назва : Ох, эта математика! . -2-е изд., испр.
Паралельн. назви :Uh, ta matematika!
Вихідні дані : М.: Педагогика, 1985
Кільк.характеристики :128 с.: ил.
Ціна : 0.35 р.
УДК : 373.5.016:51
ББК : 74.262.21
Предметні рубрики: Математика-- Методика викладання
Ключові слова (''Вільн.індекс.''): теория множеств--теорія множин--теория чисел--теорія чисел--натуральные числа--натуральні числа--математическая логика--математична логіка--алгебра логики--алгебра логіки--предикаты--предикати--методика преподавания математики--методика викладання математики
Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики.
Примірники : всього : ЧЗ(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)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 512:511(075.8)/З-13
Автор(и) : Завало, Сергій Трофімович
Назва : Алгебра і теорія чисел: підручник для студ. фіз.-мат. ф-тів пед. ін-тів/ С. Т. Завало, В. М. Костарчук, Б. І. Хацет. Ч. 1
Вихідні дані : К.: Вища шк., 1974
Кільк.характеристики :464 с.: рис.
Примітки : Л-ра: с. 458-459
Ціна : 1.19 р.
УДК : 512:511(075.8)
ББК : 22.14я73 + 22.13я73
Предметні рубрики: Алгебра
Чисел теорія
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): алгебра висловлень--алгебра высказываний--множини--множества--функції--функции--предикати--предикаты--алгебраїчні структури--алгебраические структуры--числові поля--числовые поля--системи лінійних рівнянь--системы линейных уравнений--детермінанти--детерминанты--матриці--матрицы--векторні простори--векторные пространства--лінійні оператори--линейны операторы
Анотація: В книзі на основі теоретико-множинних уявлень висвітлені такі фундаментальні поняття математики, як ставлення, відповідність, функція, алгебраїчна структура.
Примірники : всього : ЧЗ(1), ФОНД(1), АБ(1)
Вільні : ЧЗ(1), ФОНД(1), АБ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.62+004.8/Ш12
Автор(и) : Шабанов-Кушнаренко, Юрий Петрович
Назва : Теория интеллекта: проблемы и перспективы : [монография]
Вихідні дані : Харьков: Вища шк., 1987
Кільк.характеристики :160 с
Примітки : Лит.: с. 155-156. - Предм. указ.: с. 157-159
Ціна : 1.80 р.
УДК : 510.62+004.8
ББК : 22.186 + 32.813
Предметні рубрики: Штучний інтелект-- Математичне моделювання
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): искусственный интеллект--конечные предикаты--кінцеві предикати--моделирование языковых процессов--моделювання мовних процесів--теорія інтелекту--теорема о разложении--теорема про розкладання
Анотація: Книга посвящена исследованию функций человеческого интеллекта, их математическому описанию и моделированию для улучшения характеристик вычислительной техники. Изложены методы и результаты формализации смысла текстов, математического описания функционирования органов чувств человека.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 519.72/Ш68
Автор(и) : Шлезингер, Михаил Иванович
Назва : Математические средства обработки изображений : [монография]
Вихідні дані : Киев: Наук. думка, 1989
Кільк.характеристики :200 с.: рис.
Колективи : Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова
Примітки : Прил.: с. 179-189. - Лит.: с. 190-197
ISBN, Ціна 5-12-000546-2: 2.50 р.
УДК : 519.72
ББК : 22.18
Предметні рубрики: Математична кібернетика
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): обработка изображений--обробка зображень--двумерные грамматики--двовимірні граматики--распознавание изображений--розпізнавання зображень--предикаты--предикати--теоретическая кибернетика--теоретична кібернетика--системы обработки изображений--системи обробки зображень
Анотація: В монографии осмотрены математические средства, созданные для описания, экономного хранения и обработки множеств изображений.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 004.65/Д55
Автор(и) : Доорс, Джим, Рейблейн, Алан, Вадера, Сьюнил
Назва : Пролог - язык программирования будущего
Паралельн. назви :Prolog - Programming for Tomorrow
Вихідні дані : М.: Финансы и статистика, 1990
Кільк.характеристики :144 с.: рис.
Примітки : Прил.: с. 118-134. - Предм. указ.: с. 135-138. - Указ. операторов и процедур: с. 139
ISBN, Ціна 5-279-00444-8: 1.10 р.
УДК : 004.65
ББК : 32.973.2-018
Предметні рубрики: Мови програмування-- Prolog, мова
Бази даних
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): синтаксис программ--синтаксис програм--унификация--уніфікація--арифметические выражения--арифметичні вирази--структура данных--структура даних--рекурсия--рекурсія--операторы--оператори--модули--модулі--механизм возраста--механізм віку--встроенные предикаты--вбудовані предикати
Анотація: Рассмотрены синтаксические элементы и структура языка, арифметические функции, рекурсия, структуры данных, операторы и процедуры, встроенные функции для отладки программ и работы БД.
Примірники : всього : АБ(1), ВВ(1), ФОНД(1)
Вільні : АБ(1), ВВ(1), ФОНД(1)
Знайти схожі

11.

Форма документа : Однотомне видання
Шифр видання : 004.43/С79
Автор(и) : Стерн, Леон, Шапиро, Эгуд
Назва : Искусство программирования на языке Пролог
Паралельн. назви :The art of Prolog Advaced Programming Technigues
Вихідні дані : Москва: Мир, 1990
Кільк.характеристики :235 с.: рис., табл.
Примітки : Прил.: с. 261-317. - Лит.: с. 318-323. - Предм. указ.: с. 324-328
ISBN, Ціна 5-03-000406-8: 2.70 р.
УДК : 004.43
ББК : 32.973.2-018
Предметні рубрики: Prolog, мова-- Використання
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): логические программы--логічні програми--программирование баз данных--програмування баз даних--рекурсивное программирование--рекурсивне програмування--модель логических программ--модель логічних програм--множественные выражения--множинні вирази--методы поиска--методи пошуку--метаинтерпретаторы--метаінтерпретатори--решатель уравнений--вирішувач рівнянь--системные предикаты--системні предикатори
Анотація: Логическое программирование, описание языка Пролог, ввод-вывод, приемы и средства организации интерактивных программ, применение структур данных.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

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