scan2 (Упражнения и ответы к главе 5)
Описание файла
Файл "scan2" внутри архива находится в следующих папках: Упражнения и ответы к главе 5, упражнения и ответы. PDF-файл из архива "Упражнения и ответы к главе 5", который расположен в категории "". Всё это находится в предмете "системы искусственного интеллекта" из 7 семестр, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "системы искусственного интеллекта" в общих файлах.
Просмотр PDF-файла онлайн
Текст из PDF
........-210OrBeTLI" peWeHHHOTBeTLI " peWeHHH6) 0llIH6KOH 6blJIa 6bI 3anHCb Vx«D(x)I\R(x»~C(X»,TaR KaKD(x)/\R(x)-nyCTO. llpaBHJIbHblM pellleHHeM 6YJ],eT:Vx (D(x»~C(x»/\R(x)~C(x»HJIHVx«D(x)vR(x»~C(x».4a. Vx(A(x)~D(x)/\£f(x)l\.llI(x».46. Vx3yB(x,y).46. Vx,Y(,(X=y)~3p«XEp);\(yEp)/\ Vq«XEq)/\(yEq)~(P=q».50. Vx( C(x)/\S(x»~3y(B(x,Y)l\k(y».5e. 3x(E(x)/\ Vx(C(x,y)~E(y)))~,3x(M(x)/\S(x)).6a. Kor.1l;ax onpe.1l;eJIeHHa npe.1l;MeTHOH06JIaCTH H3 O.1l;HOrO3JIeMeHTa.66. Kor.1l;a npeJ],MeTHaH 06JIaCTb nYCTa (HO 3.11;eCbMO)j(HO H B03pa3HTb)..8.
CaMo HCXO.1l;HoenpeJ],JIO)j(eHHe Ha H3blKe npe}],HKaTOB 3anHllIeTCHKaK3xK(x)/\ Vx(K(x)~J7(x».B JIHTepaTypeT.e.He 06CY)J(J],aeTCHBapHaHT "orYJIbHOrO"°TPHI.\aHHH,,(3xK(x)/\ Vx(K(x)~J7(x»),nOCKOJIbKY3,D;eCb CJIe,D;yeT YTOqHHTb,<paKT JIblCOCTHKOpOJIHqTOBCe-TaRHHJIH <paKT cYlI.(eCTBOBaHHHI.\HH. B CBH3H C 3THM npeJ],JIaraeTCH.1I;Ba BapiiaHTa°TPHI.\aeTCH:KOpOJIH<PpaH-°TPHI.\aHHH:3xK(x)/\ Vx(K(X)--hJ7(X»;,3xK(x)/\ Vx(K(x)~J7(x».Ila. VxP(x)/\3yQ(Y)v-. VxP(x)/\-,3yQ(Y)=VxP(x)/\3yQ(y)v3x-.P(x)/\ Vy,Q(y)=Vx3 y(P(x)I\Q(Y) )v3vVw( ,P( v)/\,Q( w»=Vx3y, vVw(P(x)/\Q(y)v,P(v)/\,Q(w»=P(x)/\Q(ji c(X»V,P(f2 c(x))/\,Q( w».B pe3YJIbTaTe nOJIyqHM qeTblpe .1I;H3'bIOHKTa:P(x) v ,P(f2c(X», P(x)v,Q(w), Q(jic(x»v,P(f2c(x»,Q(jic(x»v-,Q(w).II.JIC.3xP(x)l\3xR(x)=3xP(x)1\3yR(y)=3x,y(P(x)I\P(y)=P(al c)l\R(a2')..TIOJIyqaeM .1I;BaJ],H3'bIOHKTa: Peal C), R(a2 c).IlK.
\:IxP(x) v VxR(x) =Vx(P(x)vR(x».211Lb. -,R(x)v M(x).)];31.-,Q(x)v L(x).)];32.-,Q(x)vD(x).)];4. P(rAx»vR(1J(x».OTpHQaHHeTeopeMbl.1I;aeT .1I;Ba .1I;H3'bIOHKTa:)];51.-,L(x)v-,M(x).)];52.,D(x)v-,L(x).BbIBO,D; TeopeMbIMO)J(eT HMeTb BH.1I;:()J;21- )];51):):(61.,R(x)v-,M(x).(,lJ;22- )];61): )];62. -,R(x).():(31 - )];52): )];63.
-,Q(x)v,D(x).()J;32- )];63): )];64. ,Q(x).()J;64- )];1): )];65. ,P(x)vR(x).()J;65- )];62): )];66. ,P(x).()];66 - )];4): )];67. R(fI(X».()J;67 - )];62): )];68. 0 D.llpe.lU1oJIaraeTc5I, 3aMeHHB TeopeMY Ha Bonpoc,BBeCTH)];51': -,L(x)v,M(x)vOTB(x))];52': -,D(x)v-,L(x)vOTB(x)T.e. BMeCTO)];51H )];52HcaMOCTOHTeJIbHO nOJIyqHTb OTBeT.126.Vx(3y(S(x,y)/\M(y))~3y(L(y )I\R(x,y))=VxCVy(,S(x,y)v-,M(y»v 3z(L(z)/\R(x,z))).)];JUI ynpOlI.(eHHH pe3YJIbTHpYIOlI.(erO Bblpa)J(eHHH ncpeJ], BblHeceHHeM KBaHTopOB nOMeH5IeM qJIeHbl BHelIlHeH ,D;H3'blOHKQHHMecTaMH:Vx3zVy(L(z)/\R(x,z)v-,S(x,y)v,M(y»L(ji c(x) )/\R(x,jiTIOJIyqaeM=c(x»v-,S(x,y)v,M(y).,D;H3'bIOHKTbl:)];11.L(flc(x»v-,S(x,y)v,M(y).)];12.R(x,jic(x»v-,S(x,y)v-,M(y).TIpe06pa3yeM TeopeMY:-,3xL(x)~ Vx,y(S(x,y )~,M(y»=3xL(x)vV x,y(S(x,y)v-.M(y»=Vx,y3z( -,S(x,y )v-.M(y)v L(z».TIonyqaeM.1I;H3'bIOHKTbl H3 oTPHQaHHHTIOJIyqaeM OJ],HHJ],H3'bIOHKTP(x)vR(x).126.
TIOJIyqaeM ,D;H3'bIOHKTbIH3 aKCHOM:)];21. S(al)];1.-.P(x)v R(x)vQ(g(x»)];21.-,R(x)v L(x).)];22.M(a2c).)];23.-,L(z).C,a2').TeopeMbI:........-210OrBeTLIH peWeHIUIOTBeTLI6) OIlIH6KOH6blJIa 6b! 3amlCb Vx«D(x)I\R(x»~C(X»,Tax KaKD(x)I\R(x)-nYCTO. llpaBHJIbHblM peIlIeHHeM 6YJJ,eT:Vx (D(x»~C(x»I\R(x)~C(x»HJIHVx«D(x)vR(x»~C(x».4a. Vx(A(x)~D(x)1\£f(x)/\.llI(x».46. Vx3yB(x,y).46. Vx,Y(--'(X=y)~3p«XEp)1\(yEp)1\ Vq«XEq)I\(yEq)~(P=q».50. Vx( C(x)I\S(x»~3y(B(x,Y)l\k(y».5e.
3x(E(x)1\ Vx(C(x,y)~E(y)))~--,3x(M(x)I\S(x)).6a. Kor,D;a x onpCJJ,cnCH Ha npeJJ,MCTHOH 06JIaCTH H3 o,D;Horo 3JICMeHTa.66. Kor,D;a npcJJ,McTHaR o6nacTb nYCTa (HO 3,D;eCbMO)KHOH B03pa3HTb)..8. CaMo HCXOAHoe npC,l(JIO)KCHHCHa Sl3blKC npCAHKaTOB 3anHIlIeTCRKaK3xK(x)1\ Vx(K(x)~J7(x».B mlTepaTypeHe o6CY)KAaeTCR BapHaHT florYJIbHOrO" OTpHQaHHR,T.e.3,D;CCb CJICAyeTcpaKT JIbICOCTHKOpOJIRYTOqHHTb,'ITOBCC-TaKHHJIH <paKT cy~eCTBOBaHH.!IQHH. B CBR3H C 3THM npC,l(JIaraeTCR):(Ba BapHaHTaOTpHQaeTCR:KOpOJIR<PpaH-OTpHQaHHR:3xK(x)/\ Vx(K(x)~-.J7(x»;-.3xK(x)/\ Vx(K(x)~J7(x».Ila. VxP(x)1\3yQ(Y)v-. VxP(x)/\..,3yQ(y)=VxP(x)1\3yQ(y)v3x-.P(x)1\ Vy-.Q(y)=Vx3y(P(x)I\Q(y»v3vVw( -.P( v)/\-.Q(w»=Vx3y, vVw(P(x)/\Q(y)v--,P(V)I\--,Q(w»=P(x)/\Qifl c(x))V..,Pif2c(x))I\--,Q(w».B PC3YJIbTaTCnOJIY'IHMLfeTblpC AH3'bIOHKTa:P(x) v --,Pif/(x», P(x)v--,Q(w), Qifl c(x»v..,P(tjc(x»,Q(fIc(x»v--,Q(w).IIJIC.3xP(x)A3xR(x)=3xP(x)1\3yR(y)=3x,y(P(X)I\P(y)=P(Glc)AR(al1..I10JIYQaeM ):(Ba AH3'bIOHKTa: P(al c), R(al c).IlK.
Vx P(x) v VxR(x) =Vx(P(x)vR(x».I10JIYQaCM OAHH JJ,H3'bIOHKTP(x)v R(x).126. ITOJIY'IaeM AH3'bIOHKTbl H3 aKCHOM:,L(,.-,P(x)v R(x)vQ(g(x»~21' -,R(x)vL(x).M(x).~31' ..,Q(x)vL(x).~32' ..,Q(x)vD(x).~4' P(q.(x»vR(1](x».OTpHl~aHHC TCOpCMbl ,D;aeTABa ,D;H3'bIOHKTa:~5" ..,L(x)v--,M(x).~52' -.D(x)v-.L(x).BbIBOA TCOpCMbl~21MO)KCT HMcnBHA:-~51): ~61. -.R(x)v-.M(x).(~2l - ~61): ~6l. -.R(x).(~31 - ~52): ~63.
--,Q(x)v-.D(x).~32 - ~63): ~64. --,Q(x).~64 - ~I): ~65. --,P(x)vR(x).~65 - ~62): ~66. --,P(x).~66 - ~4): ~67. R(rt(x».~67 - ~62): ~68. 0 D.llpc.n:noJIaraeTCR,BBeCTH-.(3xK(x)1\ Vx(K(x)~J7(x))),nOCKOJIbKY~22' -.R(x)v211H peWeHIUI3aMCHHB TCOPCMYHa Bonpoc,~51': ..,L(x)v-.M(x)vOTB(x)~5l': ..,D(x)v-.L(x)vOTB(x)T.e. BMCCTO~51 H ~52HcaMOCTORTeJIbHO nOJIYLfHTb OTBCT.128.Vx(3y(S(x,y)I\M(y))~3y(L(y )I\R(x,y))=Vx(Vy(-.S(x,y )v..,M(y»v 3z(L(z)I\R(x,z))).~JI" ynpo~eHHSI PC3YJIbTHpYIO~cro Bblpa)KCHHRncpeA BblHeceHHeM KBaHTopOB nOMeHReMLfJIeHblBHeIlIHeHAH3'bIOHKQHHMecTaMH:Vx3zVy(L(z)I\R(x.z)v-.S(x,y)v-.M(y»Ufl c(x) )I\R(x,jiI10JIyqaeM=c(x»v-.S(x,y)v-.M(y).,D;H3'bIOHKTbl:~ll.
L(ti'(x»v..,S(x,y)v-.M(y).~12.R(x,ji c(x»v..,S(x,y)v-.M(y).I1pe06pa3ycMTCOPCMY:..,3xL(x)~ Vx,y(S(x,y)~-.M(y»=3xL(x)vV x,y(S(x,y)v-.M(y»=Vx,y3z( -.S(x,y)v-.M(y)v L(z».I10JIYQaCMAIB'bIOHKTbl~ll. S(alc ,alc).~ll. M(alc).~l3. ..,L(z).H3 o11HfQaHHSITeOpeMbI:.