База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 5
Отмеченные записи: 0
1.
Подробнее
Б48
Беркли, Э.
Символическая логика и разумные машины [Электронный ресурс] / под ред. и предисл. Г.Н. Поварова, пре с англ. И.В.Соловьева. - М. : Изд-во иностранной литературы, 1961. - 260 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
символическая логика -- Булева алгебра -- вычисления -- определения -- разумные машины -- вычислительные машины -- алгебра состояний -- программирование -- логические операции
Б48
Беркли, Э.
Символическая логика и разумные машины [Электронный ресурс] / под ред. и предисл. Г.Н. Поварова, пре с англ. И.В.Соловьева. - М. : Изд-во иностранной литературы, 1961. - 260 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
символическая логика -- Булева алгебра -- вычисления -- определения -- разумные машины -- вычислительные машины -- алгебра состояний -- программирование -- логические операции
2.
Подробнее
Д30
Деменков, Н. П.
Нечеткое управление в технических системах [Электронный ресурс] / Н. П. Деменков. - М. : [б. и.], 2005. - 200 с. - Б. ц.
ББК 142.2.6
Рубрики: ТЕХНИКА
КОМПЬЮТЕРНЫЕ СИСТЕМЫ
Кл.слова (ненормированные):
регулятор -- логические операции -- импликация -- вывод -- нечеткая модель
Д30
Деменков, Н. П.
Нечеткое управление в технических системах [Электронный ресурс] / Н. П. Деменков. - М. : [б. и.], 2005. - 200 с. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА
КОМПЬЮТЕРНЫЕ СИСТЕМЫ
Кл.слова (ненормированные):
регулятор -- логические операции -- импликация -- вывод -- нечеткая модель
3.
Подробнее
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
4.
Подробнее
Л69
Логика [Электронный ресурс] : учебник / Под ред. Д.П.Горского. - М. : политическая литература, 2004. - 92 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
наука логики -- предмет логики -- логические операции
Л69
Логика [Электронный ресурс] : учебник / Под ред. Д.П.Горского. - М. : политическая литература, 2004. - 92 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
наука логики -- предмет логики -- логические операции
5.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
Беті 1, Нәтижелерін: 5