Участник:Dgerasimov/Тикеты по конспектам year2013 — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(→‎2. Булевы функции)
(→‎Схемы из функциональных элементов)
Строка 56: Строка 56:
 
# [[Пороговая функция]]
 
# [[Пороговая функция]]
  
−
== Схемы из функциональных элементов ==
+
== 3. Схемы из функциональных элементов ==
−
*[[Реализация булевой функции схемой из функциональных элементов]]
+
# [[Реализация булевой функции схемой из функциональных элементов]]
−
*[[Теорема о нижней границе для количества элементов в схеме]]
+
## англоязычных терминов (на схемную сложность, глубину схемы)
−
*[[Cумматор]]
+
# [[Теорема о нижней границе для количества элементов в схеме]]
−
*[[Каскадный сумматор]]
+
# [[Cумматор]]
−
*[[Двоичный каскадный сумматор]]
+
## англоязычных терминов
−
*[[Реализация вычитания сумматором]]
+
# [[Каскадный сумматор]]
−
*[[Матричный умножитель]]
+
## англоязычных терминов
−
*[[Дерево Уоллеса]]
+
# [[Двоичный каскадный сумматор]]
 +
## англоязычных терминов
 +
## из определения не ясно, чем двоичный каскадный отличается от просто каскадного, надо это в определение запихать
 +
# [[Реализация вычитания сумматором]]
 +
# [[Матричный умножитель]]
 +
## пункт "определение" не нужен
 +
## англоязычных терминов
 +
## надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
 +
# [[Дерево Уоллеса]]
 +
## пункт "определение" не нужен
 +
## англоязычных терминов
 +
## надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
  
 
== Представление информации ==
 
== Представление информации ==

Версия 09:19, 17 октября 2013

1. Отношения

  1. Определение отношения
    1. Определение степени отношения есть и здесь и в следующем конспекте, непорядок. Сделать ссылку на следующий вроде "Операции над отношениями"
    2. На виды и примеры отношений дать внутренние ссылки
    3. англоязычные термины
    4. пункт "Определение" не нужен, см. правила форматирования конспектов
  2. Композиция отношений, степерь отношения, обратное отношение
    1. см. пункт 1.1
    2. англоязычные термины
  3. Рефлексивное отношение. Антирефлексивное отношение.
    1. англоязычные термины
    2. добавить внутренних ссылок на эквивдентность, порядки и т.д.
  4. Симметричное отношение
    1. англоязычные термины
  5. Антисимметричное отношение
    1. англоязычные термины, на отношения порядка теперь есть внутренние ссылки, убрать внешние
  6. Транзитивное отношение
    1. англоязычные термины
  7. Отношение порядка
    1. англоязычные термины
  8. Отношение эквивалентности
    1. пункт "определение" не нужен
    2. англоязычные термины
  9. Транзитивное замыкание отношения
    1. англоязычные термины
  10. Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения
    1. пункт "Задача" не нужен
    2. интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.
  11. Транзитивный остов
    1. возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"
    2. если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец
    3. аналогично предыдущему, придумать обобщение на случай бесконечных отношений

2. Булевы функции

  1. Определение булевой функции
    1. англоязычных терминов
  2. Суперпозиции
    1. англоязычных терминов
  3. ДНФ
    1. англоязычных терминов
    2. писать каждое слово с большой буквы (типа Дизъюнктивная Нормальная Форма) не надо
  4. Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна
    1. англоязычных терминов
  5. КНФ
    1. англоязычных терминов
    2. писать каждое слово с большой буквы (типа Конъюнктивная Нормальная Форма) не надо
  6. Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома
    1. англоязычных терминов
    2. написать, почему факт того, что существует полиномиальный алгоритм, интересен
  7. Полином Жегалкина, преобразование Мёбиуса
    1. англоязычных терминов
    2. "Предпосылки" — странное название, переименовать в "Полнота", например
  8. Полные системы функций. Теорема Поста о полной системе функций
    1. англоязычных терминов
  9. Представление функции класса DM с помощью медианы
  10. Пороговая функция

3. Схемы из функциональных элементов

  1. Реализация булевой функции схемой из функциональных элементов
    1. англоязычных терминов (на схемную сложность, глубину схемы)
  2. Теорема о нижней границе для количества элементов в схеме
  3. Cумматор
    1. англоязычных терминов
  4. Каскадный сумматор
    1. англоязычных терминов
  5. Двоичный каскадный сумматор
    1. англоязычных терминов
    2. из определения не ясно, чем двоичный каскадный отличается от просто каскадного, надо это в определение запихать
  6. Реализация вычитания сумматором
  7. Матричный умножитель
    1. пункт "определение" не нужен
    2. англоязычных терминов
    3. надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
  8. Дерево Уоллеса
    1. пункт "определение" не нужен
    2. англоязычных терминов
    3. надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга

Представление информации

Алгоритмы сжатия

Комбинаторика

Динамическое программирование

Теория вероятностей

Марковские цепи

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Участник:Dgerasimov/Тикеты_по_конспектам_year2013&oldid=33134»