Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 23:33, 16 января 2012 (разн. | история) . . (+169) . . Задача о наибольшей общей подпоследовательности
- 23:33, 16 января 2012 (разн. | история) . . (+169) . . Задача о расстановке знаков в выражении
- 23:32, 16 января 2012 (разн. | история) . . (-2) . . Кратчайший путь в ациклическом графе
- 23:31, 16 января 2012 (разн. | история) . . (+142) . . Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП
- 23:31, 16 января 2012 (разн. | история) . . (+142) . . Задача о минимуме/максимуме скалярного произведения
- 23:30, 16 января 2012 (разн. | история) . . (+142) . . Таблица инверсий
- 23:30, 16 января 2012 (разн. | история) . . (+142) . . Метод генерации случайной перестановки, алгоритм Фишера-Йетса
- 23:30, 16 января 2012 (разн. | история) . . (+142) . . Действие перестановки на набор из элементов, представление в виде циклов
- 23:29, 16 января 2012 (разн. | история) . . (+142) . . Правильные скобочные последовательности
- 23:29, 16 января 2012 (разн. | история) . . (+142) . . Цепные коды
- 23:29, 16 января 2012 (разн. | история) . . (+142) . . Коды Грея для перестановок
- 23:28, 16 января 2012 (разн. | история) . . (+142) . . Генерация комбинаторных объектов в лексикографическом порядке
- 23:28, 16 января 2012 (разн. | история) . . (+142) . . Лексикографический порядок
- 23:27, 16 января 2012 (разн. | история) . . (+89) . . Комбинаторные объекты
- 23:26, 16 января 2012 (разн. | история) . . (+58) . . Избыточное кодирование, код Хэмминга
- 23:26, 16 января 2012 (разн. | история) . . (0) . . Преобразование MTF
- 23:25, 16 января 2012 (разн. | история) . . (+58) . . Обратное преобразование Барроуза-Уиллера
- 23:24, 16 января 2012 (разн. | история) . . (+58) . . Преобразование Барроуза-Уилера
- 23:24, 16 января 2012 (разн. | история) . . (+58) . . Алгоритмы LZ77 и LZ78
- 23:23, 16 января 2012 (разн. | история) . . (0) . . Алгоритм Хаффмана
- 23:22, 16 января 2012 (разн. | история) . . (+90) . . Дерево Уоллеса
- 23:22, 16 января 2012 (разн. | история) . . (+90) . . Матричный умножитель
- 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) . . Математическая логика
- 03:16, 13 января 2012 (разн. | история) . . (-103) . . Математическая логика
- 03:15, 13 января 2012 (разн. | история) . . (+67) . . Лемма о дедукции, полнота исчисления высказываний
- 03:15, 13 января 2012 (разн. | история) . . (+67) . . Исчисление высказываний
- 23:30, 12 января 2012 (разн. | история) . . (-10) . . Лемма о дедукции, полнота исчисления высказываний (Отмена правки 16378 участника Proshev (обсуждение))
- 23:30, 12 января 2012 (разн. | история) . . (+10) . . Лемма о дедукции, полнота исчисления высказываний
- 22:59, 12 января 2012 (разн. | история) . . (+1) . . м Категория:Математическая логика
- 22:58, 12 января 2012 (разн. | история) . . (+77) . . Н Категория:Математическая логика (Новая страница: «Главная страница Математическая логика»)
- 22:58, 12 января 2012 (разн. | история) . . (+23) . . Лемма о дедукции, полнота исчисления высказываний
- 22:57, 12 января 2012 (разн. | история) . . (+23) . . Исчисление высказываний
- 22:56, 12 января 2012 (разн. | история) . . (+70) . . Исчисление высказываний
- 22:51, 12 января 2012 (разн. | история) . . (+411) . . Н Обсуждение:Математическая логика (Новая страница: «Может тогда именовать странички не Лекция Номер, а по вопросам сразу? Т.е. вместо Лекция Дв...») (текущая)
- 22:46, 12 января 2012 (разн. | история) . . (+4) . . Математическая логика (Отмена правки 16360 участника Proshev (обсуждение))
- 22:46, 12 января 2012 (разн. | история) . . (-4) . . Математическая логика
- 22:45, 12 января 2012 (разн. | история) . . (+8) . . Математическая логика
- 22:41, 12 января 2012 (разн. | история) . . (-19) . . Матлогика (Перенаправление на Математическая логика) (текущая)
- 22:39, 12 января 2012 (разн. | история) . . (-35) . . Математическая логика (→Экзамен)
- 22:39, 12 января 2012 (разн. | история) . . (-19) . . Заглавная страница
- 22:38, 12 января 2012 (разн. | история) . . (0) . . м Математическая логика (переименовал Математическая логика - 3 семестр в Математическая логика)
- 22:38, 12 января 2012 (разн. | история) . . (+77) . . Н Математическая логика - 3 семестр (переименовал Математическая логика - 3 семестр в Математическая логика) (текущая)
- 22:38, 12 января 2012 (разн. | история) . . (0) . . м Вопросы к экзамену по математической логике за 3 семестр (переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр)
- 22:38, 12 января 2012 (разн. | история) . . (+139) . . Н Вопросы к экзамену (переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр) (текущая)
- 22:37, 12 января 2012 (разн. | история) . . (-1) . . Заглавная страница
- 22:37, 12 января 2012 (разн. | история) . . (+67) . . Заглавная страница
- 22:34, 12 января 2012 (разн. | история) . . (0) . . м Математическая логика (переименовал Матлогика в Математическая логика - 3 семестр)
- 22:34, 12 января 2012 (разн. | история) . . (+96) . . Н Матлогика (переименовал Матлогика в Математическая логика - 3 семестр)
- 22:29, 12 января 2012 (разн. | история) . . (+67) . . Вопросы к экзамену по математической логике за 3 семестр
- 22:28, 12 января 2012 (разн. | история) . . (0) . . Математическая логика (→Экзамен)
- 22:27, 12 января 2012 (разн. | история) . . (+35) . . Математическая логика (→Экзамен)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)