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