Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Ревенко, Артем Викторович
05.13.17
Кандидатская
2013
Москва
152 с. : ил. + Прил.(с. 153-260)
Стоимость:
499 руб.
Оглавление
1 Введение
1.1 Анализ формальных понятий
1.2 Обнаружение зависимостей в данных
1.2.1 Предметные области
1.3 Общее описание работы
1.3.1 Актуальность
1.3.2 Цели работы
1.3.3 Основные результаты
1.3.4 Научная новизна
1.3.5 Практическая ценность
1.3.6 Апробация
1.4 Содержание
2 Теоретические положения
2.1 Основы теории решёток
2.2 Анализ формальных понятий
2.2.1 Исследование признаков
2.2.2 Диаграммы решеток
3 Исследование импликативной теории свойств функций на конечных множествах
3.1 Функции и свойства функций
3.1.1 Интерес к изучению свойств функций на конечных множествах
3.2 Изменение вида базисов
3.3 Базисы импликаций
3.3.1 Различия в базисах импликаций для функций
на множествах размера 2 и размера
3.3.2 Доказательства импликаций
3.3.3 Недоказанные импликации
3.4 Обобщение свойств функций
3.5 Выводы
4 Исследование импликативной теории алгебраических тождеств
4.1 Многообразия алгебр
4.2 Алгебраические тождества
4.3 Алгебры
4.3.1 Порождение алгебр на конечном носителе
4.3.2 Необходимость порождения алгебр на бесконечном носителе
4.3.3 Порождение алгебр на бесконечном носителе .
4.4 Выводы
5 Нахождение ошибок в содержаниях формальных объектов
5.1 Методы нахождение ошибок в различных областях
знаний
5.2 Нахождение ошибок в содержаниях формальных объектов
5.2.1 Классификация ошибок
5.2.2 Нахождение ошибок
5.2.3 Пример
5.2.4 Доказательство корректности и улучшения
5.2.5 Результаты поиска ошибок
5.3 Другое представление метода нахождения ошибок . .
5.4 Нахождение ошибок в исходном коде программы . . .
5.4.1 Ошибки в исходном программном коде
5.4.2 Отладка с помощью методов АФП
5.4.3 Выводы
Заключение
Литература
Приложение
1 Введение
после представления соответствующего метода нахождения ошибок в бинарных данных.
Название работы | Автор | Дата защиты |
---|---|---|
Формирование лингвистических шкал для процедур принятия согласованных групповых решений | Погосян, Кристине Самвеловна | 2013 |
Разработка алгоритмического обеспечения и исследование обобщенных моделей пропорциональных интенсивностей | Семёнова, Мария Александровна | 2015 |
Статистический анализ критериев для проверки гипотезы однородности распределений по случайно цензурированным наблюдениям | Филоненко, Петр Александрович | 2017 |