From 2f9be900dcdca7f02aa702276639d17f0ae12e68 Mon Sep 17 00:00:00 2001
From: MikePuzanov <mikepuzanov@mail.ru>
Date: Fri, 18 Mar 2022 00:51:28 +0300
Subject: [PATCH] add .tex

---
 LambdaCalculation/LambdaCalculation.tex | 31 +++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 LambdaCalculation/LambdaCalculation.tex

diff --git a/LambdaCalculation/LambdaCalculation.tex b/LambdaCalculation/LambdaCalculation.tex
new file mode 100644
index 0000000..9e3c066
--- /dev/null
+++ b/LambdaCalculation/LambdaCalculation.tex
@@ -0,0 +1,31 @@
+\documentclass{article}
+\usepackage[utf8]{inputenc}
+
+\begin{document}
+
+\section{№1 \lambda-терм (( \lambda a.( \lambda b.b b) ( \lambda b.b b)) b) (( \lambda c.(c b)) ( \lambda a.a) }
+
+(( \lambda a.( \lambda b.b b) ( \lambda b.b b)) b) (( \lambda c.(c b)) ( \lambda a.a))& 
+\to
+
+( \lambda b.b b) ( \lambda b.b b) (( \lambda c.(c b)) ( \lambda a.a)) \to 
+
+( \lambda b.b b) ( \lambda b.b b)  (( \lambda a.a)b) \to
+
+(( \lambda b.b b) ( \lambda b.b b)) b
+
+\section{№2 S K K = I} 
+
+(\lambda x y z.x z (y z)) (\lambda x y.x ) (\lambda x y.x) \to
+
+(\lambda x \lambda y \lambda z.x z (y z)) (\lambda x \lambda y.x ) (\lambda x \lambda y.x)\to
+
+(\lambda y \lambda z.(\lambda x \lambda y.x ) z (y z))  (\lambda x \lambda y.x)\to
+
+(\lambda y \lambda z.(\lambda y.z ) (y z))  (\lambda x \lambda y.x)\to
+
+(\lambda y \lambda z.z)  (\lambda x \lambda y.x)\to
+
+\lambda z.z) \to I$
+
+\end{document}
\ No newline at end of file