Современные проблемы информатики Лекция 2 Алгебра поведений

Содержание ▲

Вы можете ознакомиться и скачать Современные проблемы информатики Лекция 2 Алгебра поведений. Презентация содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Современные проблемы информатики Лекция 2 Алгебра поведений

Слайд 2

Описание слайда:

Слайд 3

Описание слайда:

Алгебра поведений Два сорта: <U, A> U – поведения A – действия Сигнатура: префиксинг a.u недетерминированный выбор u + v константы  отношение аппроксимации Аксиомы: аci для недетерминированного выбора 0 есть нейтральный элемент недетерминированного выбора есть отношение частичного порядка с наименьшим элементом  Обе операции монотонны и непрерывны (сохраняют наименьшие верхние грани)