מצגת בניית מודלים

33
םםםםם םםםםםם םםםם םם םםםםםםם םםםםםםם םםםםם םםםםם םםםםםםם: םםםם םםםםםםםםםם.םםםםם.- םםםםם םםםםםםםם

Transcript of מצגת בניית מודלים

םםםםם םםםםםםםםםם םם םםםםםםם םםםםםםם םםםםם •

םםםםם םםםםםםם:םםםם םםםםםםםםםם.•םםםםם םםםםםםםם-םםםםם.•

םםםם םםםםם םםםם םםם םםםםם םם םםםםם:

םםם םםםם םםם Lםםםםםם. םםםם ם-םםםםםםם םםם םםםםםםם םםםםם םםםםםם

L.

M. םםם L םםםם ם-Tםםםםם: םםם T םםםם ם-L. Mםםםם םםםםם םם

, םםםםםם Tםםםםם םםם םםםם םםםםם ם-.Mם-

םםםםם: םםםם םםםםם םםם םםםם םםם םם םםםם.

םםםם . +T םםםםם םםםםם T םםםם םםםםםם • םםם Tםם םםם םםם, םם םםםם ם-•

. +Tםםםם ם- םםם +Tםםם םםם םםם, םם םםםם םם •

. Tםםםם םם

םםםםםםם .L={S}םםםם םםםם םםםםםם •, T={A,B,C}םםםם םםםם םםםםם םםם םםםםם •

םםםם •A ם םםם םםםםםx(S(x,x)),•B ם םםם םםםםםx,y[[S(x,y)S(y,x)]x=y],•C םםם םםםםם

.x,y,z[[S(x,y)S(y,z)]S(x,z)]ם.T םםם םםםם ם-M=(N,≤)םםםםם • םםםםם.Tםםםםם •

םםםם םםםם םםםם (=םםם םםם=םםם םםםםםם) •

.T{x,y[S(x,y)S(y,x)]}םםם , ≥> םםם םםםם םם םם םםםם M=<Nםםםםם •

םםםם םםםם םםםם םם םם םםםם םםםםם.םם םםםם םם םםםם םםםם םםםם םםם םםםם םם •

םםםם םםםם םםםםם.•<P({1,2}), םםם םםםם םם םםםם םםםם <

םםםםם, םםם םםם םםםםם םםםם םם םםםם םםםם םםםם.

םםםםם םםםם םםםםם םםםםם:T={x[S(x)],S(c)} םם םםםם .

. םם Tםםםםם םםםםם םם םם םםםםםםם ם-םםם םםםםם םםםםםם.

םםםםם ,T={c≠dםםםם םםםם םםםםם 1.

x,y[S(x,y)x≠y]}.םםםם םםםם םםםםם 2.

T{x[y[S(x,y)]]}.=>> (םםםם םםםםםם L ם-Tםםםם םםםם 3.

L, M ם-Mםםםם) םםםםם םם םםםם M םם"ם םם םםםםם םם Tםםםם םם

םםםםםם םםםםם.

םםםםם םםםם םםםםםם םם םםםם םם םםםםםם

םםםםם: םםםםםם םםם םםםםםם םםםםם: L1=<S,f<, L2=<S,f,c1,c2,c3 םםםםםםם .<

L1-םםםם ם L2 םםםםם .M=<R,<,,>,+> R. םםםםם >L2> םםםם םם 0,1,4,+

םםםםם Mםםם "םםםםםם" םם םםםםם . M|L1. םםםםם םםם םםםםם ם-L1םםםםםם

םםםם M|L1 םםםם Mםםםםם םםםםם םםם .L2-L1 םםםםם םםםם םם םםםםםם ם-M|L1ם-

םםם םםםםםם םםםםם םם L1,L2 םםםםם: םםםם . L2 םםםם םםםםם םם M. םםם L2 םםםם ם-L1ם-

, םםםםם םם:M|L1, םםםםם L1 ם-Mםםםםםם םם .L1 םםםם םםם M|L1םםםם םםםםםם ם-

.M םםם םםםםם םם M|L1םםםםם םם םםםםם םםם םםםם M|L1 םםםםם ם-L1םם םםם ם-.Mםםםםם ם-

.M|L1 םםם םםםםם םם Mםםםםםם םםםםם:

םםםם L1 םםם םםםםםם םםםםם םם ם-L1,L2םםםם

. L2 םםםם םםםםם םם M. םםם L2םםםם ם-םם:

: L1, ם-Aם. םםםם םם םםםם, A-םםםםםם ם M|L1 םם"ם A-םםםםםם ם M.

:L1, ם-Tם. םםםם םם םםםם, M|L1-םםםם ם T-םם"ם םם םםםםםםם ם T

.Mםםםםםםםם ם-

םםםם ,>L1=<S םםםםםם םםם םםםםםם םםםםם:

L2=<c,S,g .<. fM(x)=x+1>, םםםם M=<N,0,≤,fMםםםם םםםם

םםםםםם םםםםםם: A1=x,y,z[S(x,y)S(y,z)]

A2=x[y(S(y,x))]A3=x[S(c,x)]

A4=x[S(x,f(x))]

ם. םםםם םםםם םם םםםם םםם םםםם

.A1,A2,A3,A4 םםםםםםםם M,M|L1םםםםםם ?T={A1,A2} םםםם םםםםם Mם. םםם ?T םםם םםםם םםםםם M|L1ם. םםם

םםםם םםםםםם L (םםםםם םםםםם T םםם םם םםםם

םםםםםם), םםםםםםם םם םםםםםם םםםםם?

T םם םםםם םם nם. םםם םםםם םםםם םםםםם םםםםם.nםםם

םםםם םםםםםםם.Tם. םםם ם-

םםםם םםםם םםםםםם> םםם L=<0,1,+,*,Sםםםם םםםם םםםםםם

S םם םםםםם םם םםםםםם םםםםםם, 0,1םםם םםם םם-םםםםם םםםםם +,* םם םםםםם םם םםםםםםםם םם-םםםםםםם.

L םםםםם םם םםםםםםם ם-Tםםם ,+,*,>> M=<N,0,1םםםםםםםםם םםםםם

םםםםם םםםם "םםם" םםם S(םםםם םםםםםם םםםםםם).

םםם םם םםם Tם. םםם םם םםםם ם-םםםם םםםם םםם םםם םםםםםם?

a םםם םם םםם Tם. םםם םם םםםם ם-םםםם םםםם םםם םםםםםםם םםםםםםם,

םםם םם n, םםםם n םםם n<aםםםםם םםםםם)?n (1+..+1+1םםםםם םם

םםםםםםם םםםםם Tם. םםם םם םםםם ם-םםםםםם םםםם (םםםםםם םם םםםםם

םםםםםםם םםםםםםם)?

םםם םםם S, םםםםם םםם םםם םםם A םםםםם: םםםםם םםםםם

) םםם םםםם םםםםם A,S (םםם םםםםם ם-(Aםם םםם םםם םםםםם םםםם םם םםםםם Sםםםם םםםם).

B םם A םם םםם b-ם B םםםם םםםםם םםםםםם S ,.S(b,x) םםםםםם B ם-xםםםםם: םםם

םםםם: םםםםםם םםםםם םםםםם םםםםםם םםם. םםםםם םםםםםםםםם םם םם םםםםם םםםםם םםם םם םם

םםםםםםם םםםםםםם.-םםםםם S םםםם Aםםםם: םם םםםם םםם םםםם ם-

םםםםםםםם, םם םםםם םםםםם םםםםם.

םםםם םםםםםם םםםםםם S> םםםם L=<Sםםםם םםםם םםםםםם

םםם םםם םם םםם םם-םםםםם. םםם םם םםםםם M םם םםםם םםםם L ם-Tםםםם

, Lםם M םםם םםםם םם T םם"ם S-םםםםם ם M

םםםם םםם?

םם םםםםם םםםם םםם םםםם םםםם םםםםם םםםם םםםםם םםםם

םםםםםםםםםם!

םםםם םםםםםםםםםם םםםם. םם םם םם םםםםם T םםם

T םםם םםםם םםםםם, םם Tםםםםם םם םםםםם.

םםםם םם םםםםם םםםםםםם םםםםםם

L (םםםםם םםםםם T םםם םם םםםם םםםםםם), םםםםםםם םם םםםםםם

םםםםם? T םם םםםם םם nם. םםם םםםם םםםם

םםםםם םםםםם.nםםם םםםם םםםםםםם.Tם. םםם ם-

םםםם םם םםםםם םםםםם םםםםםם

,+,*> םםם L=<0,1םםםם םםםם םםםםםם םם םםםםם םם םםםםםם םםםםםם 0,1

םםםםם +,* םם םםםםם םם םםםםםםםם םם-םםםםםםם.

L םםםםם םם םםםםםםם ם-Tםםם ,+,*>.M=<N,0,1םםםםםםםםם םםםםם

םםם םם םםם Tם. םםם םם םםםם ם-םםםם םםםם םםם םםם םםםםםם?

a םםם םם םםם Tם. םםם םם םםםם ם-םםםם םםםם םםם םםםםםםם םםםםםםם",

םםם םם n, םםםם n םםם n<aםםםםם םםםםם)?n (1+..+1+1םםםםם םם

םםםםםםם םםםםם Tם. םםם םם םםםם ם-םםםםםם םםםם (םםםםםם םם םםםםם

םםםםםםם םםםםםםם)?

םםםם םם םםםםם םםםםםםם םםםםםם

S> םםםם L=<Sםםםם םםםם םםםםםם םםם םםם םם םםם םם-םםםםם. םםם םם

םםםםם M םם םםםם םםםם L ם-Tםםםם , Lםם

M םםם םםםם םם T םם"ם S-םםםםם ם M םםםם םםם?

םםםםם םםםםםם םםםםםם םםםםם םם •םםםםםםם םם םםםם םםםםםםםםםם.

םםםםם םםםםםם םםםםם םםםם םםםם •םםםםם םםםםם םםםםם םםםםם םםםםםםם

םםםםם םםםם םםםםםםםםםם.

םםםםם>. םםם L=<S. םםםם םםםם םםםםם 1 •

T-םםםםם םםםםםםם ם L םםםםםםםםם ,>>. M0=<{1,2,3}םםםםם

םםםםם םםםם םםםםם •L+=<S,c1,c2,c3,e .<

םםםםם םםםם: •T+=T{c1<e,c2<e,c3<e}.

םםםםם? םםםםםם!+ Tםםם •

םם!•

>. L=<S,c1,c2,c3. םםםם םםםם םםםםם 2 • םםםםםםםםם L םםםםם םםםםםםם ם-Tםםם

,>>. M0=<{1,2,3}םםםםם >. L+=<S,c1,c2,c3,eםםםםם םםםם םםםםם •.T+=T{c1<e,c2<e,c3<e}םםםםם םםםם: •םםםםם? םםםםםם!+ Tםםם •

םם!•

. םםםם םםםם םםםםם 3 •L=<S,c0,c1,c2,c3,c4 םםם .<…,T םםםםם

םםםםםםםםם םםםםם Lםםםםםםם ם-M0=<N,<,0,1,2,3,4 .<…

>. L+=L<eםםםםם םםםם םםםםם • T+=T{cn<e:n isםםםםם םםםם: •

natural}.םםםםם? םםםםםם!+ Tםםם •

םם!•

םםםם םםםםםםםם-םםםםם םםםם םםם םם םםםם T םםם •

םםםםםםם. םם םםם םםםםם םםםםםםםם |, םם םםםם L םםםם םםםםם |ם

םםםםם.םםםםםםםם

םםםםם םםםם םםם םם םםםם םםםםםם T םםם •

. םם םםם םםםםם םםםםםםםם, םםםםםם םםםם םםםםם םםםםםםםםם

|L םם םםםם םםםםםםם םםםםם ,|.

םםםםם ם: םםם םםםם םםםםםםם-םםםםם • םםםםם, םםםם םםם םםםם םםםםםםם

ם.ם.ם.םםםםםם

םםםםם םםםםם םםםם םםםםםםםםםם

םםםם םםםםם םםםםם םםםםםם. םםםםםם םם םם •םםםםם םם םםםם םםםםםםםם-םםםםם, םםם םם

םםםם םםםםםםםםםם םםםם. L םםםם םםם םםםםם םםםם T םםם םםםםם:•

םםםםם םםםםםםם A. םםם Tםםםם םםםםםם םם . ם. L+=L{ca:aA}םםםםם םםםם םםםםם •.T+=T{ca≠cb:a≠b}םםםםם •+ Tםםםם םםםםםם םםםםם םםםם םםםםםםםםםם ם-•

םםםםם.