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

8 сентября 2016

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

  ‎Теорема о дедукции

  19:48

  -1

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

  ‎Теорема о дедукции: убрана возможно лишняя скобка в третьем пункте док-ва

  19:46

  -1

28 июня 2016

• Основные определения теории графов

  ‎Пути в графах: опечатка

  15:44

  -1

21 апреля 2016

• Получение следующего объекта

  ‎Специализация алгоритма для генерации следующей перестановки: исправление опечатки в алгоритме

  22:18

  -4

24 января 2016

• СНМ (реализация с помощью леса корневых деревьев)

  ‎Анализ реализации с ранговой эвристикой

  20:29

• СНМ (реализация с помощью леса корневых деревьев)

  Нет описания правки

  20:07

  +31

23 января 2016

• Алгоритм цифровой сортировки суффиксов циклической строки

  ‎Описание алгоритма: исправлена опечатка

  13:39

18 января 2016

• Простейшие методы синтеза схем из функциональных элементов

  ‎Метод синтеза схем К.Э.Шеннона: Исправлена ссылка на Шеннона

  14:09

  -7

• Полином Жегалкина

  ‎Преобразование Мёбиуса: Так вроде понятней.

  10:43

  +14

• Полные системы функций. Теорема Поста о полной системе функций

  Исправлена опечатка

  09:01

  +1