В статье рассматривается конъюнктивная нормальная форма, получение ее из любой формулы алгебры логики, а также совершенная конъюнктивная нормальная форма и способы ее получения.
Сфера, Эллипсоид, Конус второй степени, Однополостный гиперболоид, Двуполостный гиперболоид, Эллиптический параболоид, Гиперболический параболоид, Эллиптический цилиндр, Гиперболический цилиндр, Параболический цилиндр
Аксиомы Пеано
Здесь рассмотрены способы вычисления определенного интеграла: интегрирование по частям и замена переменной.
Здесь рассмотрены интегралы от разрывных функций и примеры таких интегралов.
Здесь рассмотрены приближенные методы интегрирования, описаны правила прямоугольников и трапеций, а также правило Симпсона.
В статье рассмотрены такие вопросы, как язык первого порядка, термы и формулы, логические и специальные аксиомы, а так же правило вывода.
Корреляционный момент.
Здесь рассмотрено представление произвольной функции алгебры логики в виде формулы алгебры логики. Приведены свойства, которыми она обладает и рассмотрен пример.
В статье рассмотрены такие понятия, как понятие алгоритма, примеры алгоритмов, характерные черты алгоритма: дискретность, детерминированность, элементарность, массовость, результативность и приведен пример логического алгоритма в виде игры.
