Связанные правки для «Спецкурсы»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
27 марта 2024
- (разн. | история) . . Практикум по дискретным структурам; 08:49 . . (+4) . . Emergency User (обсуждение | вклад) (→Задание 2. Применение SAT решателей к задачам минимизации функций)