Íàâèãàöèÿ
Ãëàâíàÿ
Ïîèñê
Ôîðóì
FAQ's
Ññûëêè
Êàðòà ñàéòà
×àò ïðîãðàììèñòîâ

Ñòàòüè
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Ñàéòîñòðîèòåëüñòâî
-CMS: PHP Fusion
-Èíâåñòèðîâàíèå

Ôàéëû
-Äëÿ ïðîãðàììèñòîâ
-Êîìïîíåòû äëÿ Delphi
-Èñõîäíèêè íà Delphi
-Èñõîäíèêè íà C/C++
-Êíèãè ïî Delphi
-Êíèãè ïî Ñ/Ñ++
-Êíèãè ïî JAVA/JS
-Êíèãè ïî Basic/VB/.NET
-Êíèãè ïî PHP/MySQL
-Êíèãè ïî Assembler
-PHP Fusion MOD'û
-by Kest
Professional Download System
Ðåêëàìà
Óñëóãè

Àâòîìàòè÷åñêîå äîáàâëåíèå ñòàòåé íà ñàéòû íà Wordpress, Joomla, DLE
Çàêàçàòü ïðîäâèæåíèå ñàéòà
Ïðîãðàììà äëÿ ðèñîâàíèÿ áëîê-ñõåì
Èíæåíåðíûé êàëüêóëÿòîð îíëàéí
Òàáëèöà ñëîæåíèÿ îíëàéí
Ïîïóëÿðíûå ñòàòüè
OpenGL è Delphi... 65535
Ôîðóì íà âàøåì ... 65535
21 îøèáêà ïðîãð... 65535
HACK F.A.Q 65535
Áèï èç ñèñòåìíî... 65535
Ãîñòåâàÿ êíèãà ... 65535
Invision Power ... 65535
Ïðèìåð ðàáîòû ñ... 65535
Ñîäåðæàíèå ñàéò... 65535
ÒÅÕÍÎËÎÃÈÈ ÄÎÑÒ... 65535
Îðãàíèçàöèÿ çàï... 65535
Âûçîâ õðàíèìûõ ... 65535
Ñîçäàíèå îò÷åòî... 65535
Èìèòàöèîííîå ìî... 65535
Ïðîãðàììèðóåìàÿ... 65535
Ýìóëÿòîð ìèêðîï... 65535
Ïîäêëþ÷åíèå Mic... 65535
Ñîçäàíèå ïîòîêî... 65535
Ïðèëîæåíèå «Ïðî... 65535
Îïåðàòîð âûáîðà... 65535
Ðåêëàìà
Ñåé÷àñ íà ñàéòå
Ãîñòåé: 12
Íà ñàéòå íåò çàðåãèñòðèðîâàííûõ ïîëüçîâàòåëåé

Ïîëüçîâàòåëåé: 13,372
íîâè÷îê: vausoz
Íîâîñòè
Ðåêëàìà
Âûïîëíÿåì êóðñîâûå è ëàáîðàòîðíûå ïî ðàçíûì ÿçûêàì ïðîãðàììèðîâàíèÿ
Ïîäðîáíåå - êóðñîâûå è ëàáîðàòîðíûå íà çàêàç
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Êîìïàñ 3D
Çàêàçàòü ïðîãðàììó äëÿ Windows Mobile, Symbian

Ìîäåëèðîâàíèå ëèòåéíîãî öåõà íà GPSS + Ïîÿñíèòåëüíàÿ çàïèñêà
Ìîäåëèðîâàíèå âû÷èñëèòåëüíîãî öåíòðà íà GPSS + Îò÷åò + Áëîê ñõåìà
Ìîäåëèðîâàíèå ïðîöåññà ïåðåäà÷è äàííûõ ïî ìàãèñòðàëè ñ îñíîâíûì è ðåçåðâ...

Íóìåðàëû
Òåîðåòè÷åñêèå ñâåäåíèÿ. Êàê èçâåñòíî, îäíèì èç îñíîâíûõ ïåðâè÷íûõ ìà-
òåìàòè÷åñêèõ ïîíÿòèé ÿâëÿåòñÿ ïîíÿòèå ÷èñëà. Ïîëüçóÿñü ÷èñëàìè, ñòðî-
ÿò äðóãèå îáúåêòû, áîëåå áëèçêî ïðåäñòàâëÿþùèå ñîäåðæàòåëüíûå ïîíÿ-
òèÿ ïðåäìåòíîé îáëàñòè.  òåîðåòè÷åñêèõ èññëåäîâàíèÿõ “õîðîøèì òî-
íîì” ñ÷èòàåòñÿ ñâåñòè ïîñòðîåííóþ òåîðèþ ê êàêîé-ëèáî çàðàíåå çàäàí-
íîé àðèôìåòè÷åñêîé ñèñòåìå.
Âîçíèêàåò âîïðîñ, òàê ëè óæ íåèçáåæíî èñïîëüçîâàòü â êà÷åñòâå ïåð-
âè÷íîãî îáúåêòà ïîíÿòèå ÷èñëà. Ýòî îäèí èç ñàìûõ ñëîæíûõ âîïðîñîâ
ñîâðåìåííîé ìàòåìàòèêè, ïîïûòêè ïîëó÷åíèÿ îòâåòà íà êîòîðûé ïðèâî-
äÿò ê äàëåêî èäóùèì ïîñëåäñòâèÿì.
Òåì íå ìåíåå ïðè ïîñòðîåíèè êîìáèíàòîðíîé ëîãèêè èëèλ- èñ÷èñëåíèÿ
ñðåäè èñõîäíûõ îáúåêòîâ íåò ÷èñåë. Íåò ëè â ýòèõ ñèñòåìàõ íåäîñòàòêà
â âûðàçèòåëüíûõ âîçìîæíîñòÿõ ? Îêàçûâàåòñÿ, ÷òî â ðàìêàõ êîìáèíà-
òîðíîé ëîãèêè èëè λ-èñ÷èñëåíèÿ ìîæíî óñòàíîâèòü òàêèå êîìáèíàòîðû
èëè, ñîîòâåòñòâåííî, òåðìû, êîòîðûå âåäóò ñåáÿ êàê ÷èñëà. Ýòè ïðåä-
ñòàâëåíèÿ ÷èñåë ïîëó÷èëè íàçâàíèå íóìåðàëîâ. Íóìåðàëû êàê êîìáèíàòî-
ðû óäîâëåòâîðÿþò âñåì çàêîíàì êîìáèíàòîðíîé ëîãèêè. Áîëåå òîãî, ìîæ-
íî óêàçàòü êîìáèíàòîðû, ïðåäñòàâëÿþùèå àðèôìåòè÷åñêèå îïåðàöèè, íà-
ïðèìåð, ñëîæåíèå ÷èñåë. Èññëåäîâàíèÿ â ýòîé îáëàñòè ïîêà âñå åùå äàëåêè
îò çàâåðøåíèÿ.
Çàäà÷à 5.1 Îïðåäåëèòü îáúåêòû, îáëàäàþùèå ñâîéñòâàìè íàòóðàëü-
íûõ ÷èñåë (íóìåðàëîâ) è èññëåäîâàòü èõ ñâîéñòâà.

Ôîðìóëèðîâêà çàäà÷è. Íóìåðàëû - ýòî ñëåäóþùèå îáúåêòû: n¯ =
λxy.(xn)y , ãäå n - íàòóðàëüíîå ÷èñëî èç ìíîæåñòâà {1,2,3, . . . }.
Ïîêàçàòü, ÷òî íóìåðàëû ýòî îáúåêòû ñ õàðàêòåðèñòèêîé:
Íóìåðàëû
Ðåøåíèå.
n¯--1. Ôîðìà çàïèñè xny îïðåäåëÿåòñÿ ïî èíäóêöèè:
Ôîðìà çàïèñè xny îïðåäåëÿåòñÿ ïî èíäóêöèè:
Òàêèì îáðàçîì,
x4y = x(x(x(xy))).



n¯--2. Ïðîâåðèì ïîâåäåíèå îáúåêòîâ n¯ = (SB)n(KI) äëÿ n = 0,1.
¯0 = (SB)0(KI) = KI, ¯0ab = KIab = Ib = b = (λxy.y)ab, ¯1 = SB(KI), ¯1ab = SB(KI)ab = Ba(KIa)b = BaIb
= a(Ib) = ab = (λxy.xy)ab.



n¯--3. Ïðîâåðèì ïîâåäåíèå n¯ = (SB)n(KI) â îáùåì ñëó÷àå.
nab ¯ = (SB)n(KI)ab = SB((SB)n−1(KI))ab ( ïî îïðåäåëåíèþ)
= Ba((SB)n−1(KI)a)b ( ïî ñõåìå (S))
= a((SB)n−1(KI)ab) ( ïî ñõåìå (B))
= a(n−1ab) ( ïî îïðåäåëåíèþ)
= a(an−1b) ( ïî îïðåäåëåíèþ)
= anb = (λxy.xny)ab. ( ïî îïðåäåëåíèþ)



Îòâåò. Íóìåðàëû (λxy.xny) èìåþò âèä (SB)n(KI).
Çàäà÷à 5.2 Îïðåäåëèòü îáúåêò, ïðåäñòàâëÿþùèé îïåðàöèþ “+1”
íà ìíîæåñòâå íóìåðàëîâ è èññëåäîâàòü åãî ñâîéñòâà.
Ôîðìóëèðîâêà çàäà÷è. Ïîêàçàòü, ÷òîσ = λxyz.xy(yz)çàäàåò íà ìíî-
æåñòâå íóìåðàëîâ ôóíêöèþ “ñëåäîâàíèÿ çà” (“ïðèáàâëåíèå åäèíè-
öû”):
Íóìåðàëû
Ðåøåíèå.
σ--1. Êîìáèíàòîðíàÿ õàðàêòåðèñòèêà íóìåðàëîâ: nab ¯ = anb.
σ--2. Ïðèìåíèì ôóíêöèþ σ ê íóìåðàëó n¯ â îáùåì âèäå:

Èòàê, σnab ¯ = n+ 1ab, òî åñòü σn¯ = n+ 1.
Îòâåò. Ôóíêöèÿ σ = λxyz.xy(yz) åñòü ôóíêöèÿ ñëåäîâàíèÿ äëÿ íóìåðàëîâ
n¯ = λxy.xny.



Çàäà÷à 5.3 Îïðåäåëèòü îáúåêò, âû÷èñëÿþùèé äëèíó êîíå÷íîé ïîñëåäîâàòåëüíîñòè (ñïèñêà)
Ôîðìóëèðîâêà çàäà÷è. Ïîêàçàòü, ÷òî ôóíêöèÿ
Length = λxy.Null x ¯0(σ(Length(Cdr x))y).



åñòü ôóíêöèÿ îïðåäåëåíèÿ äëèíû ñïèñêà x :

Ðåøåíèå.
Length--1. Ââåäåì âñïîìîãàòåëüíûå ôóíêöèè Null è Cdr :

Length--2. ÏðèëîæèìLength ê ïóñòîìó ñïèñêó N il:

Òàêèì îáðàçîì, ôóíêöèÿ Length êîððåêòíà ïî îòíîøåíèþ ê
ïðèìåíåíèþ ê ïóñòîìó ñïèñêó, òî åñòü Length N il = ¯0.
Length--3. Ïðèëîæèì ôóíêöèþ Lengthê ñïèñêó x, ñîñòîÿùåìó èç
îäíîãî ýëåìåíòà: x =< a >:

Ôóíêöèÿ Length êîððåêòíà ïî îòíîøåíèþ ê ïðèìåíåíèþ ê
ñïèñêó, ñîñòîÿùåìó èç îäíîãî ýëåìåíòà, òî åñòü ðàâíà ¯1.
Length--4. Òåïåðü ïðîâåðèìLength â îáùåì ñëó÷àå , ãäå
çíàê îçíà÷àåò “íå êîíâåðòèðóåòñÿ ê”:

Îòâåò. ÔóíêöèÿLength äåéñòâèòåëüíî âû÷èñëÿåò äëèíó ñïèñêà.
Îïóáëèêîâàë Kest April 11 2014 21:46:47 · 0 Êîììåíòàðèåâ · 4457 Ïðî÷òåíèé · Äëÿ ïå÷àòè

• Íå íàøëè îòâåò íà ñâîé âîïðîñ? Òîãäà çàäàéòå âîïðîñ â êîììåíòàðèÿõ èëè íà ôîðóìå! •


Êîììåíòàðèè
Íåò êîììåíòàðèåâ.
Äîáàâèòü êîììåíòàðèé
Èìÿ:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Çàïðåòèòü ñìàéëèêè â êîììåíòàðèÿõ

Ââåäèòå ïðîâåðî÷íûé êîä:* =
Ðåéòèíãè
Ðåéòèíã äîñòóïåí òîëüêî äëÿ ïîëüçîâàòåëåé.

Ïîæàëóéñòà, çàëîãèíüòåñü èëè çàðåãèñòðèðóéòåñü äëÿ ãîëîñîâàíèÿ.

Íåò äàííûõ äëÿ îöåíêè.
Ãîñòü
Èìÿ

Ïàðîëü



Âû íå çàðåãèñòðèðîâàííû?
Íàæìèòå çäåñü äëÿ ðåãèñòðàöèè.

Çàáûëè ïàðîëü?
Çàïðîñèòå íîâûé çäåñü.
Ïîäåëèòüñÿ ññûëêîé
Ôîëëîâü ìåíÿ â Òâèòòåðå! • Ñìîòðèòå êàíàë î ïóòåøåñòâèÿõÊàê ïðèãîòîâèòü ìèäèè â òàéëàíäå?
Çàãðóçêè
Íîâûå çàãðóçêè
iChat v.7.0 Final...
iComm v.6.1 - âûâ...
Visual Studio 200...
CodeGear RAD Stud...
Øàáëîí äëÿ íîâîñò...

Ñëó÷àéíûå çàãðóçêè
Ïîñëåäíåå çàãðóæ...
PDJ Scrollers
Borland Delphi 6....
Text3D
Ïîñëåäíèå çàãðóæ...
PrevInst
TrayComp
Ñèñòåìà áàííåðî-î...
Encrypt Decrypt
Ôîðìà â ôîðìå
Ñèñòåìà áàííåðî...
iComm v.6.1 - âûâ...
Rotolabel
DiskInfo
Ôàêòîðèàë [Èñõîäí...
Battle.Net - ìîíè...
Ïðîèãðûâàòåëü Mp3
Trojan [Èñõîäíèê ...
PHP: îáó÷åíèå íà ...
WebReg v1.3

Òîï çàãðóçîê
Ïðèëîæåíèå Êëèå... 100779
Delphi 7 Enterp... 97934
Converter AMR<-... 20285
GPSS World Stud... 17037
Borland C++Buil... 14206
Borland Delphi ... 10334
Turbo Pascal fo... 7381
Êàëüêóëÿòîð [Èñ... 6050
Visual Studio 2... 5214
Microsoft SQL S... 3667
Ñëó÷àéíûå ñòàòüè
Îïðåäåëåíèå òèïà ä...
Îñîáåííîñòè âñòðîå...
ËÎÃÈ×ÅÑÊÈÅ ÊËÞ×È
Óñòàíîâêà è íàñòðî...
Ïóòàíèöà â òåðìèíî...
Óïîðÿäî÷åííûé äèíà...
NTLM (NT LAN Manag...
Îáû÷íî ïðè âíåäðåí...
Òàáë. 3. Àíàëèç òå...
9. Íà âñå ó÷àñòâóþ...
Ïðèëîæåíèå «Ïðîñòå...
Î ôàéëå Favicon.ico
8.2. Äâà êâàäðàòè÷...
Ïðåäîòâðàòèòü ðåãè...
×òî ïðîèçîéäåò, åñ...
Àëãîðèòìû ñ âåêòîð...
Àçàðòíûé ñåðâèñ PM...
Íîâûé âèä ïàíåëè F...
Ïîèñê ãàìèëüòîíîâû...
Î ñåðèè ÕÐ
Äîáàâëåíèå â ïðîåê...
Áëîê BUFFER
Êàê Windows 98 èíñ...
Ýòî ïîçâîëèò ïîâòî...
Ïîëó÷èòå óäîâîëüñò...
Ñòàòèñòèêà



Äðóçüÿ ñàéòà
Ïðîãðàììû, èãðû


Ïîëåçíî
 êàêóþ îáúåäèíåííóþ ñåòü âõîäèò êëàññîâàÿ ñåòü? Ñóììèðîâàíèå ìàðøðóòîâ Çàíèìàþò ëè òàáëèöû ïàìÿòü ìàðøðóòèçàòîðà?