Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоПлан лекцииОписанияБазовые типыЛогикаДекартовы произведенияМножества. Свойства множествОписание типовЛитералы и агрегатыОперации с множествамиДиаграмма ГогенаПример
ЛекцияRAISE Specification Language:базовые типы, логика, декартовы произведения, множества и операции с множествами ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоПлан лекцииОписанияБазовые типыЛогикаДекартовы произведенияМножества. Свойства ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания Типы (type)Значения (value)Переменные (variable)Каналы (channel)Схемы (scheme) ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания типовtype type_definition1, ... type_definitionn Примерыtype My_Nat = Nat, ST1 ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания значенийvalue value_definition1, ...value_definitionn Описание константvalue V ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания переменныхvariable variable_definition1, ...variable_definitionn Примерvariable v : ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоБазовые типыBool -- {true, false}Nat -- Int -- ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (1) ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (2) ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДекартовы произведенияОписание типаPT1 = T1 ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоМножества. Свойства множествкаждый элемент встречается ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписание типов. Литералы и ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОперации с множествамиinter isin  union ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДиаграмма ГогенаBoolT-setЗадание: Нарисуйте связи, которые ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоПример: SET_DATABASESET-DATABASE =classtypeRecord = Key
Слайды презентации

Слайд 2 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
План

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоПлан лекцииОписанияБазовые типыЛогикаДекартовы произведенияМножества.

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

множествами
Диаграмма Гогена
Пример

Слайд 3 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Описания

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания Типы (type)Значения (value)Переменные (variable)Каналы (channel)Схемы (scheme)



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

Слайд 4 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Описания

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания типовtype type_definition1, ... type_definitionn Примерыtype My_Nat =

типов
type
type_definition1,
...
type_definitionn 
Примеры
type
My_Nat = Nat,
ST1 = T1-set
Подтипы
type
limited_text = {|t :

Text :- len t > 0|}
Максимальные типы

Слайд 5 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Описания

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания значенийvalue value_definition1, ...value_definitionn Описание константvalue

значений
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 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Описания

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания переменныхvariable variable_definition1, ...variable_definitionn Примерvariable v

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

Слайд 7 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Базовые

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоБазовые типыBool -- {true, false}Nat --

типы
Bool -- {true, false}
Nat --
Int --

... –1, 0, 1, ... .>
Real -- ... 0.0 ...
Char -- 'a', 'A', ...
Text -- "abc"
<никакого типа> -- Unit

Слайд 8 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Логика

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (1)

Слайд 9 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Логика

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (2)

Слайд 10 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Декартовы

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДекартовы произведенияОписание типаPT1 =

произведения
Описание типа
PT1 = T1 >< T2 >< T3
PT2 =

T1 >< (T2 >< T3)
Литералы и агрегаты
(1,2,3)
(1,(2,3))
Операции
=
~=

Слайд 11 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Множества.

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоМножества. Свойства множествкаждый элемент

Свойства множеств
каждый элемент встречается не более одного раза (не

мультимножества)
не определен порядок

Слайд 12 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Описание

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписание типов. Литералы и

типов. Литералы и агрегаты
Описание типов
type
ST1 = T1-set
ST2 =

{| s : ST1 :- (card s < maxset) |}
NST1 = T1-infset

Литералы и агрегаты
{1,2,3}
{}
{x : Text :- x(1) = ‘a’}

Слайд 13 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Операции

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОперации с множествамиinter isin  union

с множествами
inter
isin 
union 


<< 
<<= 
>> 
>>= 
card

Слайд 14 ВМиК МГУ,
сентябрь-декабрь 2001
Формальные спецификации программ-I, Лекция 3. А.К.Петренко
Диаграмма

ВМиК МГУ,сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДиаграмма ГогенаBoolT-setЗадание: Нарисуйте связи,

Гогена
Bool
T-set
Задание: Нарисуйте связи, которые задают операции над множествами между

этими типами данных
  • Имя файла: raise-specification-language-bazovye-tipy-logika-dekartovy-proizvedeni.pptx
  • Количество просмотров: 113
  • Количество скачиваний: 0
- Предыдущая КЕРАМИЧЕСКИЕ МАТЕРИАЛЫ И ИЗДЕЛИЯ
Следующая - Типы данных в языке Паскаль

Похожие презентации

PowerPoint PowerPoint 304
Компьютерная графика Компьютерная графика 155
Информационные ресурсы Интернета Информационные ресурсы Интернета 119
Логические принципы проектирования современного компьютера Логические принципы проектирования современного компьютера 136
Презентация по информатике Тұсаукесер туралы жалпы мәліметтер (6 сынып) Презентация по информатике Тұсаукесер туралы жалпы мәліметтер (6 сынып) 362
Компьютерные сети 8 класс Компьютерные сети 8 класс 156
Основные этапы и правила создания электронного письма Основные этапы и правила создания электронного письма 155
Измерение информации (Алфавитный подход) Измерение информации (Алфавитный подход) 134
СОЗДАНИЕ ДОКУМЕНТОВ В ТЕКСТОВЫХ РЕДАКТОРАХ СОЗДАНИЕ ДОКУМЕНТОВ В ТЕКСТОВЫХ РЕДАКТОРАХ 162
vremena goda vremena goda 147
Операционная система Операционная система 126
Растровые и векторные графические редакторы Растровые и векторные графические редакторы 153
Интернет - Технология Webquests Интернет - Технология Webquests 132
Курс обучения тестированию Курс обучения тестированию 126
Осторожно,Вирус! Осторожно,Вирус! 136
Классификация ПО Классификация ПО 134
Алгоритмизация и программирование Алгоритмизация и программирование 158
ПРИНЦИПЫ РАБОТЫ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ПРИНЦИПЫ РАБОТЫ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ 145
Системы счисления Системы счисления 122
Антивирус Касперского Антивирус Касперского 91
Брандмауэры Брандмауэры 117
Перевод двоичных чисел в десятичную систему счисления Перевод двоичных чисел в десятичную систему счисления 140
Презентация по информатике Сортировка записей в табличной базе данных 9 класс Презентация по информатике Сортировка записей в табличной базе данных 9 класс 151
ВИКТОРИНА ГАГАРИН ВИКТОРИНА ГАГАРИН 173
Презентация по информатике на тему: Окна Презентация по информатике на тему: Окна 119
Компьютерные сети, топологии Компьютерные сети, топологии 110
“Қарындаш”, “Қылқалам”, “Өшіргіш” құралдары “Қарындаш”, “Қылқалам”, “Өшіргіш” құралдары 228
Электронная память Электронная память 134
Презентация по информатике на тему Модельдеу (9 сынып) Презентация по информатике на тему Модельдеу (9 сынып) 208
Көңілді информатика Көңілді информатика 175