Choice of metadata Electronic Library
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
32.813я73
U92
Герман, О. В.
Экспертные системы:лабораторный практикум для студентов специальности "Автоматизированные системы обработки информации" дневной и дистанционной форм обучения [Электронный ресурс] : учебное пособие / О. В. Герман, Н. В. Батин. - Минск : БГУИР, 2003. - 75 с. - Б. ц.
ББК 32.813я73
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
пролог -- правила -- факты -- программа -- предикаты -- координаты -- мониторинг -- шрифты
Доп.точки доступа:
Батин, Н.В.
U92
Герман, О. В.
Экспертные системы:лабораторный практикум для студентов специальности "Автоматизированные системы обработки информации" дневной и дистанционной форм обучения [Электронный ресурс] : учебное пособие / О. В. Герман, Н. В. Батин. - Минск : БГУИР, 2003. - 75 с. - Б. ц.
УДК |
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
пролог -- правила -- факты -- программа -- предикаты -- координаты -- мониторинг -- шрифты
Доп.точки доступа:
Батин, Н.В.
2.
Подробнее
22,16
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
3.
Подробнее
32.97
К89
Кузьмин, А. В.
Теоретические основы систем управления дискретного действия [Электронный ресурс] : учебное пособие / А. В. Кузьмин. - Ульяновск : [б. и.], 2001. - 102 с. - Б. ц.
ББК 32.97
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
композиция -- бинарные отношения -- толерантность -- операторы -- нормальные формы -- предикаты
К89
Кузьмин, А. В.
Теоретические основы систем управления дискретного действия [Электронный ресурс] : учебное пособие / А. В. Кузьмин. - Ульяновск : [б. и.], 2001. - 102 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
композиция -- бинарные отношения -- толерантность -- операторы -- нормальные формы -- предикаты
4.
Подробнее
22.1
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
5.
Подробнее
22.1
Я78
Ярусалимский, Я. М.
Дискретная математика: теория, задачи, приложения [Электронный ресурс] : учебное пособие / Я. М. Ярусалимский. - М. : Вузовская книга, 2000. - 142 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
высказывания -- предикаты -- операции -- кванторы -- множества -- элементы комбинаторики -- отношения -- алгоритмы -- теория графов -- задачи -- решения
Я78
Ярусалимский, Я. М.
Дискретная математика: теория, задачи, приложения [Электронный ресурс] : учебное пособие / Я. М. Ярусалимский. - М. : Вузовская книга, 2000. - 142 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
высказывания -- предикаты -- операции -- кванторы -- множества -- элементы комбинаторики -- отношения -- алгоритмы -- теория графов -- задачи -- решения
Page 1, Results: 5