Лямбда-исчисление - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:42:10Z

rollbackEdits.php mass rollback

185.244.195.157 в 03:29, 1 сентября 2022

2022-09-01T03:29:10Z

95.85.18.95: /* α-эквивалетность */ орфография

2022-03-10T05:03:25Z

‎α-эквивалетность: орфография

Rybak: удалил неуместный баннер

2021-10-27T17:51:49Z

удалил неуместный баннер

212.164.38.102: /* Комбинатор неподвижной точки */

2021-10-26T20:12:37Z

‎Комбинатор неподвижной точки

Nursan: /* Проверка на простоту */

2019-03-10T20:13:51Z

‎Проверка на простоту

Nursan: /* +1 */

2019-03-10T20:12:25Z

‎+1

Zclimber: /* Нотация Де Брауна */

2018-08-08T22:30:51Z

‎Нотация Де Брауна

217.114.153.179 в 13:27, 3 апреля 2018

2018-04-03T13:27:00Z

217.114.153.179 в 13:24, 3 апреля 2018

2018-04-03T13:24:08Z

← Предыдущая		Версия 16:42, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах		'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
	Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.		Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.

← Предыдущая		Версия 03:29, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах		'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
	Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.		Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.

@@ Строка 60: / Строка 60: @@
 по <tex>x</tex>.
-===α-эквивалетность===
+===α-эквивалентность===
 {{Определение
-|definition='''<tex>\alpha</tex>-эквивалетностью''' (англ. ''<tex>\alpha</tex> -equivalence'') {{---}} называется наименьшее соотношение эквивалентности на <tex>\Lambda</tex> такое что:
+|definition='''<tex>\alpha</tex>-эквивалентностью''' (англ. ''<tex>\alpha</tex> -equivalence'') {{---}} называется наименьшее соотношение эквивалентности на <tex>\Lambda</tex> такое что:
 :<tex>P=_\alpha P</tex> для любого <tex>P</tex>
 :<tex>\lambda x.P=_\alpha \lambda y.P[x:=y]</tex> если <tex>y \not\in FV(P)</tex>

← Предыдущая		Версия 17:51, 27 октября 2021
Строка 1:		Строка 1:
−	~~{{nohate}}~~
	'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах		'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
	Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.		Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.

@@ Строка 282: / Строка 282: @@
 ===Комбинатор неподвижной точки===
-Попробуем выразить в лямбда-исчислении какую-нибудь функцию, использующую рекурсию. Напрмер, факториал.
+Попробуем выразить в лямбда-исчислении какую-нибудь функцию, использующую рекурсию. Например, факториал.
 <tex>\operatorname{fact} = \lambda x\ .\ \operatorname{if}\ (\operatorname{isZero}\ x)\ \bar 1\ (\operatorname{fact}\ (\operatorname{pred}\ x))</tex>

@@ Строка 334: / Строка 334: @@
 ===Проверка на простоту===
-<tex>\operatorname{isPrimeHelp}</tex> {{---}} принимает число, которое требуется проверить на простоту и то, на что его надо опытаться поделить, перебирая это от 2 до <tex>p-1</tex>. Если на что-нибудь разделилось, то число {{---}} составное, иначе {{---}} простое.
+<tex>\operatorname{isPrimeHelp}</tex> {{---}} принимает число, которое требуется проверить на простоту и то, на что его надо опытаться поделить, перебирая это от <tex>2</tex> до <tex>p-1</tex>. Если на что-нибудь разделилось, то число {{---}} составное, иначе {{---}} простое.
 <tex>\operatorname{isPrimeHelp'} =</tex><tex>\lambda f\ .\ \lambda p\ .\ \lambda i\ .\ \operatorname{if}\ (\operatorname{le}\ p\ i)\ \operatorname{true}\ (\operatorname{if}\ (\operatorname{isZero}\ (\operatorname{mod}\ p\ i))\ \operatorname{false}\ (f\ p\ (\operatorname{succ}\ i)))</tex>

@@ Строка 172: / Строка 172: @@
 ===+1===
-Функция, прибавляющая 1 к числу, должна принимать первым аргументом число.
+Функция, прибавляющая <tex>1</tex> к числу, должна принимать первым аргументом число.
 Но число {{---}} функция двух аргументов. Значит, эта функция должна принимать три
 аргумента: "число" <tex>n</tex>, которое хочется увеличить, функция, которую надо будет

@@ Строка 121: / Строка 121: @@
 Примеры выражений в этой нотации:
-:<tex>
-\begin{tabular}{cc}
+{|
-Standart & de Bruijn \\
+! Standart
-$\lambda x.x$ & $\lambda .0$ \\
+! de Bruijn
-$\lambda z.z$ & $\lambda .0$ \\
+|-
-$\lambda x. \lambda y.x$ & $\lambda . \lambda .1$\\
+| $\lambda x.x$
-$\lambda x. \lambda y. \lambda s. \lambda z.x\ s\ (y\ s\ z)$ & $\lambda . \lambda . \lambda . \lambda .3\ 1(2\ 1\ 0)$\\
+| $\lambda .0$
-$(\lambda x.x\ x)(\lambda x.x\ x)$ & $(\lambda .0\ 0)(\lambda .0\ 0)$\\
+|-
-$(\lambda x. \lambda x.x)(\lambda y.y)$ & $(\lambda .\lambda .0)(\lambda .0)$\\
+| $\lambda z.z$
-\end{tabular}
+| $\lambda .0$
-</tex>
+|-
 Переменная называется свободной, если ей соответствует число, которое больше