Уточнить поиск
Наличие
-
Авторы
- А. И. Постников, Е. А. Вейсов (1)
- А.В. Гладкий (1)
- А.Г. Кислов, Г.К. Ольховиков, С.Ю. Уколов (1)
- Балонин Н. А. Николай Алексеевич (1)
- Болдина О. Б. Ольга Борисовна (1)
- Бурлакова Е. А. канд. физ.-мат. наук 1981- Екатерина Анатольевна (1)
- В.А. Душский (1)
- В.Г. Дурнев (1)
- В.И. Хомич (1)
- Вейсов Е. А. Евгений Алексеевич 070 (1)
- Верещагин Н. К. 1893-1962 Николай Константинович (1)
- Гладкий А. В. Алексей Всеволодович (1)
- Гуров С. И. Сергей Исаевич (1)
- Дурнев В. Г. Валерий Георгиевич (1)
- Душский В. А. Владимир Александрович (1)
- Е. А. Бурлакова, А. А. Копанева (1)
- Кислов А. Г. Алексей Геннадьевич (1)
- Копанева А. А. Анна Александровна (1)
- Косовская Т. М. Татьяна Матвеевна (1)
- Л.В. Шабунин (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (16)
-
Места хранения
-
Заглавие серии
-
Предметные рубрики
- Алгебра логики (2)
- Арифметические операции (1)
- Булевы алгебры (1)
- Булевы функции (1)
- Высказывания(лог.) (1)
- Замыкания операторы (1)
- Исчисление высказываний (8)
- Исчисление предикатов (3)
- Компьютеры (1)
- Конечные автоматы (1)
- Логика (1)
- Логическое исчисление (1)
- Математическая логика (5)
- Математические основы (1)
- Многозначная логика (1)
- Множеств теория (1)
- Радиоэлектроника -- Кибернетика -- Теория автоматов и управляющих машин -- Математические методы -- Учебник для высшей школы (1)
- Руководства, пособия и т.п. для высшей школы (3)
- Учебные издания для высших учебных заведений (16)
- Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов -- Учебник для высшей школы (6)
- Показать больше
- Показать меньше
-
Коллекции
-
Библиотека хранения
- РНБ (Московский) (9)
-
Языки
- английский (1)
- русский (16)