База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
2.
Подробнее
Х36
Хелмс, Г.
Компьютеры [Электронный ресурс] : учебное пособие / Г. Хелмс. - Москва : Мир, 1986. - Б. ц.
ББК 32.18
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
системное программирования -- незагруженная машина -- арифметические операторы -- специальные операторы -- трансляторы -- организация -- логические операторы
Х36
Хелмс, Г.
Компьютеры [Электронный ресурс] : учебное пособие / Г. Хелмс. - Москва : Мир, 1986. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
системное программирования -- незагруженная машина -- арифметические операторы -- специальные операторы -- трансляторы -- организация -- логические операторы
Беті 1, Нәтижелерін: 2