Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=логічні символи<.>
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
007
М 15


    Макаллистер, Дж.
    Искусственный интеллект и Пролог на микроЭВМ [] = Artificial Intelligence and PROLOG on Microcomputers / Дж. Макаллистер ; под ред. М. В. Сергиевского ; пер. с англ. А. В. Чувашова, М. В. Сергиевского. - М. : Машиностроение, 1990. - 240 с. : рис., табл. - Лит.: с. 236. - ISBN 5-217-00973-X : 2.40 р.
УДК
ББК 32.813 + 32.973.26
Рубрики: Штучний інтелект--Практичні посібники
   Prolog, мова--Практичні посібники

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

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

Доп.точки доступа:
Сергиевский, М. В. \ред.\; Чувашов, А. В. \пер.\; Сергиевский, М. В. \пер.\
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

2.
517(075.8)
К88


   Кудрявцев, Лев Дмитриевич

    Курс математического анализа [Текстььь] : в 3 т. : учеб. для студентов ун-тов и вузов / Л. Д. Кудрявцев. - 2-е изд., перераб. и доп. - М. : Высш. шк., 1988 - 1989.
   Т. 1. - 1988. - 712 с. : ил. - Библиогр. в подстрочном примеч. - Предм.-имен. указ.: с. 701-709. - Указ. осн. обозн.: с. 710-712. - ISBN 5-06-001290-5 : 1.60 р.
УДК
ББК 22.161я73
Рубрики: Математичний аналіз--Навчальні видання для вищої школи
   
фывфывфыв:
множини -- множества -- функции -- функції -- логічні символи -- логические символы -- дійсні числа -- действительные числа -- числові множини -- числовые множества -- межа числової послідовності -- предел числовой последовательности -- межа і безперервність функцій -- предел и непрерывность фунций -- властивості безперервних функцій на проміжках -- свойства непрерывных функций на промежутках -- безперевність елементарних функцій -- непрерывность элементарных функций -- обчислення меж -- вычисление пределов -- похідна і диференціал -- производная и дифференциал -- похідні та диференціали вищого порядку -- формула Тейлора -- производные и дифференциалы высших порядков -- дослідження поведінки функцій -- исследование поведения функции -- векторна функція -- векторная функция -- довжина кривої -- длина кривой -- кривизна і кручення кривої -- кривизна и кручение кривой -- багатовимірні простори -- многомерные пространства -- часткові похідні -- частные производные -- властивості невизначеного інтеграла -- свойства неопределенного интеграла -- інтегрування раціональних дробів -- итегрирование рациональных дробей -- визначений інтеграл -- определенный интеграл -- міра плоских відкритих множин -- мера плоских открытых множеств -- невласні інтеграли -- несобственные интегралы
Аннотация: В первом томе излагаются дифференциальное и интегральное исчисления функций одной переменной, простейшие сведения о функциях многих переменных.

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

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)