Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 23:21, 16 января 2012 (разн. | история) . . (+90) . . Каскадный сумматор
- 23:21, 16 января 2012 (разн. | история) . . (+90) . . Cумматор
- 23:20, 16 января 2012 (разн. | история) . . (+54) . . Пороговая функция
- 23:19, 16 января 2012 (разн. | история) . . (+54) . . Специальные формы КНФ
- 23:19, 16 января 2012 (разн. | история) . . (+54) . . Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
- 23:19, 16 января 2012 (разн. | история) . . (+54) . . Сокращённая и минимальная ДНФ
- 23:18, 16 января 2012 (разн. | история) . . (+54) . . КНФ
- 23:18, 16 января 2012 (разн. | история) . . (+54) . . ДНФ
- 23:07, 16 января 2012 (разн. | история) . . (+43) . . Алгоритм Флойда — Уоршалла
- 23:07, 16 января 2012 (разн. | история) . . (+43) . . Транзитивное замыкание
- 23:05, 16 января 2012 (разн. | история) . . (+43) . . Симметричное отношение
- 23:04, 16 января 2012 (разн. | история) . . (+43) . . Рефлексивное отношение
- 23:04, 16 января 2012 (разн. | история) . . (+43) . . Композиция отношений
- 22:33, 16 января 2012 (разн. | история) . . (+89) . . Избыточное кодирование, код Хэмминга
- 22:33, 16 января 2012 (разн. | история) . . (+89) . . Расстояние Хэмминга
- 22:32, 16 января 2012 (разн. | история) . . (+89) . . Преобразование MTF
- 22:32, 16 января 2012 (разн. | история) . . (+89) . . Обратное преобразование Барроуза-Уиллера
- 22:32, 16 января 2012 (разн. | история) . . (+89) . . Преобразование Барроуза-Уилера
- 22:31, 16 января 2012 (разн. | история) . . (+89) . . Алгоритмы LZ77 и LZ78
- 22:31, 16 января 2012 (разн. | история) . . (+89) . . Алгоритм Хаффмана
- 22:29, 16 января 2012 (разн. | история) . . (+89) . . Дерево Уоллеса
- 22:29, 16 января 2012 (разн. | история) . . (+89) . . Матричный умножитель
- 22:29, 16 января 2012 (разн. | история) . . (+89) . . Каскадный сумматор
- 22:29, 16 января 2012 (разн. | история) . . (+89) . . Cумматор
- 22:28, 16 января 2012 (разн. | история) . . (+89) . . Реализация булевой функции схемой из функциональных элементов
- 22:28, 16 января 2012 (разн. | история) . . (+89) . . Пороговая функция
- 22:27, 16 января 2012 (разн. | история) . . (+89) . . Специальные формы КНФ
- 22:27, 16 января 2012 (разн. | история) . . (+89) . . Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
- 22:27, 16 января 2012 (разн. | история) . . (+89) . . Сокращённая и минимальная ДНФ
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . КНФ
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . ДНФ
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . Определение булевой функции
- 22:25, 16 января 2012 (разн. | история) . . (+89) . . Алгоритм Флойда — Уоршалла
- 22:24, 16 января 2012 (разн. | история) . . (+89) . . Транзитивное замыкание
- 22:24, 16 января 2012 (разн. | история) . . (+89) . . Симметричное отношение
- 22:23, 16 января 2012 (разн. | история) . . (+89) . . Рефлексивное отношение
- 22:23, 16 января 2012 (разн. | история) . . (+89) . . Композиция отношений
- 03:25, 15 января 2012 (разн. | история) . . (+76) . . Примитивно рекурсивные функции
- 20:16, 14 января 2012 (разн. | история) . . (+40) . . Тестовая страница
- 20:01, 14 января 2012 (разн. | история) . . (+67) . . Решение задач по логике
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Геделева нумерация. Арифметизация доказательств
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Примитивно рекурсивные функции
- 03:48, 14 января 2012 (разн. | история) . . (+68) . . Секвенциальное и интуиционистское исчисление
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Теории первого порядка
- 03:47, 14 января 2012 (разн. | история) . . (+116) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 03:47, 14 января 2012 (разн. | история) . . (+116) . . Теория множеств
- 03:46, 14 января 2012 (разн. | история) . . (+116) . . Теоретический минимум по математической логике за 3 семестр
- 03:45, 14 января 2012 (разн. | история) . . (+1) . . Теория множеств
- 03:18, 13 января 2012 (разн. | история) . . (0) . . Математическая логика
- 03:17, 13 января 2012 (разн. | история) . . (-1) . . Математическая логика
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)