PPt4Web Хостинг презентаций

Главная / Математика / базовые типы, логика, декартовы произведени
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: базовые типы, логика, декартовы произведени


Скачать эту презентацию

Презентация на тему: базовые типы, логика, декартовы произведени


Скачать эту презентацию

№ слайда 1 Лекция RAISE Specification Language: базовые типы, логика, декартовы произведени
Описание слайда:

Лекция RAISE Specification Language: базовые типы, логика, декартовы произведения, множества и операции с множествами

№ слайда 2 План лекции Описания Базовые типы Логика Декартовы произведения Множества. Свойс
Описание слайда:

План лекции Описания Базовые типы Логика Декартовы произведения Множества. Свойства множеств Описание типов Литералы и агрегаты Операции с множествами Диаграмма Гогена Пример

№ слайда 3 Описания Типы (type) Значения (value) Переменные (variable) Каналы (channel) Схе
Описание слайда:

Описания Типы (type) Значения (value) Переменные (variable) Каналы (channel) Схемы (scheme)

№ слайда 4 Описания типов type type_definition1, ... type_definitionn  Примеры type My
Описание слайда:

Описания типов 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 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 &nbs
Описание слайда:

Описания переменных variable variable_definition1, ... variable_definitionn   Пример variable v : Nat := 10**N, t : Real  

№ слайда 7 Базовые типы
Описание слайда:

Базовые типы

№ слайда 8 Логика (1)
Описание слайда:

Логика (1)

№ слайда 9 Логика (2)
Описание слайда:

Логика (2)

№ слайда 10 Декартовы произведения
Описание слайда:

Декартовы произведения

№ слайда 11 Множества. Свойства множеств каждый элемент встречается не более одного раза (не
Описание слайда:

Множества. Свойства множеств каждый элемент встречается не более одного раза (не мультимножества) не определен порядок

№ слайда 12 Описание типов. Литералы и агрегаты Описание типов type ST1 = T1-set ST2 = {| s
Описание слайда:

Описание типов. Литералы и агрегаты Описание типов 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 << <<= >> >>= ca
Описание слайда:

Операции с множествами inter isin union << <<= >> >>= card

№ слайда 14 Диаграмма Гогена
Описание слайда:

Диаграмма Гогена

№ слайда 15 Пример: SET_DATABASE SET-DATABASE = class type Record = Key >< Data, Datab
Описание слайда:

Пример: 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

Скачать эту презентацию

Презентации по предмету
Презентации из категории
Лучшее на fresher.ru