Что такое 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
  • Количество просмотров: 109
  • Количество скачиваний: 0
- Предыдущая КЕРАМИЧЕСКИЕ МАТЕРИАЛЫ И ИЗДЕЛИЯ
Следующая - Типы данных в языке Паскаль

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

Мобильные вирусы - миф или угроза Мобильные вирусы - миф или угроза 179
Решение задач с помощью графов Решение задач с помощью графов 112
Ақпарат және оның түрлері. Ақпарат өлшем бірліктері Ақпарат және оның түрлері. Ақпарат өлшем бірліктері 177
Информатика 3 класс Представление информации презентация к уроку по информатике (3 класс) Информатика 3 класс Представление информации презентация к уроку по информатике (3 класс) 137
презентация Осень презентация к уроку по информатике (младшая группа) презентация Осень презентация к уроку по информатике (младшая группа) 130
Относительные, абсолютные и смешанные ссылки Относительные, абсолютные и смешанные ссылки 115
Презентация Час кода в МКОУ Ульдючинская СНГ ( 1-11 кл.) Презентация Час кода в МКОУ Ульдючинская СНГ ( 1-11 кл.) 169
Безопасность в социальных сетях Безопасность в социальных сетях 108
Презентация по информатике и ИКТ на тему Программное обеспечение. Обзор прикладного программного обеспечения в области химии Презентация по информатике и ИКТ на тему Программное обеспечение. Обзор прикладного программного обеспечения в области химии 150
Исполнитель робот Исполнитель робот 156
Информация в обществе и технике Информация в обществе и технике 141
Обработка массивов данных Обработка массивов данных 137
Жаңа технологиялар нысаны Жаңа технологиялар нысаны 142
Информатика пәнінен презентация Терезелердің құрылымы мен элементтері (7 сынып) Информатика пәнінен презентация Терезелердің құрылымы мен элементтері (7 сынып) 176
Открытый урок по информатике в 11 классе на тему Компьютерная презентация как средство развития коммуникативных способностей учащихся Открытый урок по информатике в 11 классе на тему Компьютерная презентация как средство развития коммуникативных способностей учащихся 159
Звуковая информация Звуковая информация 127
Язык программирования Pascal. Повторение Язык программирования Pascal. Повторение 139
Разработка WEB - приложения для фирмы по продаже мебели Разработка WEB - приложения для фирмы по продаже мебели 182
Презентация по информатике на тему: Кодирование информации Презентация по информатике на тему: Кодирование информации 132
Технология мультимедиа Технология мультимедиа 131
Презентация для проведения терминологического диктанта по дисциплине Основы программирования Презентация для проведения терминологического диктанта по дисциплине Основы программирования 149
Тест по теме Электронные таблицы Тест по теме Электронные таблицы 127
Представление чисел в памяти компьютера Представление чисел в памяти компьютера 131
Эпидемия компьютерного вируса Эпидемия компьютерного вируса 201
Введение в программную инженерию. CMM (Capability Maturity Model ) Введение в программную инженерию. CMM (Capability Maturity Model ) 123
Одномерные и двумерные массивы Одномерные и двумерные массивы 122
Работа с программой ПервоЛого 3.0 Работа с программой ПервоЛого 3.0 139
Моделирование. Модели Моделирование. Модели 115
Перевод целых чисел из десятичной системы счисления в любую другую Перевод целых чисел из десятичной системы счисления в любую другую 116
Поиск информации в интернете Поиск информации в интернете 183