Что такое 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
  • Количество просмотров: 99
  • Количество скачиваний: 0
- Предыдущая Устав гарнизонной и караульной служб ВС РФ. Организация караульной службы. Права и обязанности лиц караула. (Тема 3.1)
Следующая - Педагогтар мен ата-аналарға арналған Мария Монтессоридің уағызы

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

Викторина Викторина 129
Вычисление периметра прямоугольника.Математика.2класс презентация урока для интерактивной доски по математике (2 класс) по теме Вычисление периметра прямоугольника.Математика.2класс презентация урока для интерактивной доски по математике (2 класс) по теме 107
Презентация по математике 6 класс Сравнение чисел урок 102 Презентация по математике 6 класс Сравнение чисел урок 102 35
Математические ребусы Математические ребусы 123
Устный счёт презентация к уроку по математике (2 класс) по теме Устный счёт презентация к уроку по математике (2 класс) по теме 103
Учебно-методический комплект по математике за 4 класс ПЕРЕСТАНОВКА И ГРУППИРОВКА МНОЖИТЕЛЕЙ (Школа России) план-конспект урока по математике (4 класс) по теме Учебно-методический комплект по математике за 4 класс ПЕРЕСТАНОВКА И ГРУППИРОВКА МНОЖИТЕЛЕЙ (Школа России) план-конспект урока по математике (4 класс) по теме 167
Нумерация чисел в пределах 1000 Нумерация чисел в пределах 1000 123
Своя игра по истории математики Своя игра по истории математики 142
Конспект занятия по ФЭМП Лесное путешествие презентация по математике Конспект занятия по ФЭМП Лесное путешествие презентация по математике 48
Проектная технология как инструмент развития математических способностей и формирование личностных качеств ученика Проектная технология как инструмент развития математических способностей и формирование личностных качеств ученика 101
Анализ учебной и внеклассной деятельности Анализ учебной и внеклассной деятельности 114
Отношения. Решение задач Отношения. Решение задач 113
Презентация по математике 4 урок Упрощение выражений (5 класс) Презентация по математике 4 урок Упрощение выражений (5 класс) 94
Конспект урока по математике : Сложение и вычитание без перехода через десяток столбиком. план-конспект урока по математике (2 класс) по теме Конспект урока по математике : Сложение и вычитание без перехода через десяток столбиком. план-конспект урока по математике (2 класс) по теме 130
Презентация: Шар. Порядковый счет до 3 презентация урока для интерактивной доски по математике (средняя группа) Презентация: Шар. Порядковый счет до 3 презентация урока для интерактивной доски по математике (средняя группа) 132
Презентация по математике на тему: Алгоритм письменного умножения многозначного числа на трёхзначное число. (4 класс) Презентация по математике на тему: Алгоритм письменного умножения многозначного числа на трёхзначное число. (4 класс) 169
Правильный многоугольник Правильный многоугольник 74
Равносильность уравнений Равносильность уравнений 117
Презентация Повторение. Единицы длины и массы презентация к уроку по математике (3 класс) по теме Презентация Повторение. Единицы длины и массы презентация к уроку по математике (3 класс) по теме 153
Перпендикуляр и наклонная Перпендикуляр и наклонная 128
Презентация Метр 2 класс презентация к уроку по математике (2 класс) Презентация Метр 2 класс презентация к уроку по математике (2 класс) 103
Волшебные десятичные дроби Волшебные десятичные дроби 129
Прямой угол 2 класс Прямой угол 2 класс 140
Великие математики Великие математики 96
Подобные слагаемые Подобные слагаемые 139
ustnyy schet chipollino ustnyy schet chipollino 106
Диагонали прямоугольника и их свойства план-конспект урока по математике (4 класс) Диагонали прямоугольника и их свойства план-конспект урока по математике (4 класс) 155
Решение занимательных задач Решение занимательных задач 132
Презентация по математике на тему:Вычитание числа 2 Презентация по математике на тему:Вычитание числа 2 107
Конспект урока математики Прибавление числа к сумме план-конспект урока по математике (1 класс) Конспект урока математики Прибавление числа к сумме план-конспект урока по математике (1 класс) 127