База данных: Электронная библиотека
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
2.
Подробнее
К89
Кузьмин, А. В.
Теоретические основы систем управления дискретного действия [Электронный ресурс] : учебное пособие / А. В. Кузьмин. - Ульяновск : [б. и.], 2001. - 102 с. - Б. ц.
ББК 32.97
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
композиция -- бинарные отношения -- толерантность -- операторы -- нормальные формы -- предикаты
К89
Кузьмин, А. В.
Теоретические основы систем управления дискретного действия [Электронный ресурс] : учебное пособие / А. В. Кузьмин. - Ульяновск : [б. и.], 2001. - 102 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
композиция -- бинарные отношения -- толерантность -- операторы -- нормальные формы -- предикаты
3.
Подробнее
Л17
Лазарева, Т. Я.
Основы теории автоматического управления [Электронный ресурс] : учебник / Т. Я. Лазарева. - Тамбов : ТГТУ, 2003. - 308 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
линейные системы -- регулятор -- объект -- структурные схемы -- нормальные формы
Л17
Лазарева, Т. Я.
Основы теории автоматического управления [Электронный ресурс] : учебник / Т. Я. Лазарева. - Тамбов : ТГТУ, 2003. - 308 с. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
линейные системы -- регулятор -- объект -- структурные схемы -- нормальные формы
4.
Подробнее
Э19
Эдельман, С. Л.
Математическая логика [Электронный ресурс] : учебное пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- язык исчисления
Э19
Эдельман, С. Л.
Математическая логика [Электронный ресурс] : учебное пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- язык исчисления
Страница 1, Результатов: 4