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

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

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

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

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

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

Презентация на тему Задание студентам

Содержание

Выполнить подстановку(λ x z. x y) [y := z] = по опр. (λ x. (λz . x y)) [y := z] =6 λ x. ((λz . x y) [y := z]) =7 λ x. (λu .
1) Для заданного λ-выражения E найти связанные BV(E) и свободные FV(E) переменныеE Выполнить подстановку(λ x z. x y) [y := z] = по опр. 2) Доказать равенство λ-выражений E1 = E2E1 = λ y . x 3) Используя различные редукционные стратегии привести к нормальной форме следующее выражение: (λ 4) Используя свойства комбинаторов редуцировать выражение S (K I) (K 5) Вычислить следующее λ-выражение: fst (false 1) fst 6) Вычислить следующее λ-выражение: (2, 1) true (2, 7) Используя свойства комбинатора неподвижной точки вычислить следующее λ-выражение: Y 8) Используя let-нотацию представить в последовательном и параллельном стиле выражение (λ x
Слайды презентации

Слайд 2 Выполнить подстановку
(λ x z. x y) [y :=

Выполнить подстановку(λ x z. x y) [y := z] = по

z] = по опр. (λ x. (λz . x

y)) [y := z] =6 λ x. ((λz . x y) [y := z]) =7 λ x. (λu . (x y) [z := u] [y := z]) = 4 λ x. (λ u. x[z := u] [y := z] y[z := u] [y := z]) =2 λ x. (λ u. x y[y := z]) =1 λ x. (λ u . x z) = λ x u . x z

Слайд 3 2) Доказать равенство λ-выражений E1 = E2
E1 =

2) Доказать равенство λ-выражений E1 = E2E1 = λ y .

λ y . x y E2 = (λ

z . x) y
E1 →η x =>1 E1 = x
E2 →β x =>1 E2 = x =>3 x = E2
=>4 E1 = E2

Слайд 4 3) Используя различные редукционные стратегии привести к нормальной

3) Используя различные редукционные стратегии привести к нормальной форме следующее выражение:

форме следующее выражение:
(λ z . y z) (λ

x . z x)
Норм. стр.: (λ z . y z) (λ x . z x) →β y (λ x . z x) →η y z
(λ z . y z) (λ x . z x) →η (λ z . y z) z →η y z

Слайд 5 4) Используя свойства комбинаторов редуцировать выражение

4) Используя свойства комбинаторов редуцировать выражение S (K I) (K

S (K I) (K S) K
S

(K I) (K S) K →по св-ву S ((K I) K) ((K S) K) →по св-ву K I S →по св-ву I S

Слайд 6 5) Вычислить следующее λ-выражение:
fst (false

5) Вычислить следующее λ-выражение: fst (false 1) fst (false

1)
fst (false 1) =по опр. fst

(λ p. p true) (false 1) →β (false 1) true =по опр. false (λ x y. y) 1 true →β true

Слайд 7 6) Вычислить следующее λ-выражение:
(2, 1)

6) Вычислить следующее λ-выражение: (2, 1) true (2, 1)

true
(2, 1) true =по опр. пары

(λ f. f 2 1) true →β true 2 1 →по опр. true (λ x y. x) 2 1 →β 2

Слайд 8 7) Используя свойства комбинатора неподвижной точки вычислить следующее

7) Используя свойства комбинатора неподвижной точки вычислить следующее λ-выражение: Y

λ-выражение:
Y 0 1
Y

0 1 =по св-су Y 0 (Y 0) 1 =по опр. 0 (λ f x. x) (Y 0) 1 →β 1
  • Имя файла: zadanie-studentam.pptx
  • Количество просмотров: 102
  • Количество скачиваний: 0
- Предыдущая Устав гарнизонной и караульной служб ВС РФ. Организация караульной службы. Права и обязанности лиц караула. (Тема 3.1)
Следующая - Педагогтар мен ата-аналарға арналған Мария Монтессоридің уағызы

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

Презентация к уроку по теме Углы презентация к уроку (математика, 4 класс) Презентация к уроку по теме Углы презентация к уроку (математика, 4 класс) 95
Урок математики. 6 кл. Маслова О.В. МАОУ Вадская СОШ Изменение величин Урок математики. 6 кл. Маслова О.В. МАОУ Вадская СОШ Изменение величин 119
Программа для работы с тригонометрическими функциями Программа для работы с тригонометрическими функциями 117
Простые и составные числа 6 класс Простые и составные числа 6 класс 111
Цикл с предисловием Цикл с предисловием 90
Методы извлечения квадратного корня Методы извлечения квадратного корня 157
Подготовка к контрольной работе по алгебре Подготовка к контрольной работе по алгебре 100
Презентация по математике план-конспект урока по математике (4 класс) по теме Презентация по математике план-конспект урока по математике (4 класс) по теме 132
Путь Пифагора Путь Пифагора 107
Тренажёр по математике Тренажёр по математике 139
Самостоятельная работа Самостоятельная работа 88
Интеграл. Площадь криволинейной трапеции Интеграл. Площадь криволинейной трапеции 113
Измерение углов Измерение углов 119
Измерение высоты предмета Измерение высоты предмета 101
Простые и составные числа Простые и составные числа 98
Общий прием сложения однозначных чисел с переходом через десяток. 1 класс. презентация урока для интерактивной доски (математика, 1 класс) по теме Общий прием сложения однозначных чисел с переходом через десяток. 1 класс. презентация урока для интерактивной доски (математика, 1 класс) по теме 110
Дидактические игры по ФЭМП картотека по математике (средняя, старшая, подготовительная группа) Дидактические игры по ФЭМП картотека по математике (средняя, старшая, подготовительная группа) 179
Презентация к уроку математики: СЛАГАЕМЫЕ. СУММА. презентация к уроку по математике (1 класс) по теме Презентация к уроку математики: СЛАГАЕМЫЕ. СУММА. презентация к уроку по математике (1 класс) по теме 141
Площадь поверхности призмы Площадь поверхности призмы 95
Игра в мяч. Сложение и вычитание в пределах 10 Игра в мяч. Сложение и вычитание в пределах 10 106
Проценты 5 класс Проценты 5 класс 103
Подобные слагаемые . коэффициент. Раскрытие скобок Подобные слагаемые . коэффициент. Раскрытие скобок 110
Презентация по математике на тему Нахождение дроби от числа Презентация по математике на тему Нахождение дроби от числа 133
Переместительное свойство сложения Переместительное свойство сложения 105
Презентация по математике на тему Путешествие в страну математики ( 2 класс) Презентация по математике на тему Путешествие в страну математики ( 2 класс) 205
Компланарные векторы Компланарные векторы 95
Презентация к уроку математики Число 8. Сложение и вычитание в пределах 8 презентация к уроку по математике (1 класс) по теме Презентация к уроку математики Число 8. Сложение и вычитание в пределах 8 презентация к уроку по математике (1 класс) по теме 168
Прямоугольная система координат 6 класс. Прямоугольная система координат 6 класс. 112
числовой отрезок 1 кл числовой отрезок 1 кл 122
Ондық бөлшекті натурал санға бөлу Ондық бөлшекті ондық бөлшекке бөлу Ондық бөлшекті натурал санға бөлу Ондық бөлшекті ондық бөлшекке бөлу 214