ImageVerifierCode 换一换
格式:PDF , 页数:29 ,大小:265.84KB ,
资源ID:1763434      下载积分:10 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.docduoduo.com/d-1763434.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(数理论理学ii.pdf)为本站会员(weiwoduzun)主动上传,道客多多仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知道客多多(发送邮件至docduoduo@163.com或直接QQ联系客服),我们立即给予删除!

数理论理学ii.pdf

1、 :gg3H1 g $ Bw, 51.1 Bwg: : : : : : : : : : : : : : : : : : : : : : : : : : : 51.1.1 Bw Og: : : : : : : : : : : : : : : : : : : : : : 51.1.2 Qg: : : : : : : : : : : : : : : : : : : : : : : : 61.1.3 A Qg: : : : : : : : : : : : : : : : : : : : : : : : 61.1.4 0w Og: : : : : : : : : : : : : : : : : : :

2、: : : : 61.1.5wg: : : : : : : : : : : : : : : : : : : : : : : : : : 71.1.6 g: : : : : : : : : : : : : : : : : : : : : : : : : : 71.1.7V Bg: : : : : : : : : : : : : : : : : : : : : : : 71.1.8 Rg: : : : : : : : : : : : : : : : : : : : : : : : : : 81.1.9vg: : : : : : : : : : : : : : : : : : : : : : : :

3、 : : 81.1.10, wg Y Qg: : : : : : : : : : : : : : : : 91.2 : $ 0 q B: : : : : : : : : : : : : : : : : : : : : : : : : 91.2.1: : : : : : : : : : : : : : : : : : : : : : : : : : : : 101.2.2 : : : : : : : : : : : : : : : : : : : : : : : : : : : : 111.3 q : : : : : : : : : : : : : : : : : : : : : : : : :

4、 : : : : : : 111.4 q : w6 hMUU 2bXswp| x BwgqoCQ8. a2ahb Bax OsMfwOsaUKlhqbx =fagqo|, wg bq|axxw p2tb iswp|a2ax RqsMxcpK l9. a2b2aqs Ba;bx OsMqd1.2 : $ 0 q Bp h Bwgx| $tfU % piqawiZ BhwpK| tlox sbWqOT sM bCase 1. x = yqb(%w Bxffxggqswp|%1 : BpsZyssMlo|a = bpK|%xffaggqs|x = aU Tt4 :x;y;a;bxbo sXsCase

5、 2. x= yqb(%x2 : Bp|%2 : Bqsloa= bpK(wiw zT|fxg=fag,fx;yg=fa;bg U| RwTx|x = a q| RwS|x= y, a= bT|y = b q 0Oq BA;Bw u BA B pV11. 1. A B =fa;b: a2A;b2Bg.2. A2 = A A.3. R A Bs BRAqBww2qpx2mw uT osMU| wnxw Bw u|An|nsr b18. 1. xU * $pK(Trans(x)qx|8y8z(z2y2x!z2x)qsqpK2. xU q :pKOrd(x)qx|Trans(x)8y2x(Trans

6、(y)qsqpKw t?p q|xU * $qxxU2to * $sq|xU q :pKqx|xiZpsXfwibo * $sqqs19. 1. x q :pK0qTXqUK2. S() =fgx q :pK3. Trans(a)!Trans(S(a)U RqbTrans(a) o|x2y2S(a)qbw w UK(i) x2y2awqV|Trans(a)|x2a S(a) (ii) x2y = awqV|tx2a S(a)pKMctdx2S(a)qs|S(a)x * $pK4. wqT|Ord(a)!Ord(S(a)U Rqbq ThUlo| $ :nt 0o|Sn(a)hjxbo q :q

7、sSn(0)x :n Bw p qhwpK| otnq bqUK5. F q :iqom B qbwqVFx q :qsy2x2FqbwqV|Fw T|x2 2Fqs q : U ObhUlo| w * QTy2 pKloy2FqsbsjTrans(F)qsFwiU * $swx|FU q :w BpKqMO TT20. !x q :pK! =fx2! : Ord(x)gx0|SpaoMBqs!xfwOs Qm7 w Bswp|! = !bsj|!wixbo q :pK * $pK 7t! =fx2! : x !gQq|! = !U|! . * $sqU Tlo!xq :pK4 J21. q

8、:wixbo q :pK. Ord(x) o|y2xqbOrd(x)w T|yx * $pKhz2yqby|xw * QT|z2xqsloxU q :sqT|fwizU * $sqU T TOrd(y)UtQwtMMbq|On =fx : Ord(x)g ( q : .)x * $pKqtQhTtOnwix q :swp * $pK1.3. q :1322. Onx BpxsMOnU BpKy| q :w EOrd(On)hbwp|On2OnqsloOTfx D pK, wgt Sbq : bht| , ;:;bwGOwqt|Qy9 ( )x|g9x(Ord(x)(x)w tqQ4 J23.

9、9 ( )!9 ( )8y2 :(y)U Rqb. ( ) b BA =fx2 : (x)gt, wg;Mq|Aw p2to siU Obxwiswpfx q : 2 fwOs iqb UipKqb QT wy2 xAt sMy2 x * QT RqoMwp|wqx:(y)bw4 Jx|)Qh % ps Et 0o|fhb w q :U ObqoM( )x w! :loMoM24.4 J23w 0Qq| =:qowgU RqmwU T8 (8y2 (y)! ( ) !8 ( ):wp qh4 J23 v pVXU T q BpKqloM7 stXt7 GiaUKlhqbwqV|X = Iafa

10、gqs|t|f : (Ia; T|(Ia; o| wf t F qTXF hjxboP(A)t bwp|f .x BqswqV| 0 G :fF : 2Ong!On; G(F ) = U gt|GwX Onx BtsloM| lt:( )U Rqm7 w qbw Qq| xv q :pxsMhUlo = S( )qTZ :f = f x wAw)QoMfU tsloMqdyM psZy|f ( ) = g(Aff(y) : y2 g)qof GpV Ghf x( ) Xfx w Mt lb32. w BAt 0o| q : q of : !AU ObqUhA w q ff qTXMyU OsM

11、 U Ohqbfw p7 w qf = b= 0+1wqV| + = ( + 0)f + 0gpK| + 0x q 2p j7wipKh(f0g )(f1g ) = (f0g )(f1g 0)f1; 0gpK| q T( + 0;2) = (f0g )(f1g 0);g : !22 x !2s :w .qOg( ) = 1 f ( ):g = f qs U ObU|g( ) = 1 f ( ) = f ( )qs| lpK1.5., :1944. 1. + = minf : . 1. +U Y psMqb + = XqsX +p| SU .20 H1 g $ Bw, . = i ) Nj=9y

12、 (y; (a1);:; (ak)hoVx 1QyMlo QU Rqb52. : M !NU wqV| : M = NqTX : M = Nqs U ObqV|MqNx pKqMM|M = NqTX2.2 Q gLxV Vt qbhTxL-gw B b Q gx|TU T $pK $ .%pTT l ZsMqqTUmqw Q b Q gw ROT| T QT Tw SxjLj+0 bM M; N N; M = N wqV|Tx pK. M;N j= TU)QhqV| wM ;N qM = N |M N pKhUlo|M M N Nqs w * Qt|M NU RqmloTx pK60. 0 :

13、G|S ! : :Gqo|TjMj+jNjqbq| Q gq Q gw t|M M, N N,jM j=jN j= sU Obdy| J59t|TUsqU T A. M = N .M x j $s(N;S)q s cfx0M T|SM padh BpKM w j xZq shjTsbsjmwiTSqS 1pahD BpK Sw-T|fwx xKN a mhUlo| mx ts61. Kv .qoK wV =f0gwgQt qoxwwQ2.4. D B251.COqowV qbhwG0, + , ;2.a2Kt 0o|1! : :Gfa;b;MoK wwgTK qpVTKU tsqbM;Nj=

14、TKqbM;Nx SjKj wvpK= (jMj+jNj)+qb Q gt|wOsM ;N j= TKU ObM M; N N; jM j=jN j= :M qN wix pKxitlo wp|M = N pK J59tloTKU sqU T2.4 D B62. ML- qo|A MnqbL-g(x1;:;xn;y1;:;ym)qb1;:;bm2Mlo|A =fa1;:;an2Mn : Mj= (a1;:;an;b1;:;bm)gqTZqV|A D BqMOhAxmg(x1;:;xn;b1;:;bm)p qMOA bgwb1;:;bmUBtqV|AxB p D qMOD Bx| w pg;Mo

15、 . $tG oM BpK63.v Mw Bx2jMjiZ ObM D BxgqwqMiZT OsMQyLUDwqVx|jMjxT OsM64. 1.v BA = fa1;:;amg Mx D BpKMAxgx = a1_ _x = amp 2. : .RtSMo|y = x2wx D BpKy = ax2 +bx+cwxfa;b;cg p D pK J65. A MnB M p D BqbwqV|B b w : M!Mt 0o|Ax - !pKbsj(A) = AU Rqb26 H2 gw, . owhtn = 1qo|A bg(x;b1;:;bm)qbpb1;:;bm2BpK wa2Mt

16、0oU Rqba2A ) Mj= (a;b1;:;bm) Mj= ( (a); (b1);:; (bm) Mj= ( (a);b1;:;bm) ( jB = idB) (a)2A:1 swp| VU Rqblo (A) = ApK66. N p|1! : :GSwr a7!a+1qo|fSg- MMw x| s TsMhUlo|bow BA Mx p !pKT|Mw D psM Bx ObhUlo| J65wox RqsM67. (Q; ;Mq|fw w q Go| q tpVaAfagwrwi GVMq by|A w q U vw a2At 0o| :Gca;bh! : G ;o|w E bgw BTQ1. fca= cb : a;b2A; a= bg2. fca cb : Aj= abg3. x q pKv x| tmhUlo| QtT .UMma2AqcaM by| BqoA MpKwqV wr wAw MvU q tsloM

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报