Записи с тегом «математическая-логика»
- Кравченко В.Ф. Конструктивные методы алгебры логики, атомарных функций, вейвлетов, фракталов в задачах физики и техники — 27 августа 2019 Метки: алгебра, аналитические методы в геометрии, антенные решётки, булевые функции, волноводные системы, вычислительная математика, ИРЭ им. В.А. Котельникова РАН, книга недели, Кравченко, краевая задача, математика, математическая логика, математический анализ, математическое моделирование, принципы решения задач, теория функций, фракталы, функции, цифровая обработка сигналов, электродинамика, электромагнитные колебания и волны
- Кановей В.Г. Современная теория множеств: абсолютно неразрешимые классические проблемы — 30 декабря 2013 Метки: история математики, Кановей, Любецкий, математика, математическая логика, современная математика, теория, теория множеств, теория функций
- Хаггарти Р. Дискретная математика для программистов — 24 октября 2012 Метки: булевые функции, дискретная математика, для вузов, информатика, математика, математическая логика, прикладная математика, программирование, программные средства, теория алгоритмов, теория графов, учебное пособие, Хаггарти
- Верещагин Н.К. Языки и исчисления — 9 октября 2012 Метки: Верещагин, логика высказываний, математика, математическая логика, операции, предикаты, теория алгоритмов, язык, языки исчисления
