Что такое 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
  • Количество просмотров: 129
  • Количество скачиваний: 0
- Предыдущая Семь чудес света
Следующая - Ритуалы, которые нравятся детям

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

Логарифмическая функция Логарифмическая функция 77
История развития математики История развития математики 108
Презентация В осеннем лесу методическая разработка по математике (старшая группа) Презентация В осеннем лесу методическая разработка по математике (старшая группа) 151
Презентация по математике в 5 классе по теме Выделение целой части из числа Презентация по математике в 5 классе по теме Выделение целой части из числа 89
Виды треугольников. план-конспект урока по математике (4 класс) Виды треугольников. план-конспект урока по математике (4 класс) 34
Презентация Множество и его элементы Презентация Множество и его элементы 126
Решение систем уравнений Решение систем уравнений 95
Задачи по вероятности Задачи по вероятности 101
Прямой цилиндр Прямой цилиндр 76
Тренажёр для отработки вычислительных навыков для 1 класса. тренажёр по математике (1 класс) Тренажёр для отработки вычислительных навыков для 1 класса. тренажёр по математике (1 класс) 123
urok matematiki urok matematiki 73
Мастер-класс Формирование УУД при обучении математике в условиях реализации ФГОС ООО Мастер-класс Формирование УУД при обучении математике в условиях реализации ФГОС ООО 123
Таблица сложения 1 класс Таблица сложения 1 класс 92
Преобразование суммы тригонометрических функций в произведение и произведения в сумму Преобразование суммы тригонометрических функций в произведение и произведения в сумму 136
Конспект НОД по математике для детей среднего возраста Путешествие в звездную страну на поиски звездочек план-конспект занятия по математике (средняя группа) Конспект НОД по математике для детей среднего возраста Путешествие в звездную страну на поиски звездочек план-конспект занятия по математике (средняя группа) 103
Множество и его элементы презентация к уроку по математике (1 класс) Множество и его элементы презентация к уроку по математике (1 класс) 107
Работа со слабыми учащимися Работа со слабыми учащимися 105
презентация презентация к уроку по математике (3 класс) презентация презентация к уроку по математике (3 класс) 76
Математика. 3 класс. Внетабличное умножение и деление. Перетятько В. В. Математика. 3 класс. Внетабличное умножение и деление. Перетятько В. В. 89
Презентация по математике Логические части задачи 1 класс Школа России презентация к уроку по математике (1 класс) Презентация по математике Логические части задачи 1 класс Школа России презентация к уроку по математике (1 класс) 145
Сочетательное свойство умножения УМК Начальная школа 21 века Сочетательное свойство умножения УМК Начальная школа 21 века 115
Презентация по математике на тему Электронное приложение к учебнику Л.Г. Петерсон 1 часть Презентация по математике на тему Электронное приложение к учебнику Л.Г. Петерсон 1 часть 85
Урок математики в 1 классе по теме Как люди научились считать методическая разработка по математике (1 класс) по теме Урок математики в 1 классе по теме Как люди научились считать методическая разработка по математике (1 класс) по теме 108
Презентация к уроку математики на тему Окружность и круг (5 класс) Презентация к уроку математики на тему Окружность и круг (5 класс) 116
Внеклассное мероприятие к Последнему звонку Веселые уроки Внеклассное мероприятие к Последнему звонку Веселые уроки 99
Углы, вписанные в окружность Углы, вписанные в окружность 96
Виды треугольников презентация к уроку по математике (4 класс) Виды треугольников презентация к уроку по математике (4 класс) 25
Все о цилиндре и конусе сфере и т.д Все о цилиндре и конусе сфере и т.д 93
Математика пәнін оқытуда оқушының функционалдық сауаттылығын жобалау іс-әрекетін ұйымдастыру арқылы қа лыптастыру Математика пәнін оқытуда оқушының функционалдық сауаттылығын жобалау іс-әрекетін ұйымдастыру арқылы қа лыптастыру 109
Пересечения множеств Пересечения множеств 104