База данных: Электронная библиотека
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Б48
Беркли, Э.
Символическая логика и разумные машины [Электронный ресурс] / под ред. и предисл. Г.Н. Поварова, пре с англ. И.В.Соловьева. - М. : Изд-во иностранной литературы, 1961. - 260 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
символическая логика -- Булева алгебра -- вычисления -- определения -- разумные машины -- вычислительные машины -- алгебра состояний -- программирование -- логические операции
Б48
Беркли, Э.
Символическая логика и разумные машины [Электронный ресурс] / под ред. и предисл. Г.Н. Поварова, пре с англ. И.В.Соловьева. - М. : Изд-во иностранной литературы, 1961. - 260 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
символическая логика -- Булева алгебра -- вычисления -- определения -- разумные машины -- вычислительные машины -- алгебра состояний -- программирование -- логические операции
Страница 1, Результатов: 1