Вклад участника
16 января 2012
Матричный умножитель
Нет описания правки
+90
Каскадный сумматор
Нет описания правки
+90
Cумматор
Нет описания правки
+90
Пороговая функция
Нет описания правки
+54
Специальные формы КНФ
Нет описания правки
+54
Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
Нет описания правки
+54
Сокращённая и минимальная ДНФ
Нет описания правки
+54
КНФ
Нет описания правки
+54
ДНФ
Нет описания правки
+54
Алгоритм Флойда — Уоршалла
Нет описания правки
+43
Транзитивное замыкание
Нет описания правки
+43
Симметричное отношение
Нет описания правки
+43
Рефлексивное отношение
Нет описания правки
+43
Композиция отношений
Нет описания правки
+43
Избыточное кодирование, код Хэмминга
Нет описания правки
+89
Расстояние Хэмминга
Нет описания правки
+89
Преобразование MTF
Нет описания правки
+89
Обратное преобразование Барроуза-Уиллера
Нет описания правки
+89
Преобразование Барроуза-Уилера
Нет описания правки
+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