(булева уравнения)
1Алгебра — У этого термина существуют и другие значения, см. Алгебра (значения). Алгебра (от араб. الجبر, «аль джабр»  восполнение[1])  раздел математики, который можно грубо охарактеризовать как обобщение и расширение арифметики. Слово… …
2Дифференциальное уравнение — Дифференциальное уравнение  уравнение, связывающее значение некоторой неизвестной функции в некоторой точке и значение её производных различных порядков в той же точке. Дифференциальное уравнение содержит в своей записи неизвестную функцию,… …
3Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… …
4Смешанное уравнение — Смешанные уравнения (уравнения смешанного типа) класс дифференциальных уравнений в частных производных второго порядка, являющихся гиперболическими в одной области пространства переменных и эллиптическими в другой. Эти области разделены линией… …
5Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь известного итальянского математика Марии Чибрарио, установившей эту… …
6Нормальная форма дифференциальных уравнений — есть наипростейшая эквивалентная форма исходных уравнений. Нормальная форма получается с помощью специальных замен зависимых и независимых переменных задачи с целью максимального упрощения структуры уравнений. В математике эти замены переменных… …
7Теория чисел — Теория чисел, или высшая арифметика раздел математики, изучающий целые числа и сходные объекты. В теории чисел в широком смысле рассматриваются как алгебраические, так и трансцендентные числа, а также функции различного происхождения, которые… …
8Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …
9Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ  совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… …
10Алгоритм Гровера — Алгоритм Гровера (англ. Grover search algorithm, GSA)  квантовый алгоритм решения задачи перебора, то есть нахождения решения уравнения где есть булева функция от n переменных.[1] Предполагается, что функция задана в виде чёрного… …
