База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
Беті 1, Нәтижелерін: 1