4ответов 6 Конвергенция математики и языков программирования lambda-calculus language-design language-features logic math
5ответов 8 Как я могу реализовать логическую импликацию с помощью побитового или другого эффективного кода в C? algebra c c++ logic performance
5ответов 9 Почему продукты называются minterms и суммы называются maxterms? boolean boolean-expression boolean-logic boolean-operations logic
3ответов 11 Java метод, чтобы найти прямоугольник, который является пересечением двух прямоугольников, используя только левую нижнюю точку, ширину и высоту? intersection java logic
10ответов 11 Есть ли место формальным методам верификации программ в промышленности? formal-verification language-agnostic logic