Refine your search
Availability
- Showing only available items
- Show all items
-
Bibliographic level
- Книги (8)
-
Authors
- Гринченков, Дмитрий Валерьевич (2)
- Потоцкий, Сергей Иванович (2)
- Андерсон, Джеймс А. (1)
- Бабичева, Ирина Владимировна (1)
- Верещагин, Николай Константинович (1)
- Глотова, Марина Юрьевна (1)
- Зюзьков, Валентин Михайлович (1)
- Ковалев, Александр Андреевич (1)
- Кулешов, Сергей Алексеевич (1)
- Плиско, Валерий Егорович (1)
- Саит-Аметов, М. Р. (1)
- Самохвалова, Евгения Александровна (1)
- Успенский, Владимир Андреевич (1)
- Хаггарти, Р. (1)
- Шелупанов, Александр Александрович (1)
- Шкильняк, С. С. (1)
- Show more
- Show less
-
Locations
- Читальный зал 5 (6)
- Книгохранилище (5)
- Абонемент (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (5)
- Выдается по месту хранения (4)
- 1 неделя (3)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- логика высказываний [x]
- множеств теория (8)
- математическая логика (7)
- логика предикатов (4)
- учебные пособия для вузов (4)
- алгоритмов теория (3)
- булева алгебра (3)
- исчисление высказываний (3)
- исчисление предикатов (3)
- комбинаторика (3)
- функции логические (3)
- Тьюринга машины (2)
- Черча тезис (2)
- алгоритмы (2)
- булевы алгебры (2)
- выводы нечеткие (математическая логика) (2)
- графов теория (2)
- графы (2)
- дискретная математика (2)
- логическое программирование (2)
- минимизация булевых функций (2)
- множества нечеткие (2)
- операции над множествами (2)
- ориентированные графы (2)
- предикатные формулы (математическая логика), истинность (2)
- представление знаний (искусственный интеллект), математические методы (2)
- преобразования эквивалентные (2)
- функции алгебры логики (2)
- функции логические, разложения специальные (2)
- "Мгновенное безумие", игра (1)
- Excel, электронные таблицы (1)
- Excel-диаграммы (1)
- Байеса теорема (1)
- Бернсайда теорема (1)
- Венна диаграммы (1)
- Гамильтона пути и циклы (1)
- Геделя теорема о полноте (1)
- Грея код (1)
- Дирихле принцип (1)
- Евклида алгоритм (1)
- Кантора теорема (1)
- Карно карты (1)
- Каталана числа (1)
- Компьютеры персональные (1)
- Маркова цепи (1)
- Петри сети (1)
- Пойа теорема (1)
- Программирование (1)
- Пролог (1)
- Пролог, язык логического программирования (1)
- Show more
- Show less