📄 slide0013.htm
字号:
<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=GB2312">
<meta name=ProgId content=PowerPoint.Slide>
<meta name=Generator content="Microsoft PowerPoint 9">
<link id=Main-File rel=Main-File href="../Ai.htm">
<link rel=Preview href=preview.wmf>
<link rel=OLE-Object-Data href=oledata.mso>
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
p\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
v\:textbox {display:none;}
</style>
<![endif]-->
<title>人工智能</title>
<meta name=Description content="2000/3/13">
<link rel=Stylesheet href="master03_stylesheet.css">
<![if !ppt]>
<style media=print>
<!--.sld
{left:0px !important;
width:6.0in !important;
height:4.5in !important;
font-size:107% !important;}
-->
</style>
<script src=script.js></script><script><!--
gId="slide0013.htm"
if( !IsNts() ) Redirect( "PPTSld", gId );
//-->
</script><!--[if vml]><script>g_vml = 1;
</script><![endif]--><script for=window event=onload><!--
if( !IsSldOrNts() ) return;
if( MakeNotesVis() ) return;
LoadSld( gId );
MakeSldVis(0);
//-->
</script><![endif]><o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="27,38"/>
</o:shapelayout>
</head>
<body lang=ZH-CN style='margin:0px;background-color:black'
onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
visibility:hidden'><p:slide coordsize="720,540"
colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
masterhref="master03.xml">
<p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
href="master03.xml#_x0000_s1030"/>
<div v:shape="_x0000_s1030" class=O>
<div style='text-align:right;position:absolute;top:92.0%;left:72.65%;
width:18.91%;height:3.0%'><span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";font-size:58%;mso-field-code:meta16'>18</span><span
style='font-size:58%;mso-special-format:lastCR;display:none'> </span></div>
</div>
<![endif]><v:shapetype id="_x0000_t202" coordsize="21600,21600" o:spt="202"
path="m0,0l0,21600,21600,21600,21600,0xe">
<v:stroke joinstyle="miter"/>
<v:path gradientshapeok="t" o:connecttype="rect"/>
</v:shapetype><v:shape id="_x0000_s20482" type="#_x0000_t202" style='position:absolute;
left:10.75pt;top:8.75pt;width:718.125pt;height:438.5pt;mso-wrap-style:none;
v-text-anchor:top-baseline' filled="f" fillcolor="#0c9 [4]" stroked="f"
strokecolor="black [1]">
<v:fill color2="white [0]"/>
<v:shadow color="gray [2]"/>
<v:textbox style='mso-fit-shape-to-text:t'/>
</v:shape>
<div v:shape="_x0000_s20482" class=O>
<div style='position:absolute;top:2.25%;left:2.43%;width:117.41%;height:5.75%'><span
style='font-family:黑体;mso-fareast-font-family:黑体'>定义</span><span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>[</span>变元赋值<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>v</i></span><span lang=EN-US
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>: </span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>L</i></span><span
lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
symbol'><i>®</i></span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>|I</i></span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>|</span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'>]:<span
style="mso-spacerun: yes"> </span></span>一个从语言<span style='font-family:
"Times New Roman";mso-ascii-font-family:"Times New Roman"'> </span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i>L </i></span>中变元到论域中对象的映射<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>. </span></div>
<div style='position:absolute;top:8.5%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:13.25%;left:2.43%;width:97.94%;height:5.25%'><span
style='font-family:黑体;mso-fareast-font-family:黑体'>例</span><span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>[</span>部分赋值<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>]:
</span></div>
<div style='position:absolute;top:19.0%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:24.25%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:29.75%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:35.0%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:40.25%;left:2.43%;width:97.94%;height:4.75%'> </div>
<div style='position:absolute;top:44.75%;left:2.43%;width:97.94%;height:5.75%'><span
style='font-family:黑体;mso-fareast-font-family:黑体'>定义</span><span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>[</span>项赋值<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>,
</span>记<span style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>v</i></span><span lang=EN-US
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>: </span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>L</i></span><span
lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
symbol'><i>®</i></span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>|I</i></span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>|</span><span lang=EN-US style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'>]:<span
style="mso-spacerun: yes"> </span></span>给定<span style='font-family:
"Times New Roman";mso-ascii-font-family:"Times New Roman"'> </span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i>I, v</i></span><span lang=EN-US
style='mso-fareast-language:ZH-CN;display:none'> </span></div>
<div style='position:absolute;top:50.5%;left:2.43%;width:97.94%;height:5.25%'><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><span style="mso-spacerun: yes"> </span>1. </span>若<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>a</i></span><span lang=EN-US
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'> </span>是一个<span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman"'>(</span>对象<span style='font-family:
"Times New Roman";mso-ascii-font-family:"Times New Roman"'>)</span>常元<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>,
</span>则<span style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>v(a)=I(a) </i></span></div>
<div style='position:absolute;top:55.75%;left:2.43%;width:97.94%;height:5.25%'><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i><span style="mso-spacerun: yes"> </span>2</i></span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>. </span>若<span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman"'> </span><span lang=EN-US
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i>x </i></span>是一个变元<span style='font-family:
"Times New Roman";mso-ascii-font-family:"Times New Roman"'>, </span>则<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>v(x)=</i></span><span
lang=EN-US style='mso-fareast-language:ZH-CN;display:none'> </span></div>
<div style='position:absolute;top:61.25%;left:2.43%;width:105.99%;height:5.25%'><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><span style="mso-spacerun: yes"> </span>3. </span>若<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>t </i></span>是一个形如<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>f(t1,t2,…,tn) </i></span>的项并且<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>I(f)=g </i></span>和<span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
</span><span lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
"Times New Roman";mso-fareast-language:ZH-CN'><i>v(ti)=ci</i></span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'>, </span>则 </div>
<div style='position:absolute;top:66.5%;left:2.43%;width:97.94%;height:5.25%'><span
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><span
style="mso-spacerun: yes"> </span></span><span
lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i>v(t)=g(c1,c2,…,cn) </i></span></div>
<div style='position:absolute;top:72.25%;left:2.43%;width:97.94%;height:4.75%'><span
lang=EN-US style='mso-fareast-language:ZH-CN;display:none'><i> </i></span></div>
<div style='position:absolute;top:77.25%;left:2.43%;width:97.94%;height:5.25%'><span
style='mso-ascii-font-family:宋体'>例:</span><span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman"'><span style="mso-spacerun:
yes"> </span></span>对<span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman"'> </span><span lang=EN-US
style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
mso-fareast-language:ZH-CN'><i>Hat </i></span>赋值<span style='font-family:"Times New Roman";
mso-ascii-font-family:"Times New Roman"'>.</span><span style='font-family:
"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i> </i></span><span
style='mso-special-format:lastCR;display:none'> </span></div>
</div>
<v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75"
o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f">
<v:stroke joinstyle="miter"/>
<v:formulas>
<v:f eqn="if lineDrawn pixelLineWidth 0"/>
<v:f eqn="sum @0 1 0"/>
<v:f eqn="sum 0 0 @1"/>
<v:f eqn="prod @2 1 2"/>
<v:f eqn="prod @3 21600 pixelWidth"/>
<v:f eqn="prod @3 21600 pixelHeight"/>
<v:f eqn="sum @0 0 1"/>
<v:f eqn="prod @6 1 2"/>
<v:f eqn="prod @7 21600 pixelWidth"/>
<v:f eqn="sum @8 21600 0"/>
<v:f eqn="prod @7 21600 pixelHeight"/>
<v:f eqn="sum @10 21600 0"/>
</v:formulas>
<v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/>
<o:lock v:ext="edit" aspectratio="t"/>
</v:shapetype><v:shape id="_x0000_s20484" type="#_x0000_t75" style='position:absolute;
left:180pt;top:102pt;width:66.75pt;height:102pt'>
<v:imagedata src="slide0013_image032.wmz" o:title=""/>
</v:shape><o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_s20484"
DrawAspect="Content" ObjectID="13">
<p:oleclientdata subtype="equation" menuname="公式"
clipboardname="Microsoft Equation 3.0"/></o:OLEObject>
<![if !vml]><img border=0 v:shapes="_x0000_s20484" src="slide0013_image033.gif"
style='position:absolute;top:19.0%;left:25.09%;width:9.17%;height:18.75%'><![endif]><v:shape
id="_x0000_s20485" type="#_x0000_t75" style='position:absolute;left:324pt;
top:300pt;width:22.75pt;height:24pt'>
<v:imagedata src="slide0013_image034.wmz" o:title=""/>
</v:shape><o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_s20485"
DrawAspect="Content" ObjectID="14">
<p:oleclientdata subtype="equation" menuname="公式"
clipboardname="Microsoft Equation 3.0"/></o:OLEObject>
<![if !vml]><img border=0 v:shapes="_x0000_s20485" src="slide0013_image035.gif"
style='position:absolute;top:55.5%;left:44.94%;width:3.18%;height:4.5%'><![endif]></p:slide></div>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -