Вклад участника

Перейти к: навигация, поиск

Proshev

14 января 2012

Теории первого порядка
Нет описания правки
03:48
+67
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
03:47
+116
Теория множеств
Нет описания правки
03:47
+116
Теоретический минимум по математической логике за 3 семестр
Нет описания правки
03:46
+116
Теория множеств
Нет описания правки
03:45
+1

13 января 2012

Математическая логика
Нет описания правки
03:18
Математическая логика
Нет описания правки
03:17
-1
Математическая логика
Нет описания правки
03:16
-103
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
03:15
+67
Исчисление высказываний
Нет описания правки
03:15
+67

12 января 2012

Лемма о дедукции, полнота исчисления высказываний
Отмена правки 16378 участника Proshev (обсуждение)
23:30
-10
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
23:30
+10
Категория:Математическая логика
Нет описания правки
м
22:59
+1
Категория:Математическая логика
Новая страница: «Главная страница Математическая логика»
22:58
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
22:58
+23
Исчисление высказываний
Нет описания правки
22:57
+23
Исчисление высказываний
Нет описания правки
22:56
+70
Обсуждение:Математическая логика
Новая страница: «Может тогда именовать странички не Лекция Номер, а по вопросам сразу? Т.е. вместо Лекция Дв...»
22:51
Математическая логика
Отмена правки 16360 участника Proshev (обсуждение)
22:46
+4
Математическая логика
Нет описания правки
22:46
-4
Математическая логика
Нет описания правки
22:45
+8
Матлогика
Перенаправление на Математическая логика
22:41
-19
Математическая логика
‎Экзамен
22:39
-35
Заглавная страница
Нет описания правки
22:39
-19
Математическая логика - 3 семестр
переименовал Математическая логика - 3 семестр в Математическая логика
22:38
Математическая логика
переименовал Математическая логика - 3 семестр в Математическая логика
м
22:38
Вопросы к экзамену
переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр
22:38
Вопросы к экзамену по математической логике за 3 семестр
переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр
м
22:38
Заглавная страница
Нет описания правки
22:37
-1
Заглавная страница
Нет описания правки
22:37
+67
Матлогика
переименовал Матлогика в Математическая логика - 3 семестр
22:34
Математическая логика
переименовал Матлогика в Математическая логика - 3 семестр
м
22:34
Вопросы к экзамену по математической логике за 3 семестр
Нет описания правки
22:29
+67
Математическая логика
‎Экзамен
22:28
Математическая логика
‎Экзамен
22:27
+35
Теоретический минимум по математическому анализу за 3 семестр
Нет описания правки
22:26
+77
Математическая логика
Нет описания правки
22:26
+2
Математическая логика
Нет описания правки
22:25
+134

10 января 2012

Теорема Фубини
Нет описания правки
21:50
+160

30 декабря 2011

Категория:Вычислительная геометрия
Новая страница: «Конспекты лекции Ковалева Антона»
20:36
Представление чисел с плавающей точкой
Нет описания правки
20:34
+73
Предикат "левый поворот"
Нет описания правки
20:33
+73
Интервальная арифметика
Нет описания правки
20:33
+73
Adaptive precision arithmetic
Нет описания правки
20:33
+74
Алгоритм Бентли-Оттмана
Нет описания правки
20:32
+73
Вычислительная геометрия
Нет описания правки
20:32
+73
Теоремы о периодичности и чистой периодичности приведённых квадратичных иррациональностей
Нет описания правки
20:28
-8
Представление конечных групп перестановками (регулярное представление группы)
Нет описания правки
20:28
-8
Порядок элемента группы, циклические группы, конечно порождённые группы, p-группы
Нет описания правки
20:28
-8
Квадратичные иррациональности и приведённый вид
Нет описания правки
20:26
-7

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Proshev»

Вклад участника

Proshev

14 января 2012

Теории первого порядка

1я и 2я теоремы Геделя о неполноте арифметики

Теория множеств

Теоретический минимум по математической логике за 3 семестр

Теория множеств

13 января 2012

Математическая логика

Математическая логика

Математическая логика

Лемма о дедукции, полнота исчисления высказываний

Исчисление высказываний

12 января 2012

Лемма о дедукции, полнота исчисления высказываний

Лемма о дедукции, полнота исчисления высказываний

Категория:Математическая логика

Категория:Математическая логика

Лемма о дедукции, полнота исчисления высказываний

Исчисление высказываний

Исчисление высказываний

Обсуждение:Математическая логика

Математическая логика

Математическая логика

Математическая логика

Матлогика

Математическая логика

Заглавная страница

Математическая логика - 3 семестр

Математическая логика

Вопросы к экзамену

Вопросы к экзамену по математической логике за 3 семестр

Заглавная страница

Заглавная страница

Матлогика

Математическая логика

Вопросы к экзамену по математической логике за 3 семестр

Математическая логика

Математическая логика

Теоретический минимум по математическому анализу за 3 семестр

Математическая логика

Математическая логика

10 января 2012

Теорема Фубини

30 декабря 2011

Категория:Вычислительная геометрия

Представление чисел с плавающей точкой

Предикат "левый поворот"

Интервальная арифметика

Adaptive precision arithmetic

Алгоритм Бентли-Оттмана

Вычислительная геометрия

Теоремы о периодичности и чистой периодичности приведённых квадратичных иррациональностей

Представление конечных групп перестановками (регулярное представление группы)

Порядок элемента группы, циклические группы, конечно порождённые группы, p-группы

Квадратичные иррациональности и приведённый вид

Навигация

Поиск