Здесь рассмотрена оценка интеграла, примеры оценки интеграла, приведено обобщение теоремы об оценке интеграла, сформулирована теорема о среднем и дано определение среднего арифметического значения функции.
В статье рассмотрен вопрос о предваренной нормальной форме: ее определение, теорема с доказательством, а также приведены примеры.
В статье рассмотрены такие понятия, как выполнимая формула, тождественно истинна формула, тождественно ложная формула, общезначимая формула. Приведены теоремы с доказательствами и соответствующие примеры.
Здесь рассмотрено определение интеграла с переменным верхним пределом, приведена теорема о производной интеграла по верхнему пределу.
Рассмотрены примеры приведения формул к виду совершенной конъюнктивной нормальной форме и совершенной дизъюнктивной нормальной форме используя различные способы.
Здесь рассмотрены основные правила интегрирования
Здесь рассмотрены важнейшие равносильности алгебры логики: основные равносильности; равносильности, выражающие одни логические операции через другие; равносильности, выражающие основные законы алгебры логики. А также приведены примеры.
Математическое ожидание для непрерывной величины, мода и медиана.
Здесь рассмотрены примеры решения интегралов с помощью простейших правил интегрирования.
В статье рассмотрены равносильные формулы логики предикатов, основные равносильности, их доказательства, а так же приведены примеры.
