Вклад участника
14 января 2012
Теории первого порядка
Больше формальности!: ололол
+820
Теории первого порядка
Больше формальности!: опечатки
м+2
Теории первого порядка
Больше формальности!
м-431
Теории первого порядка
Больше формальности!
-17
Исчисление предикатов
Правила вывода: очень важная правка http://twitter.com/sementry/status/158011592393490432
+5
Теории первого порядка
Свойства сложения
+77
Теории первого порядка
ололо
+417
Теории первого порядка
Коммутативность сложения
+614
Теории первого порядка
+Заголовок
м+225
Теории первого порядка
Нет описания правки
м+43
Теории первого порядка
Теории первого порядка: добавил лемму
+565
Исчисление предикатов
Итог
м+8
Исчисление предикатов
Исчисление предикатов
+122
Исчисление предикатов
Нет описания правки
м+3
Исчисление предикатов
Аксиомы
-363
Исчисление предикатов
Аксиомы: кококо ручками переделывать из TeX в wiki
+33
Исчисление предикатов
Нет описания правки
+2340
Математическая логика
Нет описания правки
м-30
Математическая логика
Нет описания правки
м+3
Математическая логика
Нет описания правки
+90
Обсуждение:Исчисление высказываний
Нет описания правки
мОбсуждение:Исчисление высказываний
Нет описания правки
м+84
Обсуждение:Исчисление высказываний
Расширим грамматику из предыдущего раздела:: Новая тема
+465
13 января 2012
Обсуждение:Представление символов, таблицы кодировок
Нет описания правки
+224
Обсуждение:Полные системы функций. Теорема Поста о полной системе функций
Нет описания правки
м+10
Вопросы к экзамену по математической логике за 3 семестр
Нет описания правки
м+36
12 января 2012
Обсуждение:Полные системы функций. Теорема Поста о полной системе функций
Нет описания правки
м+1
Обсуждение:ДНФ
Нет описания правки
-101
ДНФ
СДНФ
м+6
Обсуждение:ДНФ
новое замечание
+101
11 января 2012
Теорема Фубини
Принцип Кавальери(?)
+30
Сходимость по мере
Теорема Лебега
мПредельный переход в классе измеримых функций
1
м+8
Процесс Каратеодори
Следствие
+25
Обсуждение:Процесс Каратеодори
Определение мю* измеримости
+200
Процесс Каратеодори
Некоторые свойства полученной меры: может так?
-26
Обсуждение:Процесс Каратеодори
Определение мю* измеримости
+109
Обсуждение:Процесс Каратеодори
Нет описания правки
м+87
Обсуждение:Процесс Каратеодори
Определение мю* измеримости
+187
Обсуждение:Процесс Каратеодори
Определение мю* измеримости
+417
Обсуждение:Мера Лебега в R^n
Где содержится сигма алгебра
+97
Мера Лебега в R^n
Нет описания правки
+4
Обсуждение:Мера Лебега в R^n
Нет описания правки
м+86
Обсуждение:Мера Лебега в R^n
Где содержится сигма алгебра: Новая тема
+224
Обсуждение:Процесс Каратеодори
Определение мю* измеримости: Новая тема
+321
Мера, порождённая внешней мерой
Нет описания правки
+8
Полукольца и алгебры
Алгебра
м+2
10 января 2012
Обсуждение:Неотрицательные суммируемые функции
Нет описания правки
м-13
Обсуждение:Неотрицательные суммируемые функции
Суммируемая функция: Новая тема
+422
Обсуждение:Предельный переход в классе измеримых функций
Нет описания правки
+248