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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «= Первый семестр = == Отношения == *Определение отношения *[[Композиция отношений|Компози...»)
 
Строка 1: Строка 1:
−
= Первый семестр =
+
== 1. Отношения ==
 +
# [[Определение отношения]]
 +
## Определение степени отношения есть и здесь и в следующем конспекте, непорядок. Сделать ссылку на следующий вроде "Операции над отношениями"
 +
## На виды и примеры отношений дать внутренние ссылки
 +
## англоязычные термины
 +
## пункт "Определение" не нужен, см. правила форматирования конспектов
 +
# [[Композиция отношений|Композиция отношений, степерь отношения, обратное отношение]]
 +
## см. пункт 1.1
 +
## англоязычные термины
 +
# [[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]
 +
## англоязычные термины
 +
## добавить внутренних ссылок на эквивдентность, порядки и т.д.
 +
# [[Симметричное отношение]]
 +
## англоязычные термины
 +
# [[Антисимметричное отношение]]
 +
## англоязычные термины, на отношения порядка теперь есть внутренние ссылки, убрать внешние
 +
# [[Транзитивное отношение]]
 +
## англоязычные термины
 +
# [[Отношение порядка]]
 +
## англоязычные термины
 +
# [[Отношение эквивалентности]]
 +
## пункт "определение" не нужен
 +
## англоязычные термины
 +
# [[Транзитивное замыкание|Транзитивное замыкание отношения]]
 +
## англоязычные термины
 +
# [[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]
 +
## пункт "Задача" не нужен
 +
## интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.
 +
# [[Транзитивный остов]]
 +
## возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"
 +
## если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец
 +
## аналогично предыдущему, придумать обобщение на случай бесконечных отношений
  
−
== Отношения ==
+
== 2. Булевы функции ==
−
*[[Определение отношения]]
+
# [[Определение булевой функции]]
−
*[[Композиция отношений|Композиция отношений, степерь отношения, обратное отношение]]
+
# [[Суперпозиции]]
−
*[[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]
+
# [[ДНФ]]
−
*[[Симметричное отношение]]
+
# [[КНФ]]
−
*[[Антисимметричное отношение]]
+
# [[Полином Жегалкина]]
−
*[[Транзитивное отношение]]
+
# [[Полные системы функций. Теорема Поста о полной системе функций]]
−
*[[Отношение порядка]]
+
# [[Сокращенная и минимальная ДНФ]]
−
*[[Отношение эквивалентности]]
+
# [[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]]
−
*[[Транзитивное замыкание|Транзитивное замыкание отношения]]
+
# [[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
−
*[[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]
+
# [[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]]
−
*[[Транзитивный остов]]
+
# [[Представление функции класса DM с помощью медианы]]
−
 
+
# [[Пороговая функция]]
−
== Булевы функции ==
 
−
*[[Определение булевой функции]]
 
−
*[[Суперпозиции]]
 
−
*[[ДНФ]]
 
−
*[[КНФ]]
 
−
*[[Полином Жегалкина]]
 
−
*[[Полные системы функций. Теорема Поста о полной системе функций]]
 
−
*[[Сокращенная и минимальная ДНФ]]
 
−
*[[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]]
 
−
*[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
 
−
*[[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]]
 
−
*[[Представление функции класса DM с помощью медианы]]
 
−
*[[Пороговая функция]]
 
  
 
== Схемы из функциональных элементов ==
 
== Схемы из функциональных элементов ==

Версия 08:52, 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. Определение булевой функции
  2. Суперпозиции
  3. ДНФ
  4. КНФ
  5. Полином Жегалкина
  6. Полные системы функций. Теорема Поста о полной системе функций
  7. Сокращенная и минимальная ДНФ
  8. Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно
  9. Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома
  10. Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина
  11. Представление функции класса DM с помощью медианы
  12. Пороговая функция

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

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

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

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

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

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

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

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