Академический Документы
Профессиональный Документы
Культура Документы
..................................................................................... 6
..................................................................................... 7
..................................................................... 8
................................................................. 9
.......................... 10
B A........................................................................ 11
, .............................................................................. 12
....................................................................................... 13
...................................................................................... 14
( ) ............................ 15
1
.......................................................................................... 16
-> ........................................................................... 17
......................................................... 18
.............................................................................. 19
, ................................ 20
Succ := vyx.y(vyx)............................................................................................ 21
....................................... 22
....................................................................... 23
....................................................................... 24
............................................................................................ 26
............................................................ 27
2
........................... 29
............................................................. 30
/ .................................................... 31
................................................ 32
....................................................................... 33
.............................................. 34
.................................................... 35
................................................. 36
................................................. 37
............................. 38
......................................................... 39
3
2.4.3 ( .............................................. 40
, ........................................................................................ 41
........................................................................................... 42
D........................................................................................................... 43
D ............................................................................. 45
2.6.10 ( D, ................................. 46
D, ................................................................ 47
.......................................................................................................... 48
............................................................................................ 49
4
................................................................ 50
............................................... 52
........................................................................................ 53
................................................................................ 53
- ..................................................................................... 54
- ................................................................. 55
t, ST(t), :
T FV(T):
10
B A
, B A x,
B A x, ,
A[x := B], :
11
12
13
14
( )
15
16
->
17
18
19
20
Succ := vyx.y(vyx)
21
22
23
24
25
26
1. ;
2. M N , ( ) , MN
;
3. M , x , x.M
( );
4. ,
13 .
____________________________________________
, ,
. , : A :
A .
.
, - .
,
.
27
28
29
30
31
32
33
= ; = ; - . :
,
= () |
___________________________________
34
35
36
37
38
39
2.4.3 (
40
41
42
Di, i, i:
43
44
45
2.6.10 ( D,
46
D,
47
48
49
50
51
52
53
54
55