检索结果 - Попов С. В. Сергей Викторович

Логика алгоритмы построения выводы геометрическая интерпретация задачи первого порядка классификация кодирование логические задачи логические матрицы логический анализ логическое моделирование логическое следование матрицы обратные матрицы переменные преобразование пропорциональные задачи связки структурированные задачи формулы эквивалентность