П 78 Кохан, Я. Логічні передумови аналізу явища ментальності: огляд основних проблем [Текст] / Я. Кохан> // Проблеми теорії ментальності / відп. ред. М. В. Попович. - К. : Наукова думка, 2006. - С. 110-127. - Бібліогр.: с. 127 . - ISBN 966-00-0503-2
Рубрики: Логіка Кл.слова (ненормовані): ментальність -- ментальность -- семіотичні системи -- семиотические системы -- інтенсіональні предикати -- интенсиональные предикаты -- релевантность -- релевантність Анотація: Основні проблеми ментальності з погляду логічного аналізу. Утримувачі документа: ЖОУНБ Дод.точки доступу: Попович, М.В. \відп. ред.\ Немає відомостей про примірники |
П 90 Пухначев, Юрий Васильевич. Математика без формул [] / Ю. В. Пухначев, Ю. П. Попов. - М. : Столетие, 1995. - 508 с. : ил. - ISBN 5-7459-0026-1 : 650000.00 крб
Рубрики: Математика--Популярні видання Кл.слова (ненормовані): теоремы -- теореми -- аксиомы -- аксіоми -- определения -- визначення -- множества -- множини -- отображения -- відображення -- отношения -- відносини -- последовательности -- послідовності -- ряды -- ряди -- функции -- функції -- дифференциальное исчисление -- диференціальне числення -- интегральное исчисление -- інтегральне числення -- линейное пространство -- лінійний простір -- метрическое пространство -- метричний простір -- преобразования -- перетворення -- предикаты -- предикати Анотація: Математические формулы - лишь удобный язык для изложения идей и методов математики. Сами же эти идеи можно описать используя привычные и наглядные образы из окружающей жизни. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Попов, Юрий Павлович Примірників всього: 2 ФОНД (1), ЧЗ (1) Свободны: ФОНД (1), ЧЗ (1) |
Б 19 Бакаев, Александр Александрович. Экспертные системы и логическое программирование [] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; отв. ред. А. А. Морозов ; Акад. наук Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наук. думка, 1992. - 220 с. : рис., табл. - Лит.: с. 216-217. - ISBN 5-12-002735-0 : 6.00 крб
Рубрики: Дескриптивне програмування--Наукові видання Prolog, мова--Наукові видання Кл.слова (ненормовані): экспертные системы -- експертні системи -- логическое программирование -- дескриптивне програмування -- язык программирования ПРОЛОГ -- мова програмування ПРОЛОГ -- предикаты первого порядка -- предикати першого порядку -- способы логического вывода -- способи логічного висновку Анотація: Принципы создания экспертных систем и их разработка на языке программирования ПРОЛОГ. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Гриценко, Владимир Ильич; Козлов, Дмитрий Николаевич; Морозов, А. А. \ред.\; Академия наук Украины; Институт кибернетики им. В. М. Глушкова Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
Н 66 Нильсон, Нилс. Принципы искусственного интеллекта [] = Principles of Artificial Intelligence / Н. Нильсон ; под ред. В. Л. Стефанюка ; пер. с англ. Р. М. Абдусаматова, Ю. И. Крюкова. - М. : Радио и связь, 1985. - 376 с. : рис., табл. - Лит.: с. 338-371. - 3.40 р.
Рубрики: Штучний інтелект--Наукові видання Кл.слова (ненормовані): системы продукций -- системи продукцій -- предикаты -- предикати -- системы дедукции -- системи дедукції -- системы построения планов -- системи побудови планів -- семантические сети -- семантичні мережі -- системы резолюции -- системи резолюції -- обработка естественного языка -- обробка природної мови -- экспертные системы -- експертні системи -- автоматическое программирование -- автоматичне програмування -- системы извлечения информации -- системи добування інформації Анотація: Описание систем искусственного интеллекта в виде глобальной базы данных, к которой применяются правила продукций. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Стефанюк, В. Л. \ред.\; Абдусаматов, Р. М. \пер.\; Крюков, Ю. И. \пер.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |
> Шифр: fidu/2012/2 Журнал 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) |
Ш84 Шпорер, Златко. Ох, эта математика! [] = Uh, ta matematika! / З. Шпорер ; [пер. с хорв.-серб. Д. П. Мансфельда ; ред. пер., авт. предисл. Д. С. Апокорин ; худож. В. И. Шкарбан]. - 2-е изд., испр. - М. : Педагогика, 1985. - 128 с. : ил. - 0.35 р.
Рубрики: Математика--Методика викладання--Навчальні видання Кл.слова (ненормовані): теория множеств -- теорія множин -- теория чисел -- теорія чисел -- натуральные числа -- натуральні числа -- математическая логика -- математична логіка -- алгебра логики -- алгебра логіки -- предикаты -- предикати -- методика преподавания математики -- методика викладання математики Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Мансфельд, Д. П. \пер.\; Апокорин, Д. С. \ред., авт. предисл.\; Шкарбан, В. И. \худож.\ Примірників всього: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
М21 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.
Рубрики: Алгоритмів теорія--Навчальні видання Кл.слова (ненормовані): функции -- функції -- вычислимые операторы -- обчислювальні оператори -- рекурсивные функции -- рекурсивні функції -- рекурсивно перечислимые множества -- рекурсивно перелічувальні множини -- нумерованные совокупности -- нумеровані сукупності -- креативность множеств -- креативність множин -- машины Тьюринга -- операторные алгоритмы -- операторні алгоритми -- нормальные алгоритмы -- нормальні алгоритми -- диофантовы уравнения -- діофантови рівняння -- диофантовы предикаты -- діофантови предикати -- алгоритми Анотація: Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (2) Свободны: ЧЗ (2) |
З-13 Завало, Сергій Трофімович Алгебра і теорія чисел [Текст] : підручник для студ. фіз.-мат. ф-тів пед. ін-тів / С. Т. Завало, В. М. Костарчук, Б. І. Хацет. - К. : Вища шк., 1974. Ч. 1. - 1974. - 464 с. : рис. - Л-ра: с. 458-459. - 1.19 р.
Рубрики: Алгебра--Навчальні видання для вищої школи Чисел теорія--Навчальні видання для вищої школи Кл.слова (ненормовані): алгебра висловлень -- алгебра высказываний -- множини -- множества -- функції -- функции -- предикати -- предикаты -- алгебраїчні структури -- алгебраические структуры -- числові поля -- числовые поля -- системи лінійних рівнянь -- системы линейных уравнений -- детермінанти -- детерминанты -- матриці -- матрицы -- векторні простори -- векторные пространства -- лінійні оператори -- линейны операторы Анотація: В книзі на основі теоретико-множинних уявлень висвітлені такі фундаментальні поняття математики, як ставлення, відповідність, функція, алгебраїчна структура. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Костарчук, Віктор Миколайович; Хацет, Борис Ісакович Примірників всього: 3 ЧЗ (1), ФОНД (1), АБ (1) Свободны: ЧЗ (1), ФОНД (1), АБ (1) |
Ш12 Шабанов-Кушнаренко, Юрий Петрович. Теория интеллекта: проблемы и перспективы [] : [монография] / Ю. П. Шабанов-Кушнаренко. - Харьков : Вища шк., 1987. - 160 с. - Лит.: с. 155-156. - Предм. указ.: с. 157-159. - 1.80 р.
Рубрики: Штучний інтелект--Математичне моделювання--Наукові видання Кл.слова (ненормовані): искусственный интеллект -- конечные предикаты -- кінцеві предикати -- моделирование языковых процессов -- моделювання мовних процесів -- теорія інтелекту -- теорема о разложении -- теорема про розкладання Анотація: Книга посвящена исследованию функций человеческого интеллекта, их математическому описанию и моделированию для улучшения характеристик вычислительной техники. Изложены методы и результаты формализации смысла текстов, математического описания функционирования органов чувств человека. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Ш68 Шлезингер, Михаил Иванович. Математические средства обработки изображений [] : [монография] / М. И. Шлезингер ; [отв. ред. В. И. Скурихин] ; Акад. наук УССР, Ин-т кибернетики им. В. М. Глушкова. - Киев : Наук. думка, 1989. - 200 с. : рис. - Прил.: с. 179-189. - Лит.: с. 190-197. - ISBN 5-12-000546-2 : 2.50 р.
Рубрики: Математична кібернетика--Наукові видання Кл.слова (ненормовані): обработка изображений -- обробка зображень -- двумерные грамматики -- двовимірні граматики -- распознавание изображений -- розпізнавання зображень -- предикаты -- предикати -- теоретическая кибернетика -- теоретична кібернетика -- системы обработки изображений -- системи обробки зображень Анотація: В монографии осмотрены математические средства, созданные для описания, экономного хранения и обработки множеств изображений. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Скурихин, В. И. \ред.\; Академия наук Украинской ССРИнститут кибернетики им. В. М. Глушкова Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Д55 Доорс, Джим. Пролог - язык программирования будущего [] = Prolog - Programming for Tomorrow / Дж. Доорс, А. Р. Рейблейн, С. Вадера ; пер. c англ. А. Н. Волкова. - М. : Финансы и статистика, 1990. - 144 с. : рис. - Прил.: с. 118-134. - Предм. указ.: с. 135-138. - Указ. операторов и процедур: с. 139. - ISBN 5-279-00444-8 : 1.10 р.
Рубрики: Мови програмування--Prolog, мова--Наукові видання Бази даних--Наукові видання Кл.слова (ненормовані): синтаксис программ -- синтаксис програм -- унификация -- уніфікація -- арифметические выражения -- арифметичні вирази -- структура данных -- структура даних -- рекурсия -- рекурсія -- операторы -- оператори -- модули -- модулі -- механизм возраста -- механізм віку -- встроенные предикаты -- вбудовані предикати Анотація: Рассмотрены синтаксические элементы и структура языка, арифметические функции, рекурсия, структуры данных, операторы и процедуры, встроенные функции для отладки программ и работы БД. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Рейблейн, Алан; Вадера, Сьюнил; Волков, А. Н. \пер.\ Примірників всього: 3 АБ (1), ВВ (1), ФОНД (1) Свободны: АБ (1), ВВ (1), ФОНД (1) |