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

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

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

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

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

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

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

Содержание

ВМиК МГУ, сентябрь-декабрь 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 = ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания значенийvalue value_definition1, ...value_definitionn Описание константvalue ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписания переменныхvariable variable_definition1, ...variable_definitionn Примерvariable v ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоБазовые типыBool -- {true, false}Nat -- ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (1) ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоЛогика (2) ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДекартовы произведенияОписание типаPT1 = ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоМножества. Свойства множествкаждый элемент ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОписание типов. Литералы ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоОперации с множествамиinter ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоДиаграмма ГогенаBoolT-setЗадание: Нарисуйте связи, ВМиК МГУ, сентябрь-декабрь 2001Формальные спецификации программ-I, Лекция 3. А.К.ПетренкоПример: SET_DATABASESET-DATABASE =classtypeRecord =
Слайды презентации

Слайд 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_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

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

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

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

типы
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

с множествами
inter
isin ∈
union ∪


<< ⊂
<<= ⊆
>> ⊃
>>= ⊇
card

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

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

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

этими типами данных
  • Имя файла: bazovye-tipy-logika-dekartovy-proizvedeni.pptx
  • Количество просмотров: 143
  • Количество скачиваний: 0
- Предыдущая Семь чудес света
Следующая - Ритуалы, которые нравятся детям

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

Преобразование суммы тригонометрических функций в произведение и произведения в сумму Преобразование суммы тригонометрических функций в произведение и произведения в сумму 152
Решение задач на применение признаков равенства треугольников Решение задач на применение признаков равенства треугольников 113
Закрепление умножения многозначных чисел на числа, оканчивающиеся нулями; решение задач на встречное движение Закрепление умножения многозначных чисел на числа, оканчивающиеся нулями; решение задач на встречное движение 129
Роль художественного слова в формировании элементарных математических представлений у детей дошкольного возраста презентация к уроку по математике (младшая, средняя, старшая, подготовительная группа) Роль художественного слова в формировании элементарных математических представлений у детей дошкольного возраста презентация к уроку по математике (младшая, средняя, старшая, подготовительная группа) 193
презентация к уроку Виды треугольников презентация к уроку по математике (3 класс) презентация к уроку Виды треугольников презентация к уроку по математике (3 класс) 120
Презентация по математике на тему Задания для самостоятельной работы Презентация по математике на тему Задания для самостоятельной работы 156
Математика и экономика для старших дошкольников Часть 3 Математика и экономика для старших дошкольников Часть 3 113
Как найти корни квадратного уравнения? Как найти корни квадратного уравнения? 104
Коэффициент корреляции τ Кендалла Коэффициент корреляции τ Кендалла 121
Итоговый тест по математике 4 класс часть 2 Итоговый тест по математике 4 класс часть 2 111
Презентация к уроку в 5 классе Уравнения Презентация к уроку в 5 классе Уравнения 154
Жай бөлшектер 5 класс Жай бөлшектер 5 класс 199
Нестандартные способы умножения чисел Нестандартные способы умножения чисел 180
Конспект педагогического мероприятия с детьми средней группы общеразвивающей направленности по ФЭМП В гостях у Геометрика план-конспект занятия по математике (средняя группа) Конспект педагогического мероприятия с детьми средней группы общеразвивающей направленности по ФЭМП В гостях у Геометрика план-конспект занятия по математике (средняя группа) 104
Десятичные дроби. Сложение и вычитание десятичных дробей Десятичные дроби. Сложение и вычитание десятичных дробей 116
Основные понятия криптографии Основные понятия криптографии 152
Устный счёт в младших классах Устный счёт в младших классах 110
Презентация к уроку по математике Математика вокруг нас.Числа в загадках, пословицах и поговорках. Презентация к уроку по математике Математика вокруг нас.Числа в загадках, пословицах и поговорках. 158
Исследовательская работа Мир больших чисел Исследовательская работа Мир больших чисел 132
презентация Задачи в стихах презентация к уроку по математике (1 класс) по теме презентация Задачи в стихах презентация к уроку по математике (1 класс) по теме 106
Презентация по математике на тему Сумма нескольких слагаемых ( 3 класс Перспектива) Презентация по математике на тему Сумма нескольких слагаемых ( 3 класс Перспектива) 214
Факторный анализ Факторный анализ 129
№51-52 №51-52 87
Презентация по математике на темуУмножение натуральных чисел(5 класс) Презентация по математике на темуУмножение натуральных чисел(5 класс) 113
Презентация по теме Активизация познавательной деятельности на уроках математики Презентация по теме Активизация познавательной деятельности на уроках математики 90
Презентация к уроку математики по теме Классификация треугольников по сторонам, 2 класс презентация к уроку по математике (2 класс) Презентация к уроку математики по теме Классификация треугольников по сторонам, 2 класс презентация к уроку по математике (2 класс) 117
Презентация по математики на тему: Задачи на движение по реке Презентация по математики на тему: Задачи на движение по реке 114
Методическая разработка по математике 1 класс методическая разработка по математике (1 класс) Методическая разработка по математике 1 класс методическая разработка по математике (1 класс) 98
Презентация по математике Интеллектуальный марафон Презентация по математике Интеллектуальный марафон 151
Сложение и вычитание трёхзначных чисел в столбик Сложение и вычитание трёхзначных чисел в столбик 107