Презентация Современные проблемы информатики Лекция 2 Алгебра поведений онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Современные проблемы информатики Лекция 2 Алгебра поведений абсолютно бесплатно. Урок-презентация на эту тему содержит всего 17 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:17 слайдов
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:122.50 kB
- Просмотров:86
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Современные проблемы информатики
Лекция 2
Алгебра поведений
№2 слайд
Содержание слайда:
№3 слайд
Содержание слайда: Алгебра поведений
Два сорта: <U, A>
U – поведения
A – действия
Сигнатура:
префиксинг a.u
недетерминированный выбор u + v
константы
отношение аппроксимации
Аксиомы:
аci для недетерминированного выбора
0 есть нейтральный элемент недетерминированного выбора
есть отношение частичного порядка с наименьшим элементом
Обе операции монотонны и непрерывны (сохраняют наименьшие верхние грани)
№4 слайд
Содержание слайда: Монотонность
№5 слайд
Содержание слайда: Непрерывность
№6 слайд
Содержание слайда:
№7 слайд
Содержание слайда: Поведение есть элемент
алгебры поведений
№8 слайд
Содержание слайда: Как построить алгебру всех поведений произвольных систем над множеством действий А?
№9 слайд
Содержание слайда: Алгебра конечных поведений
Ffin(A)
№10 слайд
Содержание слайда: Каноническая форма
№11 слайд
Содержание слайда: Критерий аппроксимации
№12 слайд
Содержание слайда: Ffin(A) есть инициальная алгебра поведений
№13 слайд
Содержание слайда: Алгебра поведений конечной высоты
№14 слайд
Содержание слайда: Полная алгебра поведений F(A)
№15 слайд
Содержание слайда: Каноническая форма в алгебре F(A)
№16 слайд
Содержание слайда: Теорема о неподвижной точке
№17 слайд
Содержание слайда: Следующая лекция
Поведение транзиционных систем
Скачать все slide презентации Современные проблемы информатики Лекция 2 Алгебра поведений одним архивом:
