Refine your search
Availability
-
Bibliographic level
- Книги (7)
- Статьи из сборников (4)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (7)
- 6 месяцев (4)
- 1 месяц (1)
-
Topics
- учебные пособия для вузов (4)
- логические операции (3)
- труды ученых ТГУ. (3)
- дизъюнкция (2)
- линейная алгебра (2)
- матрицы (2)
- матрицы ступенчатые (2)
- формулы (2)
- Гаусса метод (1)
- Крамера системы (1)
- Кронеккера-Капелли теорема (1)
- автоматы (1)
- авторефераты диссертаций (1)
- аксиоматический метод (1)
- алгебра логики (1)
- алгоритмы (1)
- алгоритмы задач линейной алгебры (1)
- алгоритмы линейной зависимости (1)
- бинарные отношения (1)
- векторы (1)
- высшее образование (1)
- вычислительная сложность (1)
- данные (1)
- деревья (1)
- дискретная математика (1)
- дискретные задачи (1)
- доказуемость (1)
- задачи линейной алгебры (1)
- импликация (1)
- интеллектуальные обучающие системы (1)
- информатика (1)
- истинные высказывания (1)
- исчисление высказываний (1)
- кванторы всеобщности (1)
- кванторы существования (1)
- кибернетика (1)
- комбинаторные задачи (1)
- компьютерная безопасность (1)
- компьютерные технологии (1)
- контролирующие системы (1)
- контроль знаний (1)
- конъюнкция (1)
- линейная зависимость (1)
- логика высказываний (1)
- логические константы (1)
- логические переменные (1)
- логические преобразования (1)
- логические следования (1)
- логические тождества (1)
- логические формулы (1)
- Show more
- Show less