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

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

Proshev

16 января 2012

Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
Нет описания правки
22:27
+89
Сокращённая и минимальная ДНФ
Нет описания правки
22:27
+89
КНФ
Нет описания правки
22:26
+89
ДНФ
Нет описания правки
22:26
+89
Определение булевой функции
Нет описания правки
22:26
+89
Алгоритм Флойда — Уоршалла
Нет описания правки
22:25
+89
Транзитивное замыкание
Нет описания правки
22:24
+89
Симметричное отношение
Нет описания правки
22:24
+89
Рефлексивное отношение
Нет описания правки
22:23
+89
Композиция отношений
Нет описания правки
22:23
+89

15 января 2012

Примитивно рекурсивные функции
Нет описания правки
03:25
+76

14 января 2012

Тестовая страница
Нет описания правки
20:16
+40
Решение задач по логике
Нет описания правки
20:01
+67
Геделева нумерация. Арифметизация доказательств
Нет описания правки
03:48
+67
Примитивно рекурсивные функции
Нет описания правки
03:48
+67
Секвенциальное и интуиционистское исчисление
Нет описания правки
03:48
+68
Теории первого порядка
Нет описания правки
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

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

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

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

Proshev

16 января 2012

Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно

Сокращённая и минимальная ДНФ

КНФ

ДНФ

Определение булевой функции

Алгоритм Флойда — Уоршалла

Транзитивное замыкание

Симметричное отношение

Рефлексивное отношение

Композиция отношений

15 января 2012

Примитивно рекурсивные функции

14 января 2012

Тестовая страница

Решение задач по логике

Геделева нумерация. Арифметизация доказательств

Примитивно рекурсивные функции

Секвенциальное и интуиционистское исчисление

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

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

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

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

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

13 января 2012

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

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

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

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

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

12 января 2012

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

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

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

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

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

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

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

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

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

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

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

Матлогика

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

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

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

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

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

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

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

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

Матлогика

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

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

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

Навигация

Поиск