Вклад участника
16 января 2012
Преобразование Барроуза-Уилера
Нет описания правки
+89
Алгоритмы LZ77 и LZ78
Нет описания правки
+89
Алгоритм Хаффмана
Нет описания правки
+89
Дерево Уоллеса
Нет описания правки
+89
Матричный умножитель
Нет описания правки
+89
Каскадный сумматор
Нет описания правки
+89
Cумматор
Нет описания правки
+89
Реализация булевой функции схемой из функциональных элементов
Нет описания правки
+89
Пороговая функция
Нет описания правки
+89
Специальные формы КНФ
Нет описания правки
+89
Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
Нет описания правки
+89
Сокращённая и минимальная ДНФ
Нет описания правки
+89
КНФ
Нет описания правки
+89
ДНФ
Нет описания правки
+89
Определение булевой функции
Нет описания правки
+89
Алгоритм Флойда — Уоршалла
Нет описания правки
+89
Транзитивное замыкание
Нет описания правки
+89
Симметричное отношение
Нет описания правки
+89
Рефлексивное отношение
Нет описания правки
+89
Композиция отношений
Нет описания правки
+89
15 января 2012
14 января 2012
Тестовая страница
Нет описания правки
+40
Решение задач по логике
Нет описания правки
+67
Геделева нумерация. Арифметизация доказательств
Нет описания правки
+67
Примитивно рекурсивные функции
Нет описания правки
+67
Секвенциальное и интуиционистское исчисление
Нет описания правки
+68
Теории первого порядка
Нет описания правки
+67
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+116
Теория множеств
Нет описания правки
+116
Теоретический минимум по математической логике за 3 семестр
Нет описания правки
+116
Теория множеств
Нет описания правки
+1
13 января 2012
Математическая логика
Нет описания правки
Математическая логика
Нет описания правки
-1
Математическая логика
Нет описания правки
-103
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
+67
Исчисление высказываний
Нет описания правки
+67
12 января 2012
Лемма о дедукции, полнота исчисления высказываний
Отмена правки 16378 участника Proshev (обсуждение)
-10
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
+10
Категория:Математическая логика
Нет описания правки
м+1
Категория:Математическая логика
Новая страница: «Главная страница Математическая логика»
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
+23
Исчисление высказываний
Нет описания правки
+23
Исчисление высказываний
Нет описания правки
+70
Обсуждение:Математическая логика
Новая страница: «Может тогда именовать странички не Лекция Номер, а по вопросам сразу? Т.е. вместо Лекция Дв...»
Математическая логика
Отмена правки 16360 участника Proshev (обсуждение)
+4
Математическая логика
Нет описания правки
-4
Математическая логика
Нет описания правки
+8
Матлогика
Перенаправление на Математическая логика
-19
Математическая логика
Экзамен
-35
Заглавная страница
Нет описания правки
-19