Презентация Лекция RAISE Specification Language: базовые типы, логика, декартовы произведения, множества и операции с множествами онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Лекция RAISE Specification Language: базовые типы, логика, декартовы произведения, множества и операции с множествами абсолютно бесплатно. Урок-презентация на эту тему содержит всего 15 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:15 слайдов
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:107.00 kB
- Просмотров:106
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Лекция
RAISE Specification Language:
базовые типы, логика, декартовы произведения, множества и операции с множествами
№2 слайд
Содержание слайда: План лекции
Описания
Базовые типы
Логика
Декартовы произведения
Множества. Свойства множеств
Описание типов
Литералы и агрегаты
Операции с множествами
Диаграмма Гогена
Пример
№3 слайд
Содержание слайда: Описания
Типы (type)
Значения (value)
Переменные (variable)
Каналы (channel)
Схемы (scheme)
№4 слайд
Содержание слайда: Описания типов
type
type_definition1,
...
type_definitionn
Примеры
type
My_Nat = Nat,
ST1 = T1-set
Подтипы
type
limited_text = {|t : Text :- len t > 0|}
Максимальные типы
№5 слайд
Содержание слайда: Описания значений
value
value_definition1,
...
value_definitionn
Описание констант
value
V : Nat = 10**N
Описание функций
Всюду вычислимые функции, тотальные (total)
value
f : Int -> Nat
f (x) is
if x>0 then 1 else 0 end
Частично вычислимые функции, нетотальные
value
f : Real -~-> Real
f (x) is
1 / x
pre x ~= 0
№6 слайд
Содержание слайда: Описания переменных
variable
variable_definition1,
...
variable_definitionn
Пример
variable
v : Nat := 10**N,
t : Real
№7 слайд
Содержание слайда: Базовые типы
№8 слайд
Содержание слайда: Логика (1)
№9 слайд
Содержание слайда: Логика (2)
№10 слайд
Содержание слайда: Декартовы произведения
№11 слайд
Содержание слайда: Множества. Свойства множеств
каждый элемент встречается не более одного раза (не мультимножества)
не определен порядок
№12 слайд
Содержание слайда: Описание типов.
Литералы и агрегаты
Описание типов
type
ST1 = T1-set
ST2 = {| s : ST1 :- (card s < maxset) |}
NST1 = T1-infset
Литералы и агрегаты
{1,2,3}
{}
{x : Text :- x(1) = ‘a’}
№13 слайд
Содержание слайда: Операции с множествами
inter
isin
union
<<
<<=
>>
>>=
card
№14 слайд
Содержание слайда: Диаграмма Гогена
№15 слайд
Содержание слайда: Пример: SET_DATABASE
SET-DATABASE =
class
type
Record = Key >< Data,
Database = {( rs : Record-set • is_wf_Database(rs) )},
Key, Data
value
is_wf_Database : Record-set -> Bool
is_wf_Database(rs) is ( k : Key, d1,d2 : Data •
((k,d1) <= rs /\ (k,d2) <= rs) => d1 = d2),
empty : Database is {},
insert : Key >< Data >< Database -> Database
insert(k,d,db) is remove(k,db) U {(k,d)},
remove : Key >< Database -> Database
remove(k,db) is db \ {(k,d) ) d : Data • true},
defined : Key >< Database -> Bool
defined(k,db) is ( d : Data. (k.d) db),
lookup : Key >< Database -> Data
lookup(k,db) as d
post (k,d) db
pre defined(k,db)
end
Скачать все slide презентации Лекция RAISE Specification Language: базовые типы, логика, декартовы произведения, множества и операции с множествами одним архивом:
