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

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

Ряды Тейлора (Маклорена) Ряды Тейлора (Маклорена) 117
Урок 80. Сложение, вычитание и сравнение величин Урок 80. Сложение, вычитание и сравнение величин 135
Своя игра - к неделе математики методическая разработка по математике (1 класс) Своя игра - к неделе математики методическая разработка по математике (1 класс) 136
Является ли система координат чисто математическим понятием Является ли система координат чисто математическим понятием 92
Устный счет по математике презентация к уроку по математике (3 класс) по теме Устный счет по математике презентация к уроку по математике (3 класс) по теме 116
Устный счёт Собери урожай Устный счёт Собери урожай 100
Математика - самая надежная форма пророчества Математика - самая надежная форма пророчества 86
Проценты в нашей жизни (9 класс) Проценты в нашей жизни (9 класс) 141
Нумерации разных народов и их возникновение Нумерации разных народов и их возникновение 101
Урок математики 4 класс презентация к уроку по математике (4 класс) Урок математики 4 класс презентация к уроку по математике (4 класс) 207
Часы Часы 111
Сложение и вычитание дробей с одинаковыми знаменателями Сложение и вычитание дробей с одинаковыми знаменателями 96
Решу ВПР: десятичная дробь. Часть 3 Решу ВПР: десятичная дробь. Часть 3 35
Презентация: Занимательная математика презентация к уроку по математике Презентация: Занимательная математика презентация к уроку по математике 95
Презентация к уроку:Взаимное расположение графиков линейных функций. Презентация к уроку:Взаимное расположение графиков линейных функций. 105
Производная и ее применения Производная и ее применения 106
Степень числа с натуральным показателем Степень числа с натуральным показателем 105
презентация Число и цифра 8 презентация к уроку по математике (1 класс) презентация Число и цифра 8 презентация к уроку по математике (1 класс) 118
Терминологический словарь Терминологический словарь 107
Презентация по математику на тему Нотугри касрларга амаллар куллаш (5 класс) Презентация по математику на тему Нотугри касрларга амаллар куллаш (5 класс) 144
Решение арифметических задач содержащих зависимости между величинами Решение арифметических задач содержащих зависимости между величинами 106
Использование регионального компонента на уроках математики Использование регионального компонента на уроках математики 122
Презентация по математике Первое знакомство с понятием вероятности (6 класс) Презентация по математике Первое знакомство с понятием вероятности (6 класс) 141
Презентация проектной работы по математике по теме Чертёжные инструменты Презентация проектной работы по математике по теме Чертёжные инструменты 160
Математическая эстафета Веселый поезд в страну Математика Математическая эстафета Веселый поезд в страну Математика 111
Интерактивный тренажёр Кот Леопольд по теме Решение уравнений Интерактивный тренажёр Кот Леопольд по теме Решение уравнений 100
matematicheskaya shkatulka 25 zanyatie matematicheskaya shkatulka 25 zanyatie 113
Числа от 11 до 20 презентация к уроку по математике (1 класс) Числа от 11 до 20 презентация к уроку по математике (1 класс) 308
Угол и его величина 4 класс кейс-метод презентация к уроку по математике (4 класс) Угол и его величина 4 класс кейс-метод презентация к уроку по математике (4 класс) 122
ПОСОБИЕ ПО МАТЕМАТИКЕ, СОДЕРЖАЩИЕ ТЕОРЕТИЧЕСКИЕ И ПРАКТИЧЕСКИЕ ЗАДАЧИ ДЛЯ 4-5 КЛАССА, БИОГРАФИЮ ВЕЛИКИХ МАТЕМАТИКОВ, ЗАДАЧИ ПО ТЕМЕ ДВИЖЕНИЕ И СОВМЕСТНАЯ РАБОТА учебно-методическое пособие по математике (4 класс) по теме ПОСОБИЕ ПО МАТЕМАТИКЕ, СОДЕРЖАЩИЕ ТЕОРЕТИЧЕСКИЕ И ПРАКТИЧЕСКИЕ ЗАДАЧИ ДЛЯ 4-5 КЛАССА, БИОГРАФИЮ ВЕЛИКИХ МАТЕМАТИКОВ, ЗАДАЧИ ПО ТЕМЕ ДВИЖЕНИЕ И СОВМЕСТНАЯ РАБОТА учебно-методическое пособие по математике (4 класс) по теме 61