Вклад
- 15:57, 25 октября 2026 разн. история 0 Н Файл:P01-01-01-complex-plane.svg текущая
- 14:43, 25 октября 2026 разн. история +6288 Н Формальные теории Новая страница: «{{Определение |definition= Формальная теория {{---}} это совокупность четырех объектов: * Алфавит...» текущая
- 14:41, 25 октября 2026 разн. история 0 Н Файл:P47-01-theory-structure.svg текущая
- 14:38, 25 октября 2026 разн. история −9 Пример задачи логики высказываний текущая
- 14:38, 25 октября 2026 разн. история +8063 Н Пример задачи логики высказываний Новая страница: «Простые высказывания: * $A = $ капиталовложения останутся постоянными; * $B = $ возрастут пра...»
- 14:37, 25 октября 2026 разн. история 0 Н Файл:P46-01-premises-consistency.svg текущая
- 14:33, 25 октября 2026 разн. история +182 Дискретная математика →Исчисление предикатов текущая
- 14:32, 25 октября 2026 разн. история +441 Дискретная математика →Исчисление высказываний
- 13:56, 25 октября 2026 разн. история +65 Критерий полноты системы функций текущая
- 13:56, 25 октября 2026 разн. история +528 Критерий полноты системы функций
- 13:55, 25 октября 2026 разн. история 0 Н Файл:P45-01-post-table.svg текущая
- 13:54, 25 октября 2026 разн. история +65 Линейные функции текущая
- 13:54, 25 октября 2026 разн. история +8294 Н Линейные функции Новая страница: «{{Определение |definition= Пусть $f(x_1,...,x_n)\in P_2$. Функция $f$ {{---}} линейная, если ее полином Жегалки...»
- 13:47, 25 октября 2026 разн. история 0 Н Файл:P44-01-linear-to-conjunction.svg текущая
- 13:39, 25 октября 2026 разн. история +65 Монотонные функции текущая
- 13:39, 25 октября 2026 разн. история +7655 Н Монотонные функции Новая страница: «{{Определение |definition= Пусть $\widetilde \alpha^n = (\alpha_1,...,\alpha_n)$, $\widetilde\beta^n = (\beta_1,...,\beta_n)$, $\alpha_i,\beta_i\i...»
- 13:35, 25 октября 2026 разн. история 0 Н Файл:P43-01-monotone-chain-descent.svg текущая
- 13:33, 25 октября 2026 разн. история −10 738 Двойственные функции текущая
- 13:33, 25 октября 2026 разн. история +65 Самодвойственные функции текущая
- 13:32, 25 октября 2026 разн. история +65 Двойственные функции
- 13:32, 25 октября 2026 разн. история +12 509 Н Двойственные функции Новая страница: «{{Определение |definition= Пусть $f(x_1,...,x_n)\in P_2$. Двойственной функцией к функции $f$ называется $f^...»
- 13:18, 25 октября 2026 разн. история 0 Н Файл:P42-01-dual-reverse-invert.svg текущая
- 13:11, 25 октября 2026 разн. история +65 Функции сохраняющие единицу текущая
- 13:11, 25 октября 2026 разн. история +1749 Н Функции сохраняющие единицу Новая страница: «{{Определение |definition= Пусть $f(x_1,...,x_n)\in P_2$. $f$ называют функцией, сохраняющей единицу, если $...»
- 13:11, 25 октября 2026 разн. история 0 Н Файл:P41-01-t1-versus-t0.svg текущая
- 13:08, 25 октября 2026 разн. история +65 Функции сохраняющие ноль текущая
- 13:08, 25 октября 2026 разн. история +741 Функции сохраняющие ноль
- 13:07, 25 октября 2026 разн. история 0 Н Файл:P40-01-t0-closed.svg текущая
- 13:06, 25 октября 2026 разн. история +12 328 Н Полнота системы функций Новая страница: «{{Определение |definition= Система функций $\mathcal P\subseteq P_2$ называется полной, если любую функци...» текущая
- 13:02, 25 октября 2026 разн. история 0 Н Файл:P39-01-closure-examples.svg текущая
- 02:16, 25 октября 2026 разн. история +60 Эллипс текущая
- 01:59, 25 октября 2026 разн. история −66 Эллипс
- 01:43, 25 октября 2026 разн. история +15 436 Н Эллипс Новая страница: «{{Определение |definition= Эллипсом называется геометрическое место точек, для каждой из кото...»
- 01:41, 25 октября 2026 разн. история 0 Н Файл:Algem-p07-02-02-eccentricity-directrix.svg текущая
- 01:41, 25 октября 2026 разн. история 0 Н Файл:Algem-p07-02-01-ellipse-definition.svg текущая
- 23:09, 24 октября 2026 разн. история +65 Полином Жегалкина текущая
- 23:09, 24 октября 2026 разн. история +13 414 Н Полином Жегалкина Новая страница: «{{Определение |definition= Формула вида <math> \alpha_0 \oplus \alpha_1 x_1 \oplus \alpha_2 x_2 \oplus ... \oplus \alpha_n x_n \oplus \alpha...»
- 23:05, 24 октября 2026 разн. история 0 Н Файл:P38-03-triangular-system.svg текущая
- 23:05, 24 октября 2026 разн. история 0 Н Файл:P38-02-uniqueness-minimal-set.svg текущая
- 23:05, 24 октября 2026 разн. история 0 Н Файл:P38-01-monomial-coefficients.svg текущая
- 22:59, 24 октября 2026 разн. история +7184 Н Конъюнктивная нормальная форма Новая страница: «{{Определение |definition= Формула вида <math>x_{i_1}^{\sigma_{i_1}} \vee x_{i_2}^{\sigma_{i_2}} \vee \cdots \vee x_{i_k}^{\sigma_{i_k}}</ma...» текущая
- 22:56, 24 октября 2026 разн. история +3871 Н Дизъюнктивная нормальная форма Новая страница: «{{Определение |definition=Формула вида <math>x_{i_1}^{\sigma_{i_1}} x_{i_2}^{\sigma_{i_2}} \cdots x_{i_k}^{\sigma_{i_k}}</math>, где $x_{...» текущая
- 22:55, 24 октября 2026 разн. история 0 Н Файл:P37-01-table-to-sdnf-skpnf.svg текущая
- 22:52, 24 октября 2026 разн. история 0 Дискретная математика →Булевы функции
- 22:52, 24 октября 2026 разн. история +65 Разложение функции по переменным текущая
- 22:51, 24 октября 2026 разн. история +6905 Н Разложение функции по переменным Новая страница: «{{Определение |definition=Введем следующее обозначение: <math> x^{\sigma} = \left\{ \begin{array}{ll} x, & \sigma = 1,\\ \ove...»
- 22:48, 24 октября 2026 разн. история 0 Н Файл:P36-01-decomposition-by-variable.svg текущая
- 22:43, 24 октября 2026 разн. история +5471 Н Основные тождества Новая страница: «Как мы помним, формулы называют эквивалентными, когда соответствующие им функции совпад...»
- 22:43, 24 октября 2026 разн. история 0 Н Файл:P35-01-rewrite-chain.svg текущая
- 21:15, 24 октября 2026 разн. история +11 211 Н Формулы Новая страница: «Использование табличного задания функций часто неудобно. Во-первых, число строк в табли...» текущая
