Про нас Електронний депозитарій 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)
Знайти схожі

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