Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.
10 Pages
inference
Course: MATH 112, Fall 2009School: Caltech
Rating:
Word Count: 7924
Document Preview
%%Creator: %!PS-Adobe-2.0 dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title: inference.dvi %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips inference.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2004.08.17:1604 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind...
Unformatted Document Excerpt
Coursehero >> California >> Caltech >> MATH 112Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
%%Creator: %!PS-Adobe-2.0 dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title: inference.dvi %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips inference.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2004.08.17:1604 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin /FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array /BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr 1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B /chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 {2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ 1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put }if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X 1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N /p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end %%EndProcSet TeXDict begin 40258431 52099146 1000 600 600 (inference.dvi) @start %DVIPSBitmapFont: Fa cmbx10 10 2 /Fa 2 85 df<B912C0A43A007FF800039338007FE0171F170F1707A21703A21701A318F0 EE7800A41800A216F8A21501150791B5FCA4ECF80715011500A21678A693C8FCADB7FCA4 34397DB83C>70 D<003FB91280A4D9F800EBF003D87FC09238007FC049161F007EC7150F A2007C1707A200781703A400F818E0481701A4C892C7FCB3AE010FB7FCA43B387DB742> 84 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fb cmmi10 10 4 /Fb 4 84 df<0103B7FC4916E018F8903B0007F80007FC4BEB00FE187F020FED3F80F01F C05DA2021F16E0A25DA2143FF03FC05DA2027FED7F80A292C8130018FE4A4A5A604AEC07 F04D5A0101ED3FC04CB4C7FC91B612FC17E0D903FCCAFCA25CA21307A25CA2130FA25CA2 131FA25CA2133FA25CA2137FA291CBFC497EB6FCA33B397DB835>80 D<4BB4FC031F13F09238FE01FC913903F0007EDA07C0EB1F80DA1F80EB0FC0023EC7EA07 E002FCEC03F0495A4948EC01F8495A4948EC00FC495A013F16FE49C9FC13FE187F485A12 035B12075B120F4916FF121FA2485AA34848ED01FEA448C9EA03FCA3EF07F8A218F0170F 18E0171F18C0EF3F807EEF7F0017FEDA07C05B6C90391FF001F8903980383803001F496C 485A9139E00C0FE0260FC0C0EB1F80D807E1D90E3FC7FC0280137ED803F1EB07F8D801F9 5C3A007FC00FC0903A3FE07F0003903807FFFE0100018F5BDA000F1306170E171E705A17 7CEEC1F816FF5FA25F5F6F5B6F48C7FCED00F8384B7CBA42>I<0103B612F849EDFF8018 E0903B0007F8001FF84BEB03FCEF00FE020F157FA24BEC3F80A2021F16C0A25DA2143FF0 7F805DA2027FEDFF006092C7485A4D5A4A4A5A4D5A4AEC1F80057FC7FC0101EC07F891B6 12E094C8FC9139FC000FC00103EC03F0707E4A6D7E831307177E5C177F010F5D5F5CA201 1F1401A25CA2133F16034A4A1360A2017F17E019C091C71401496C01011480B615039339 00FE0700EF7E0ECAEA1FFCEF07F03B3B7DB83F>I<92391FE00380DBFFFC130002036D5A 91390FE01F8F91393F0007DF027EEB01FE02F81300495A4948147E177C4948143C495AA2 011F153891C8FCA3491530A28094C7FC80806D7E14FEECFFE06D13FE6DEBFFC06D14F06D 806D80021F7F02037FEC003F03037F1500167F163F161FA3120C160FA2001C151F94C7FC A3003C153EA25E003E5D127E007F4A5A6D495A6DEB0FC0D8F9F0495AD8F0FE01FEC8FC39 E03FFFF8010F13E0D8C00190C9FC313D7CBA33>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fc cmr10 10 13 /Fc 13 86 df<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2020E7FEC0C1F A2021C7FEC180FA202387FEC3007A202707FEC6003A202C07F1501A2D901807F81A249C7 7F167FA20106810107B6FCA24981010CC7121FA2496E7EA3496E7EA3496E7EA213E0707E 1201486C81D80FFC02071380B56C90B512FEA3373C7DBB3E>65 D<B712C016F816FE0001 90398001FF806C90C7EA3FE0EE0FF0EE03F8707E707E177FA2EF3F8018C0171F18E0170F 18F0A3EF07F8A418FCAC18F8A4EF0FF0A218E0A2171F18C0EF3F80A2EF7F0017FE4C5A4C 5AEE0FF0EE3FE0486DEBFF80B8C7FC16F816C036397DB83F>68 D<B812FCA30001903880 000F6C90C71201EE007E173E171E170EA31706A317078316C0A394C7FCA31501A2150315 0F91B5FCA3EC000F15031501A21500A21860A318E093C712C0A41701A3EF0380A21707A2 170F173F177F486D903807FF00B9FCA333397DB839>I<B812F8A30001903880001F6C90 C71201EE00FC177C173C171CA2170CA4170E1706A2ED0180A21700A41503A21507151F91 B5FCA3EC001F15071503A21501A692C8FCAD4813C0B612C0A32F397DB836>I<B648B512 FEA30001902680000313006C90C76C5AB3A491B6FCA391C71201B3A6486D497EB648B512 FEA337397DB83E>72 D<B612C0A3C6EBC0006D5AB3B3AD497EB612C0A31A397EB81E>I< B612E0A3000101C0C8FC6C90C9FCB3AD1718A517381730A31770A317F0A216011603160F EE1FE0486D13FFB8FCA32D397DB834>76 D<B5913807FFFE8080C69238007FE06EEC1F80
D9DFF0EC0F001706EBCFF8EBC7FCA2EBC3FEEBC1FFA201C07F6E7EA26E7E6E7E81140F6E 7E8114036E7E168080ED7FC016E0153FED1FF0ED0FF8A2ED07FCED03FEA2ED01FF6F1386 A2EE7FC6EE3FE6A2EE1FF6EE0FFEA216071603A216011600A2177E486C153E487ED80FFC 151EB500C0140EA2170637397DB83E>78 D<EC03FF021F13E09138FE01FC903901F8007E D907E0EB1F8049486D7ED93F80EB07F049C76C7E01FE6E7E48486E7E49157E0003167F48 48ED3F80A24848ED1FC0A2001F17E049150F003F17F0A3007F17F8491507A300FF17FCAC 007F17F86D150FA3003F17F0A26C6CED1FE0A36C6CED3FC0000717806D157F000317006C 6C15FEA26C6C4A5A017F4A5A6D6C495A6D6C495AD907E0EB1F80D903F8017FC7FC903900 FE01FC91381FFFE0020390C8FC363D7BBA41>I<B612FEEDFFE016F8000190388007FE6C 90C76C7EEE3FC0707E707E707EA2707EA283A65FA24C5AA24C5A4C5AEE3F8004FFC8FCED 07FC91B512E05E9138000FF0ED03F8ED00FE82707E707EA2161F83A583A6F00180A217F8 160F1803486D01071400B66D6C5A04011306933800FE0ECAEA3FFCEF07F0393B7DB83D> 82 D<D90FF813C090383FFE0190B512813903F807E33907E000F74848137F4848133F48 C7121F003E140F007E1407A2007C140312FC1501A36C1400A37E6D14006C7E7F13F86CB4 7E6C13F8ECFF806C14E06C14F86C14FEC680013F1480010714C0EB007F020713E0EC007F ED3FF0151F150FED07F8A200C01403A21501A37EA216F07E15036C15E06C14076C15C06C 140F6DEB1F80D8FBF0EB3F00D8F0FE13FE39E03FFFF8010F13E0D8C00190C7FC253D7CBA 2E>I<003FB812E0A3D9C003EB001F273E0001FE130348EE01F00078160000701770A300 601730A400E01738481718A4C71600B3B0913807FF80011FB612E0A335397DB83C>I<B6 903807FFFEA3000101809038007FE06C90C8EA1F80EF0F001706B3B2170E6D150C80171C 133F17186D6C14385F6D6C14F06D6C5C6D6C495A6D6CEB07806D6C49C7FC91387F807E91 381FFFF8020713E09138007F80373B7DB83E>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fd ecti10 10 13 /Fd 13 120 df<14F8EB07FE90381F871C90383E03FE137CEBF801120148486C5A485A12 0FEBC001001F5CA2EA3F801403007F5C1300A21407485C5AA2140F5D48ECC1C0A2141F15 831680143F1587007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE03FC3901 F000F0222677A42A>97 D<147F903803FFC090380FC1E090381F0070017E137849133839 01F801F83803F003120713E0120FD81FC013F091C7FC485AA2127F90C8FCA35A5AA45AA3 153015381578007C14F0007EEB01E0003EEB03C0EC0F806CEB3E00380F81F83803FFE0C6 90C7FC1D2677A426>99 D<ED01F815FFA3150316F0A21507A216E0A2150FA216C0A2151F A21680A2153FA202F81300EB07FE90381F877F90383E03FF017C5BEBF80112013803F000 48485B120FEBC001121F5DEA3F801403127F01005BA214075A485CA2140FA248ECC1C0A2 141F15C3ED8380143F1587007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE 03FC3901F000F0253B77B92A>I<147F903803FFC090380FC1E090383F00F0017E13785B 485A485A485A120F4913F8001F14F0383F8001EC07E0EC1F80397F81FF00EBFFF8148090 C8FC5A5AA55AA21530007C14381578007E14F0003EEB01E0EC03C06CEB0F806CEB3E0038 0781F83803FFE0C690C7FC1D2677A426>I<EB03F0EA01FFA3EA00075CA3130F5CA3131F 5CA3133F91C8FCA35B90387E07F0EC1FFCEC783E9038FFE01F02C01380EC800F1400485A 16C05B49EB1F8012035BA2153F000715005BA25D000F147E5B15FE5D121FD98001131C15 F8163C003F01031338010013F0A216704814E0007E15F016E0EDE1C000FE903801E38048 903800FF000038143C263B7BB92A>104 D<D801E001FEEB07F03C07F803FF801FFC3C0E 3C0F07C0783E3C1E3E3C03E1E01F261C1F78D9F3C013803C383FF001F7800F02E0140000 7801C013FE007018C002805B4A4848EB1F80EAF07FD8E07E5CA200000207143F01FE1700 495CA2030F5C0001177E495C18FE031F5C120349DA8001131C18F8033F153C0007040313 3849020013F0A24B1570000F17E049017E15F019E003FEECE1C0001FEE01E34949903800 FF000007C70038143C3E2679A444>109 D<D801E013FE3A07F803FF803A0E3C0F07C03A 1E3E3C03E0261C1F787F39383FF00114E0007813C000708114804A485AEAF07FEAE07EA2 0000140701FE5C5BA2150F00015D5B151F5E12034990383F8380160316070007027F1300 49137EA2160E000F147C49141E161C5E001FEC3C7849EB1FE00007C7EA0780292679A42F >I<147F903803FFC090380FC1F090381F00F8017E137C5B4848137E4848133E0007143F 5B120F485AA2485A157F127F90C7FCA215FF5A4814FEA2140115FC5AEC03F8A2EC07F015 E0140F007C14C0007EEB1F80003EEB3F00147E6C13F8380F83F03803FFC0C648C7FC2026 77A42A>I<14FE903807FF8090380F83C090383E00E04913F00178137001F813F0000113 0313F0A215E00003EB01C06DC7FC7FEBFFC06C13F814FE6C7F6D13807F010F13C0130014 3F141F140F123E127E00FE1480A348EB1F0012E06C133E00705B6C5B381E03E06CB45AD8 01FEC7FC1C267AA422>115 D<EB0380EB07C0130FA4131F1480A3133F1400A35B137E00 7FB5FCA2B6FC3800FC00A312015BA312035BA312075BA3120F5BA3121FEB801CA2143C00 3F1338EB0078147014F014E0EB01C0EA3E03381F0780380F0F00EA07FCEA01F0183579B3
1C>I<13F8D803FEEB01C0D8078FEB03E0390E0F8007121E121C0038140F131F007815C0 1270013F131F00F0130000E015805BD8007E133FA201FE14005B5D120149137EA215FE12 0349EBFC0EA20201131E161C15F813E0163CD9F003133814070001ECF07091381EF8F03A 00F83C78E090393FF03FC090390FC00F00272679A42D>I<01F0130ED803FC133FD8071E EB7F80EA0E1F121C123C0038143F49131F0070140FA25BD8F07E140000E08013FEC6485B 150E12015B151E0003141C5BA2153C000714385B5DA35DA24A5A140300035C6D48C7FC00 01130E3800F83CEB7FF8EB0FC0212679A426>I<01F01507D803FC903903801F80D8071E 903907C03FC0D80E1F130F121C123C0038021F131F49EC800F00701607A249133FD8F07E 168000E0ED000313FEC64849130718000001147E5B03FE5B0003160E495BA2171E000701 01141C01E05B173C1738A217781770020314F05F0003010713016D486C485A000190391E 7C07802800FC3C3E0FC7FC90393FF81FFE90390FE003F0322679A437>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fe cmsy10 10 6 /Fe 6 96 df<EB1FF0EBFFFE487F000714C04814E04814F04814F8A24814FCA3B612FEA9 6C14FCA36C14F8A26C14F06C14E06C14C0000114006C5BEB1FF01F1F7BA42A>15 D<007FB812F8B912FCA26C17F8CCFCAE007FB812F8B912FCA26C17F8CCFCAE007FB812F8 B912FCA26C17F836287BA841>17 D<181EA4181F84A285180785727EA2727E727E85197E 85F11F80F10FC0F107F0007FBA12FCBCFCA26C19FCCCEA07F0F10FC0F11F80F13F00197E 61614E5A4E5AA24E5A61180F96C7FCA260181EA4482C7BAA53>33 D<007FB712F8B812FCA27ECA123CB217182E177C9D37>58 D<14034A7E4A7EA24A7EA34A 7EA2EC7CF8A2ECF87CA2ECF03C0101133EA249487EA249486C7EA249486C7EA2EC000349 80A2013E6D7EA2496D7EA20178147801F8147CA2484880A2484880A24848EC0F80A24914 07000F16C0A248C8EA03E0A2003EED01F0A2003C1500007C16F8A248167CA248163C0060 16182E347CB137>94 D<0060161800F0163C6C167CA2007C16F8A2003C16F0003E1501A2 6CED03E0A26C6CEC07C0A2000716806D140FA26C6CEC1F00A26C6C143EA26C6C5CA20178 1478017C14F8A26D495AA26D495AA26D5CEC8007A26D6C485AA26D6C48C7FCA2903801F0 3EA20100133CECF87CA2EC7CF8A2EC3FF0A26E5AA36E5AA26E5A6EC8FC2E347CB137>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ff ecrm10 10 40 /Ff 40 122 df<EC0FF8EC7FFE903901F80780903907E001C090391F8000E090383F0007 017E497EA25BA2485A6F5AED018092C8FCA9ED03F0B7FCA33901F8000F1503B3AA486C49 7E267FFFE0B512C0A32A3B7FBA2E>28 D<146014E0EB01C0EB0380EB0700130E131E5B5B A25B485AA2485AA212075B120F90C7FCA25A121EA2123EA35AA65AB2127CA67EA3121EA2 121F7EA27F12077F1203A26C7EA26C7E1378A27F7F130E7FEB0380EB01C0EB00E0146013 5278BD20>40 D<12C07E12707E7E7E120F6C7E6C7EA26C7E6C7EA21378A2137C133C133E 131EA2131F7FA21480A3EB07C0A6EB03E0B2EB07C0A6EB0F80A31400A25B131EA2133E13 3C137C1378A25BA2485A485AA2485A48C7FC120E5A5A5A5A5A13527CBD20>I<121C127F EAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5A5A12600A1979 8817>44 D<B512FCA516057F941C>I<121C127FEAFF80A5EA7F00121C0909798817>I<EB 01C013031307131F13FFB5FCA2131F1200B3B3A7497E007FB512F0A31C3779B62A>49 D<121C127FEAFF80A5EA7F00121CC7FCB2121C127FEAFF80A5EA7F00121C092479A317> 58 D<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2020E7FEC0C1FA2021C7F EC180FA202387FEC3007A202707FEC6003A202C07F1501A2D901807F81A249C77F167FA2 0106810107B6FCA24981010CC7121FA2496E7EA3496E7EA3496E7EA213E0707E1201486C 81D80FFC02071380B56C90B512FEA3373C7DBB3E>65 D<B812FEA3000190388000076C90 C8FC173F838383A383A31880170116C0A394C7FCA31501A21503150F91B5FCA3EC000F15 031501A21500A21860A318E093C712C0A41701A3EF0380A21707A2170F173F177F486D90 3807FF00B9FCA333397EB838>69 D<B612C0A3C6EBC0006D5AB3B3AD497EB612C0A31A39 7EB81E>73 D<B5933807FFF86E5DA20001F0FC002600DFC0ED1BF8A2D9CFE01533A3D9C7 F01563A3D9C3F815C3A2D9C1FCEC0183A3D9C0FEEC0303A2027F1406A36E6C130CA36E6C 1318A26E6C1330A36E6C1360A26E6C13C0A3913901FC0180A3913900FE0300A2ED7F06A3 ED3F8CA2ED1FD8A3ED0FF0A3486C6D5A487ED80FFC6D48497EB500C00203B512F8A2ED01 8045397DB84C>77 D<B5913807FFFE8080C69238007FE06EEC1F80D9DFF0EC0F001706EB CFF8EBC7FCA2EBC3FEEBC1FFA201C07F6E7EA26E7E6E7E81140F6E7E8114036E7E168080 ED7FC016E0153FED1FF0ED0FF8A2ED07FCED03FEA2ED01FF6F1386A2EE7FC6EE3FE6A2EE 1FF6EE0FFEA216071603A216011600A2177E486C153E487ED80FFC151EB500C0140EA217 0637397DB83E>I<B712C016FC16FF0001D9800013C06C90C7EA1FE0707EEE03F883707E
A2707EA21880A71800A24C5AA24C5A5FEE0FF04C5AEEFF8091B548C7FC16F091CAFCB3A5 487FB6FCA331397EB838>80 D<D90FF813C090383FFE0190B512813903F807E33907E000 F74848137F4848133F48C7121F003E140F007E1407A2007C140312FC1501A36C1400A37E 6D14006C7E7F13F86CB47E6C13F8ECFF806C14E06C14F86C14FEC680013F1480010714C0 EB007F020713E0EC007FED3FF0151F150FED07F8A200C01403A21501A37EA216F07E1503 6C15E06C14076C15C06C140F6DEB1F80D8FBF0EB3F00D8F0FE13FE39E03FFFF8010F13E0 D8C00190C7FC253D7CBA2E>83 D<003FB812E0A3D9C003EB001F273E0001FE130348EE01 F00078160000701770A300601730A400E01738481718A4C71600B3B0913807FF80011FB6 12E0A335397DB83C>I<B500FE91383FFFE0A3000301E0913807FE00C649EC03F0017F6F 5A606D6C5D6D6C140395C7FC6D6C1406A26D6C5C6D6C141C17186D6C143817306D6D5B6E 6C13E05F91383FE0015F91381FF003DA0FF890C8FC1606913807FC0E160C913803FE1C91 3801FF185E6E13B016E0157F6F5AB3A24B7E023FB512C0A33B397FB83E>89 D<EB1FE0EBFFFC3803E03F3907000F80390F8007E0486C6C7E13E06E7EA26E7E6C5A6C5A C8FCA4147FEB07FFEB3FE0EBFE00EA03F8EA0FF0EA1FC0123F485A90C7FC160C12FEA314 01A26C13036CEB077C903980063E18383FC01E3A0FE0781FF03A03FFF00FE03A007F8007 C026277DA52A>97 D<EA03F012FFA3120F1203B0EC1FE0EC7FF89038F1E03E9039F3801F 809039F7000FC001FEEB07E049EB03F049EB01F85BED00FCA216FEA2167E167FAA167E16 FEA216FC15016D14F8ED03F07F01EEEB07E001C6EB0FC09039C7801F00903881E07E9038 00FFF8C7EA1FC0283B7EB92E>I<EB03FC90381FFF8090387E03E03901F80070484813F8 3907E001FC380FC003A2EA1F80123F90380001F848EB00F01500A2127E12FEAA127E127F A26C14067F001F140E6D130C000F141C6C6C13386C6C13706C6C13E039007C07C090381F FF00EB07F81F277DA525>I<ED0FC0EC03FFA3EC003F150FB0EB03F8EB1FFF90387E078F 9038F801EF3903F0007F4848133F4848131FA24848130F123F90C7FC5AA2127E12FEAA12 7E127FA27EA26C6C131FA26C6C133F6C6C137F6C6CEBEFF03A01F801CFFF39007C078F90 381FFE0FD907F813C0283B7DB92E>I<EB07F8EB1FFF90387C0FC03901F803E03903F001 F0D807E013F8380FC0004848137CA248C7127E153E5A153F127E12FEA3B7FCA248C8FCA5 127EA2127FA26C14037F001F14076C6C13060007140E6D131CD801F013386C6C13709038 383F0FF0137EA213FCA23901F803C091C7FCADB512FCA3D801F8C7FCB3AB487E387FFFF8 7E03E090381FFF80903803FC0020277EA525>I<147E903803FF8090380FC1E0EB1F8790 A31C3B7FBA19>I<ED03F090390FF00FF890393FFC3C3C9039F81F707C3901F00FE03903 E007C03A07C003E010000FECF000A248486C7EA86C6C485AA200075C6C6C485A6D485A6D 48C7FC38073FFC38060FF0000EC9FCA4120FA213C06CB512C015F86C14FE6CECFF804815 C03A0F80007FE048C7EA0FF0003E140348140116F8481400A56C1401007C15F06CEC03E0 003F1407D80F80EB0F80D807E0EB3F003901FC01FC39007FFFF0010790C7FC26387EA52A >I<EA03F012FFA3120F1203B0EC0FF0EC3FFCECF03F9039F1C01F809039F3800FC0EBF7 0013FE496D7EA25BA35BB3A3486C497EB500C1B51280A3293A7EB92E>I<EA0380EA0FE0 487EA56C5AEA0380C8FCAAEA03F012FFA312071203B3AA487EB512C0A312387EB717>I< EA03F012FFA3120F1203B1913801FFFCA39138007FC01600157C15705D4A5A4A5A4AC7FC 141E1438147814FC13F1EBF3FEEBF73F01FE7FEBF81F496C7E8114076E7E6E7E81140015 7E157F811680ED1FC0486CEB3FF0B500C0B5FCA3283A7EB92C>107 D<EA03F012FFA3120F1203B3B3AD487EB512C0A3123A7EB917>I<2703F00FF0EB1FE000 FFD93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF3800FC7001F802603F70013 CE01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1FE0B500C1B50083B5FCA3 40257EA445>I<3903F00FF000FFEB3FFCECF03F9039F1C01F803A0FF3800FC03803F700 13FE496D7EA25BA35BB3A3486C497EB500C1B51280A329257EA42E>I<EB03FE90380FFF 8090383E03E09038F800F84848137C48487F48487F4848EB0F80001F15C090C712074815 E0A2007EEC03F0A400FE15F8A9007E15F0A2007F14076C15E0A26C6CEB0FC0000F15806D 131F6C6CEB3F006C6C137EC66C13F890387E03F090381FFFC0D903FEC7FC25277EA52A> I<3903F01FE000FFEB7FF89038F1E07E9039F3801F803A07F7000FC0D803FEEB07E049EB 03F04914F849130116FC150016FEA3167FAA16FEA3ED01FCA26DEB03F816F06D13076DEB 0FE001F614C09039F7803F009038F1E07E9038F0FFF8EC1FC091C8FCAB487EB512C0A328 357EA42E>I<3807E01F00FFEB7FC09038E1E3E09038E387F0380FE707EA03E613EE9038 EC03E09038FC0080491300A45BB3A2487EB512F0A31C257EA421>114 D<EBFF03000313E7380F80FF381E003F487F487F00707F12F0A2807EA27EB490C7FCEA7F E013FF6C13E06C13F86C7F00037FC67F01071380EB007F141F00C0EB0FC01407A26C1303 A37E15806C13077EEC0F00B4131E38F3C07C38E1FFF038C03F801A277DA521>I<1318A5 1338A31378A313F8120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC011580 EB7C03017E13006D5AEB0FFEEB01F81A347FB220>I<D803F0EB07E000FFEB01FFA3000F EB001F00031407B3A4150FA3151F12016D133F0000EC77F86D9038E7FF8090383F03C790
381FFF87903A03FC07E00029267EA42E>I<B538803FFEA33A0FF8000FF06C48EB07E000 03EC03C06D148000011500A26C6C1306A26D130E017E130CA26D5BA2EC8038011F1330A2 6D6C5AA214E001075BA2903803F180A3D901FBC7FCA214FF6D5AA2147CA31438A227257E A32C>I<B53A1FFFE03FFEA3260FF8009038000FF86C48017EEB03E018C00003023EEB01 80A26C6C013FEB0300A36C6CEC8006156FA2017E9038EFC00C15C7171CD93F01EBE01815 830281EBF038D91F831430150102C3EBF87090260FC6001360A2D907E66D5A02EC137CA2 D903FCEB7F804A133FA2010192C7FC4A7FA20100141E4A130E0260130C37257EA33C>I< B538807FFFA33A03FE003FF00001EC1F80000092C7FC017E131C6D13186D6C5AECC07001 0F5B6D6C5AECF180EB03FB6DB4C8FC6D5AA2147F804A7E8114CF903801C7E090380383F0 90380703F8EB0601496C7E011C137E49137F01787F496D7E486C80000FEC3FF0D8FFFE90 B51280A329247FA32C>I<B538803FFEA33A0FF8000FF06C48EB07C00003EC03806C7E16 007F00001406A2017E5BA2137F6D5BA26D6C5AA2ECC070010F1360A26D6C5AA214F10103 5BA2D901FBC7FCA214FF6D5AA2147CA31438A21430A214701460A25CA2EA7C0100FE5B13 0391C8FC1306EAFC0EEA701C6C5AEA1FF0EA0FC027357EA32C>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fg ecbx10 10 35 /Fg 35 121 df<141C143C14F8EB01F0EB03E01307EB0FC0EB1F8014005B137E13FE5B12 015B1203A2485AA2120F5B121FA25B123FA4485AA512FFB1127FA56C7EA4121F7FA2120F 7F1207A26C7EA212017F12007F137E7F7F1480EB0FC0EB07E01303EB01F0EB00F8143C14 1C165377BD25>40 D<12E07E127C7E7E7F6C7E6C7E12037F6C7E7F12007F137E137FA2EB 3F80A214C0131F14E0A2130F14F0A4EB07F8A514FCB114F8A5EB0FF0A414E0131FA214C0 133F1480A2EB7F00A2137E13FE5B12015B485A5B1207485A485A90C7FC123E5A12F05A16 537BBD25>I<EA0F80EA3FE0EA7FF0A2EAFFF8A213FCA3127FA2123FEA0F9CEA001C133C 1338A31378137013F0EA01E0A2EA03C0EA0780EA0F005A121C12180E1D798C1B>44 D<49B4FC011F13F0017F13FC9038FF83FE4848C67E4848EB7F804848EB3FC04848EB1FE0 A2001F15F0A24848EB0FF8A3007F15FCA400FF15FEB3007F15FCA5003F15F86D131FA200 1F15F0A26C6CEB3FE0000715C06C6CEB7F806C6CEBFF003900FF83FE6DB45A011F13F001 0190C7FC27377CB530>48 D<141E143E14FE1307137FB5FCA3138FEA000FB3B3A5007FB6 1280A4213679B530>I<EB0FFE90387FFFC048B512F0000714FC390FE03FFF261F800F13 80263F000313C0D87F8014E0EBE00100FF6D13F07FA2ED7FF8A46C5A6C5A0006C7FCC8FC EDFFF0A216E05C16C04A138016004A5A4A5AEC1FF05D4A5A4AC7FC14FE495AD903F01378 495A495A495A49C712F8017C14F05B49130148B6FC5A5A5A5A5A4815E0B7FCA425367BB5 30>I<ED07C0150FA2151F153F157F15FF5CA25C5C5C5C143E143C5C5C1301495A5C495A 495A5B133E5B13785B485A1203485A5B48C7FC121E5A127C5AB81280A4C70001EBC000AA 0103B61280A429367DB530>52 D<123C123EEA3FE090B71280A41700485D5E5E5E5EA200 7CC7EA0FC000784A5A4BC7FC00F8147E485C5D14014A5AC7485A4A5AA24A5A143F4AC8FC A214FEA213015C1303A21307A2130F5CA2131FA5133FA96D5A6D5A6D5A29397BB730>55 D<ED03E04B7EA24B7EA34B7EA24B7EA34B7EA292B57EA34A8015F302038015E1A2020780 15C0020F80ED807FA2021F80ED003F4A80023E131FA2027E80027C7F02FC814A7FA20101 824A7F49B77EA3498202C0C7FC010F824A147FA2011F8291C8123F4982013E151FA2017E 82017C8101FE83B500F80107B61280A4413A7DB948>65 D<DB3FFCEB01C00203B5EAC003 021FECF00791B6EAFC0F01039039FC00FF3F4901C0EB1FFFD91FFEC77E49481403D97FF0 80494880485B48177F4849153F4890C9FC181F485A180F123F5B1807127FA24993C7FC12 FFAD127F7FF003C0123FA27F001F1707A26C6C1780180F6C6D16006C6D5D6C173E6C6D15 7ED97FF85D6D6C4A5A6DB44A5A010701C0EB0FE06D01FCEBFF80010090B548C7FC021F14 F8020314E09126003FFEC8FC3A3B7BB945>67 D<B87E17F817FF18C028007FF8000713F0 9338007FF8EF1FFE717E050313807113C0A27113E0F07FF0A2F03FF8A219FC181FA219FE A419FFAC19FEA419FC183FA219F8187F19F0F0FFE0A24D13C04D13804D1300EF1FFEEF7F FC933807FFF0B912C095C7FC17FC178040397DB849>I<B6D8FC03B612F0A426007FF8C7 0001EBE000B3A391B8FCA402F8C71201B3A6B6D8FC03B612F0A444397DB84B>72 D<B500F80403B512F06E5EA26E5ED8007FF1E000A2D97BFF161EA201796D5DA201786D5D A26E6C5DA36E6C4A5AA26E6C4A5AA26E6C4A5AA26E6C4A5AA26E6C141EA36E6D5BA26E6D 5BA26F6C5BA26F6C485AA36F6C485AA26F6C485AA26F6C48C7FCA2923803FF1EA36F13BC A26F13F8A2705AA2705AA213FCB500FC6D4848B612F0A2EE0F80EE070054397DB85B>77 D<B500FC0203B512F0A28080C66C6D90390003F0006F6E5A81017B7F13798101787F6E7E 6E7E6E7F6E7FA26E7F6E7F6E7F6E7F6F7E153F826F13806F13C06F13E06F13F06F13F881 17FCEE7FFEEE3FFF7013817013C17013E18218F17013F97013FDEF7FFF8383A283838383 83187FA2183F181F01FC160FB500FC150718031801A244397DB84B>I<B712FCEEFFE017
FC17FF28007FF8000F13C004017F707F717E717EA2717EA284A760A24D5A604D5A4D5A04 035B041F90C8FC91B612FC17E0839139F8003FFCEE0FFF707F707F8284A2707FA584A51A 601AF084177F1901DD3FFE13E0B600FC011F130394390FFF87C071EBFF8005011400CBEA 1FFC443A7DB848>82 D<003FB91280A4D9F800EBF003D87FC09238007FC049161F007EC7 150FA2007C1707A200781703A400F818E0481701A4C892C7FCB3AE010FB7FCA43B387DB7 42>84 D<EB3FFE0003B512E0000F14F8391FF00FFE003FEB03FF6D6C7F6E7FA26F7EA26C 5A6C5AEA0380C8FCA2EC3FFF010FB5FC137F3901FFF87F00071380380FFE00EA3FF85B48 5A12FF5BA415FF6D5A127F263FF00713F83B1FFC1FBFFFC0390FFFFE1F0003EBF80F3900 3FE0032A257DA42E>97 D<13FFB5FCA412077EAF4AB47E020F13F0023F13FC9138FE03FF DAF00013804AEB7FC00280EB3FE091C713F0EE1FF8A217FC160FA217FEAA17FCA3EE1FF8 A217F06E133F6EEB7FE06E14C0903AFDF001FF80903AF8FC07FE009039F03FFFF8D9E00F 13E0D9C00390C7FC2F3A7EB935>I<903801FFC0010F13FC017F13FFD9FF8013802603FE 0013C048485AEA0FF8121F13F0123F6E13804848EB7F00151C92C7FC12FFA9127FA27F12 3FED01E06C7E15036C6CEB07C06C6C14806C6C131FC69038C07E006DB45A010F13F00101 138023257DA42A>I<EE7F80ED7FFFA4150381AF903801FF81010F13F1013F13FD9038FF C07F0003EB001FD807FC1307000F8048487F5B123FA2485AA312FFAA127FA27F123FA26C 6C5B000F5C6C6C5B6C6C4913C02701FF80FD13FE39007FFFF9011F13E1010113012F3A7D B935>I<903803FF80011F13F0017F13FC3901FF83FE3A03FE007F804848133F484814C0 001FEC1FE05B003FEC0FF0A2485A16F8150712FFA290B6FCA301E0C8FCA4127FA36C7E16 78121F6C6C14F86D14F000071403D801FFEB0FE06C9038C07FC06DB51200010F13FC0101 13E025257DA42C>I<EC1FF0903801FFFC010713FF90391FF87F8090383FE0FFD9FFC113 C0A2481381A24813016E1380A2ED3E0092C7FCA8B6FCA4000390C8FCB3ABB512FEA4223A 7DB91D>I<161FD907FEEBFFC090387FFFE348B6EAEFE02607FE07138F260FF801131F48 486C138F003F15CF4990387FC7C0EEC000007F81A6003F5DA26D13FF001F5D6C6C4890C7 FC3907FE07FE48B512F86D13E0261E07FEC8FC90CAFCA2123E123F7F6C7E90B512F8EDFF 8016E06C15F86C816C815A001F81393FC0000F48C8138048157F5A163FA36C157F6C1600 6D5C6C6C495AD81FF0EB07FCD807FEEB3FF00001B612C06C6C91C7FC010713F02B377DA5 30>I<13FFB5FCA412077EAFED7FC0913803FFF8020F13FE91381F03FFDA3C0113801478 4A7E4A14C05CA25CA291C7FCB3A3B5D8FC3F13FFA4303A7DB935>I<EA01F0EA07FC487E A2487EA56C5AA26C5AEA01F0C8FCA913FF127FA412077EB3A9B512F8A4153B7DBA1B>I< 141FEC7FC0ECFFE0A24913F0A56D13E0A2EC7FC0EC1F0091C7FCA9EC0FF0EB0FFFA4EB00 7F143FB3B0121FEA3F80EA7FC0EAFFE0EC7FE0A215C014FF6C481380903883FE006CB45A 000F13F0000113801C4B86BA1D>I<13FFB5FCA412077EB3B3ACB512FCA4163A7DB91B> 108 D<01FED97FE0EB0FFC00FF902601FFFC90383FFF80020701FF90B512E0DA1F819039 83F03FF0DA3C00903887801F000749DACF007F00034914DE6D48D97FFC6D7E4A5CA24A5C A291C75BB3A3B5D8FC1FB50083B512F0A44C257DA451>I<01FEEB7FC000FF903803FFF8 020F13FE91381F03FFDA3C011380000713780003497E6D4814C05CA25CA291C7FCB3A3B5 D8FC3F13FFA430257DA435>I<903801FFC0010F13F8017F13FFD9FF807F3A03FE003FE0 48486D7E48486D7E48486D7EA2003F81491303007F81A300FF1680A9007F1600A3003F5D 6D1307001F5DA26C6C495A6C6C495A6C6C495A6C6C6CB45A6C6CB5C7FC011F13FC010113 C029257DA430>I<9038FE03F000FFEB0FFEEC3FFF91387C7F809138F8FFC000075B6C6C 5A5CA29138807F80ED3F00150C92C7FC91C8FCB3A2B512FEA422257EA427>114 D<90383FF0383903FFFEF8000F13FF381FC00F383F0003007E1301007C130012FC15787E 7E6D130013FCEBFFE06C13FCECFF806C14C06C14F06C14F81203C614FC131F9038007FFE 140700F0130114007E157E7E157C6C14FC6C14F8EB80019038F007F090B512C000F81400 38E01FF81F257DA426>I<130FA55BA45BA25B5BA25A1207001FEBFFE0B6FCA3000390C7 FCB21578A815F86CEB80F014816CEBC3E090383FFFC06D1380903803FE001D357EB425> I<01FFEC3FC0B5EB3FFFA4000714016C80B3A35DA25DA26C5C6E4813E06CD9C03E13FF90 387FFFFC011F13F00103138030257DA435>I<B539F01FFFF0A4000390398003F8006C01 C013E06C1407D97FE05B6D6C485A6E48C7FC90381FFC3E010F5B903807FEFC6D6C5A5D6D 5B6D5B6E7E6E7E814A7EA24A7E903801F3FFD903E37FD907C17FEB0FC049486C7E4A6C7E 013E80496D7E49130F00016E7EB590383FFFF8A42D257EA432>120 D E %EndDVIPSBitmapFont end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin
%%EndSetup %%Page: 1 1 1 0 bop 0 83 a Fg(Rules)26 b(of)i(inference)1025 b(MA)-8 b(TH)28 b(112)1025 b(2004)26 b(August)i(17)0 268 y Ff(If)g(y)n(ou)f (already)f(kno)n(w)h(some)g(statemen)n(ts)g(and)g(y)n(ou)g(w)n(an)n(t)g (to)g(deduce)h(another)e(statemen)n(t,)i(then)g Fg(rules)f(of)h (inference)0 368 y Ff(tell)g(y)n(ou)f(if)h(this)g(is)f(logically)f(v)-5 b(alid.)166 468 y(The)28 b(fundamen)n(tal)f(rules)g(of)h(inference)f (are)g(classi\034ed)f(according)g(to)i(the)g(logical)e(op)r(erators)f (that)j(app)r(ear)f(in)0 567 y(them.)83 667 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules)g(tell)h(y)n(ou)f(what)g(y)n(ou)g Fd(ne)l(e)l(d)36 b Ff(to)28 b(kno)n(w)e(\034rst)i(if)g(y)n(ou)f Fd(want)35 b Ff(to)27 b(deduce)h(a)f(certain)g(expression.)83 767 y Fe(\017)41 b Ff(Elimination)28 b(rules)f(tell)h(y)n(ou)f(what)g (y)n(ou)g Fd(c)l(an)34 b Ff(deduce)28 b(no)n(w)f(if)h(y)n(ou)f(already) f Fd(have)35 b Ff(a)27 b(certain)g(expression.)0 866 y(All)h(v)-5 b(alid)28 b(argumen)n(ts)e(can)h(b)r(e)h(formed)f(using)g (these)h(fundamen)n(tal)f(rules)g(of)h(inference)f(in)h(v)-5 b(arious)26 b(com)n(binations.)166 966 y(Some)h(rules)g(of)h(inference) f(ask)g(y)n(ou)g(to)g Fd(assume)34 b Ff(something.)41 b(Y)-7 b(ou)28 b(should)f(think)h(of)f(these)h(assumptions)f(as)g(tak-) 0 1065 y(ing)g(place)g(in)h(a)f(separate)g(h)n(yp)r(othetical)g(w)n (orld.)40 b(An)n(ything)28 b(true)f(in)h(the)g(original)e(w)n(orld)g (is)i(true)f(in)h(the)g(h)n(yp)r(otheti-)0 1165 y(cal)f(w)n(orld,)g (but)h(not)f(the)h(other)f(w)n(a)n(y)g(around.)40 b(So)27 b(conclusions)g(from)g(the)h(h)n(yp)r(othetical)f(w)n(orld)g(ma)n(y)f Fd(not)36 b Ff(b)r(e)28 b(brough)n(t)0 1265 y(bac)n(k)f(in)n(to)g(the)h (original)e(w)n(orld,)g(\(except)i(as)f(sp)r(eci\034ed)h(b)n(y)f(the)h (rule)f(of)h(inference\).)41 b(The)28 b(tec)n(hnical)f(name)h(for)f (suc)n(h)g(a)0 1364 y(h)n(yp)r(othetical)g(w)n(orld)g(is)g(a)g Fg(con)m(text)p Ff(.)43 b(In)28 b(a)f(complicated)g(pro)r(of,)g(there)g (migh)n(t)h(b)r(e)g(con)n(texts)e(within)j(con)n(texts)e(within)0 1464 y(.)14 b(.)g(.)g(,)27 b(and)h(all)f(of)h(these)f(need)h(to)f(b)r (e)h(k)n(ept)g(separate.)0 1649 y Fg(Conjunction)f(\()p Fc(AND)q Fg(,)h Fe(^)p Fg(\))83 1792 y Fe(\017)41 b Ff(In)n(tro)r (duction)27 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)40 b Ff(and)27 b(y)n(ou)g(already)f(ha)n(v)n(e)g Fb(Q)p Ff(,)i(then)g(y)n(ou)e(can)i(deduce)f Fb(P)k Fe(^)18 b Fb(Q)p Ff(.)42 b(More)166 1891 y(generally)-7 b(,)26 b(if)i(y)n(ou)f(ha)n(v)n(e)f Fb(P)40 b Ff(and)27 b(y)n(ou)g(ha)n(v)n(e) f Fb(Q)i Ff(and)f(y)n(ou)g(ha)n(v)n(e)f Fb(R)q Ff(,)i(then)g(y)n(ou)e (can)i(deduce)f Fb(P)k Fe(^)18 b Fb(Q)g Fe(^)h Fb(R)q Ff(.)42 b(And)28 b(so)f(on.)83 1991 y Fe(\017)41 b Ff(Elimination)28 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)k Fe(^)19 b Fb(Q)p Ff(,)28 b(then)g(y)n(ou)e(can)i(deduce)f Fb(P)12 b Ff(.)42 b(Similarly)-7 b(,)27 b(if)h(y)n(ou)f(already)f(ha)n (v)n(e)166 2091 y Fb(P)k Fe(^)19 b Fb(Q)p Ff(,)27 b(then)i(y)n(ou)d (can)h(deduce)h Fb(Q)p Ff(.)41 b(More)27 b(generally)-7 b(,)26 b(if)i(y)n(ou)f(ha)n(v)n(e)f Fb(P)31 b Fe(^)18 b Fb(Q)g Fe(^)h Fb(R)q Ff(,)28 b(then)g(y)n(ou)f(can)g(deduce)g Fb(P)40 b Ff(and)166 2190 y(y)n(ou)27 b(can)g(deduce)h Fb(Q)f Ff(and)g(y)n(ou)g(can)g(deduce)h Fb(R)q Ff(.)41 b(And)28 b(so)f(on.)0 2376 y Fg(Absolute)g(truth)h(\()p Fc(TR)n(UE)p Fg(,)f Fa(T)p Fg(\))83 2518 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules:)41 b(No)27 b(matter)h(what,)f(y)n (ou)g(can)g(alw)n(a)n(ys)f(deduce)h Fa(T)p Ff(.)83 2618 y Fe(\017)41 b Ff(Elimination)28 b(rules:)41 b(None.)0 2803 y Fg(Disjunction)27 b(\()p Fc(OR)p Fg(,)g Fe(_)p
Fg(\))83 2946 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)12 b Ff(,)28 b(then)g(y)n(ou)f(can)g(deduce)g Fb(P)k Fe(_)18 b Fb(Q)p Ff(.)42 b(Similarly)-7 b(,)27 b(if)h(y)n(ou)f(already) f(ha)n(v)n(e)166 3045 y Fb(Q)p Ff(,)h(then)h(y)n(ou)f(can)g(deduce)h Fb(P)i Fe(_)19 b Fb(Q)p Ff(.)41 b(More)27 b(generally)-7 b(,)26 b(if)i(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)40 b Ff(or)27 b(y)n(ou)f(already)g(ha)n(v)n(e)h Fb(Q)g Ff(or)g(y)n(ou)166 3145 y(already)f(ha)n(v)n(e)g Fb(R)q Ff(,)i(then)g(y)n(ou)f(can)g (deduce)h Fb(P)i Fe(_)19 b Fb(Q)f Fe(_)g Fb(R)q Ff(.)42 b(And)28 b(so)f(on.)41 b(In)28 b(classical)e(logic,)g(there)i(is)f (also)g(a)g(b)r(on)n(us)166 3244 y(rule,)g(the)h Fg(axiom)f(of)g(the)h (excluded)f(middle)p Ff(:)39 b(No)28 b(matter)f(what,)g(y)n(ou)g(can)g (alw)n(a)n(ys)f(deduce)i Fb(P)i Fe(_)19 b(:)p Fb(P)12 b Ff(.)83 3344 y Fe(\017)41 b Ff(Elimination)28 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)k Fe(_)19 b Fb(Q)p Ff(,)28 b(then)g(y)n(ou)e(can)i(break)e(the)i(argumen)n(t)e (up)i(in)n(to)g(t)n(w)n(o)e(h)n(yp)r(o-)166 3444 y(thetical)i(cases.)40 b(In)28 b(the)g(\034rst)f(case,)g(y)n(ou)g(assume)f Fb(P)12 b Ff(,)28 b(while)g(in)g(the)f(second)g(case,)g(y)n(ou)g(instead)g (assume)g Fb(Q)p Ff(.)41 b(If)28 b(y)n(ou)166 3543 y(can)f(pro)n(v)n(e) f(the)i(same)f(statemen)n(t)g Fb(S)33 b Ff(in)28 b(b)r(oth)g(cases,)e (then)i(y)n(ou)f(ma)n(y)g(deduce)g Fb(S)33 b Ff(in)28 b(the)g(original)e(con)n(text.)41 b(More)166 3643 y(generally)-7 b(,)26 b(if)i(y)n(ou)f(already)f(ha)n(v)n(e)g Fb(P)31 b Fe(_)19 b Fb(Q)f Fe(_)g Fb(R)q Ff(,)28 b(then)g(y)n(ou)f(can)g(break) f(the)i(argumen)n(t)f(up)h(in)n(to)f(three)g(h)n(yp)r(othetical)166 3743 y(cases.)40 b(And)28 b(so)f(on.)0 3928 y Fg(Absolute)g(falseho)s (o)s(d)f(\()p Fc(F)-9 b(ALSE)o Fg(,)28 b Fa(F)p Fg(\))83 4070 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules:)41 b(None.)83 4170 y Fe(\017)g Ff(Elimination)28 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(ha)n(v)n(e)g Fa(F)p Ff(,)i(then)g(y)n(ou)f (can)g(deduce)h(an)n(ything)e(at)i(all.)0 4355 y Fg(Conditional)e(\()p Fc(IF)14 b(THEN)p Fg(,)28 b Fe(!)p Fg(\))83 4498 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules:)41 b(T)-7 b(emp)r(orarily)26 b(assume)h Fb(P)12 b Ff(.)41 b(If)28 b(y)n(ou)f(can)g(pro)n(v)n(e)f Fb(Q)h Ff(in)h(this)g(con)n(text,)f(then)h(y)n(ou)f(can)g(deduce)166 4598 y Fb(P)j Fe(!)19 b Fb(Q)27 b Ff(in)h(the)g(original)e(con)n(text.) 83 4697 y Fe(\017)41 b Ff(Elimination)28 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(kno)n(w)g Fb(P)31 b Fe(!)18 b Fb(Q)28 b Ff(and)f(y)n(ou)g(already)f(kno)n(w)g Fb(P)12 b Ff(,)28 b(then)g(y)n(ou)f(can)g(deduce)h Fb(Q)p Ff(.)0 4882 y Fg(Negation)f(\()p Fc(NOT)p Fg(,)g Fe(:)p Fg(\))0 5025 y Ff(In)h(classical)e(logic,)h Fe(:)p Fb(P)35 b Fe(\021)22 b Fb(P)31 b Fe(!)18 b Fa(F)p Ff(,)28 b(so)f(the)h(rules)f (for)g Fe(:)h Ff(are)e(based)h(on)h(the)g(rules)f(for)g Fe(!)p Ff(.)83 5125 y Fe(\017)41 b Ff(In)n(tro)r(duction)27 b(rules:)41 b(T)-7 b(emp)r(orarily)26 b(assume)h Fb(P)12 b Ff(.)41 b(If)28 b(y)n(ou)f(can)g(pro)n(v)n(e)f Fa(F)i Ff(in)g(this)g(con)n(text,)f(then)h(y)n(ou)f(can)g(deduce)166 5224 y Fe(:)p Fb(P)40 b Ff(in)28 b(the)g(original)e(con)n(text.)83 5324 y Fe(\017)41 b Ff(Elimination)28 b(rules:)41 b(If)28 b(y)n(ou)f(already)f(kno)n(w)g Fe(:)p Fb(P)40 b Ff(and)28 b(y)n(ou)f(already)f(kno)n(w)g Fb(P)12 b Ff(,)28 b(then)g(y)n(ou)f(can) g(deduce)g Fa(F)p Ff(.)3493 5539 y(P)n(age)g(1)g(of)g(1)p eop %%Trailer end userdict /end-hook known{end-hook}if
%%EOF
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more.
Course Hero has millions of course specific materials providing students with the best way to expand
their education.
Below is a small sample set of documents:
Below is a small sample set of documents:
San Jose State - MATH - 164
UC Davis - MATH - 133
HW7-solutions(1) Compute the state prices for the Film Venture example discussed in the class. Solution There are two securities: film venture and risk-free asset. Let d1 and d2 be their respective dividends. Let w1 and w2 be the weights invested in
Arizona - DOQQ - 37112
Metadata: Identification_Information: Citation: Citation_Information: Originator: USDA-FSA-APFO Aerial Photography Field Office Publication_Date: 20080109 Title: NAIP Digital Ortho Photo Image Geospatial_Da
NYU - MCC - 434
97-10 62 Drive apt#1H, Rego Park, NY 11374 646-593-1681 mcc434@nyu.edu EDUCATIONMin-Che(Michael) ChiuNew York University, Courant Institute of Mathematical Science MS in Computer Science, Jan 2008 GPA =3.2 National Chengchi UniversityNew York
Iowa State - ECON - 102
Building the IS-LM model IIAriel SingermanApril 4, 2008Ariel Singerman ()Building the IS-LM model IIApril 4, 20081/8Keynesian cross (ct'd)The next piece of the Keynesian cross is: the assumption that the economy is in equilibrium. Such
Stanford - EE - 359
SIYUAN ZHOU128 Running Farm LN #106,Stanford,CA 94305,USA 1-650-384-935syzhou@stanford.eduSummary of Qualifications Proficiency Extensivein programming in C/C+ and Matlab. knowledge in wireless communication theory and digital signal proce
Iowa State - PUBLIC - 195
Math 195: Mathematics for Elementary Education I Tentative Schedule, Spring 2006, Unit 1Date Mon. 1/9 Day 1 Section/ Topic 1.1 10.1 Measurement 2.1 Sets Class Activities Course Intro Non-standard measurement Exp 10.1 (English vs. Metric & Conversion
Temple - STATISTICS - 533
Ozge KAS Stat 533 HW#1 1.) (a) Eigen Values: A - I = 0 1 1 1 2 0 - - = 2 0 -2 1 2 2 = 0 -2 - February 16, 2006( 1 - ) ( -2 - ) - 4 = 0 2 + - 6 = ( - 2 ) ( + 3) = 0Eigen Vectors: Ax = x1 = 2, 2 = -3x 1 2 x1 1
Temple - STATISTICS - 533
Homework Problems - Set 2 Stat 533Answer all questions 1. Let X and SX be the sample mean vector and sample covariance matrix based on the following data matrix on a p-dimensional random vector X = (X1 , . . . , Xp ) . X11 X12 X1p X21 X22
Temple - STATISTICS - 533
Ozge KAS Stat 533 HW#3 4.3.) (a) X 1 and X 2 are NOT independent , since 12 = -2 0.March 16, 2006(b) X 2 and X 3 are independent , since 23 = 0. (c) X 1 and X 3 are independent , since 13 = 0 and X 2 and X 3 are independent , since 23 = 0.
Temple - STATISTICS - 533
Ozge KAS Stat 533 HW#6April 13th, 20068.18) (a) By using the data on national track records for women, listed in Table 1.9, the calculated Correlation Matrix, and its eigenvalues and eigenvectors are given below:Correlation Matrix x1 x2 x3 x4 x
Temple - STATISTICS - 533
Two-way MANOVA We now consider designs with two factors. Factor 1 has g levels and factor 2 has b levels. If X kr is the p 1 vector of measurements on the rth unit in the th level of factor 1 and the kth level of factor 2: X withkrTwo-way MANOV
Temple - STATISTICS - 533
SAS Workshop - Multivariate Procedures Handout # 3Statistical Programs College of AgriculturePROC PRINCOMPThe SAS procedure for carrying out a principle component analysis is PROC PRINCOMP. The basic syntax of the procedure is very simple: PROC
Temple - STATISTICS - 533
vti_encoding:SR|utf8-nl vti_author:SR|POKEMON\ozge vti_modifiedby:SR|POKEMON\ozge vti_timelastmodified:TR|01 Feb 2007 06:30:23 -0000 vti_timecreated:TR|01 Feb 2007 06:30:23 -0000 vti_cacheddtm:TX|01 Feb 2007 06:30:23 -0000 vti_filesize:IR|39424 vti_c
Temple - STATISTICS - 533
vti_encoding:SR|utf8-nl vti_author:SR|POKEMON\ozge vti_modifiedby:SR|POKEMON\ozge vti_timelastmodified:TR|01 Feb 2007 06:31:14 -0000 vti_timecreated:TR|01 Feb 2007 06:31:14 -0000 vti_cacheddtm:TX|01 Feb 2007 06:31:14 -0000 vti_filesize:IR|393216 vti_
Iowa State - M - 166
MATH 166 REFERENCE SHEETTRIGONOMETRIC INTEGRALS SUMMARY I. Sine or cosine only 1. even power use power reducing formula 2. odd power save one factor for du. Convert the rest to cofunctions Sine and cosine both 1. both even powers use the Pythago
Stanford - PUBS - 0000
SIIAC-PLB-~February1965P@ASUREMENT OF PION BETA DECAY B W C H I N G RATIO" Robert B Bacastow , Claude Ghesquik-e, Clyde E . W.iegand t Lawrence R a d i a t i o n Laboratory, U n i v e r s i t y of C a l i f o r n i a , Berkeley, C a l i f o r n
Stanford - LL - 1043
rCase5:09-cv-02545-RMW Document1 Filed06/11/09 Page1 of 9 ^' *40BRAMSON, PLUTZIK, MAHLERI 2 3 4 5& BIRKHAEUSER, LLP Alan R. Plutzik (State Bar No. 077785) Michael S. Strimling (State Bar No. 96135) 2125 Oak Grove Road, Suite 120 Walnut Creek,
Arizona - LING - 538
LING 438/538 Computational LinguisticsSandiway Fong Lecture 25: 11/21Administrivia Lecture schedule (from last time) Tuesday 21st November Homework #6: Context-free Grammars and Parsing due Tuesday 28th Thursday 23rd November Turkey Day T
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike PanitzToday Reading for today: App F.4 - Temporary Memory (counting while loops) App F.6 - Getting user input, printing output App F.5 Parameters Reading for next class: App F.7 Instan
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike Panitz Today: Local vs. instance review 3.1- 3.7 Mainly, 3.6 Overriding methods Vocab: polymorphismToday Ch 4.4 Nested while loops Non robotic software! Next class: More Non robo
Cascadia Community College - BIT - 143
BIT 143:Programming & Data Structures in C+Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Reading review for this class: Pointers (review) Basic Inheritance D&D 9.1 9.9 Carrano - Ch 1 (pg 15-24), Ch 8 (pg 375-387) Polymorphism C
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike Panitz (mpanitz@cascadia.ctc.edu)http:/freire.cascadia.ctc.edu/facultyweb/instrucHomework HW 1 is delayed If you've got it done, hand it in If you DON'T have it done, don't worry, but do ke
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike Panitz Today: Array topicsToday Next lecture: Ch 8.2 Reference Variables; Strings Strings & ArraysBIT 115: Introduction To Programming2H O M E W O R K A3 revisions are due today
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike PanitzToday More Non robotic software! `Helper' classes software blocks that exist to contain useful commands Ch 4.4 - Nested if & while statements Predicate methods Multi-file programs
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike PanitzToday Arrays! Ch 10.1 10.1.7 Ch 1.1 through 1.1.7, not including the "Sorting" material Ch 10.2, 10.2 <A4 revision time> If we have time at the end of classBIT 115: Introduction
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today CIEs Review for final exam Review of algorithms Discussion of analysis resultsNext Lesson The Final Exam String creation exercise Bitwise
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Final HW hand-in Final ExamBIT 142: Intermediate Programming2Homework Tonight is the deadline for handing in assignments Each of you may
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today OO Design Testing OOP: Connections How to compose a class from other classes Interactions amongst different, individual objects of the same cl
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Example of a `Collection' object Review: Arrays of Objects (if needed) Polymorphism (basics) OO Program DesignNext Lesson Exception Handling
Cascadia Community College - BIT - 142
BIT 143:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)PCEs Lesson 01 & Lesson 02 PCEs have been graded The feedback sheet has been uploaded to your personal Vault account Lesson 03 is active, due on Mond
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Polymorphism, continued Exception HandlingNext Lesson Midterm ExamBIT 142: Intermediate Programming2Exam Questions: Here's 5+, pick 4
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Go over the midterm Recursion Preview: BubbleSort, etcNext Lesson More recursion Searching, Sorting Algorithms Algorithmic analysis: Big `O
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike PanitzToday Arrays! Ch 10.1 10.1.7 Ch 1.1 through 1.1.7, not including the "Sorting" material Ch 10.2, 10.2BIT 115: Introduction To Programming 2Next Lecture Arrays! Ch 10.1 10.1.7
Cascadia Community College - BIT - 115
BIT 115: Introduction To ProgrammingInstructor: Mike PanitzToday Finish `arrays' Reference Variables, Strings (text) Ch 8.2 Strings & arraysBIT 115: Introduction To Programming2Next Lecture (Monday) Memorial Day NO CLASS!BIT 115: I
Cascadia Community College - BIT - 143
BIT 143:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Midterm Exam Review Discussion: Two Implementations of Pow Binary Search Trees Quick review Add / Find by Hand Add / Find in C# BST Preview
Cascadia Community College - BIT - 115
Before Class Begins: Sit in front of a computer Log in IF you don't yet have an account, you can use the guest account. Name: Password: Bring up the course web page: http:/www.cascadia.ctc.edu/facultyweb/instru Introduce yourself to the people
Cascadia Community College - BIT - 116
BIT 116:JavaScriptToday Mod 11: Arrays Mod 5: JavaScript operators (Maybe )BIT 116: Scripting2Topics for next lecture Mod 8: Objects Also, Objects & ArraysBIT 116: Scripting3Homework A1 has been graded, returned Via StudentTrac
Cascadia Community College - BIT - 265
Cascadia Community College - BIT - 265
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz (mpanitz@cascadia.edu )Today Mod 6: Conditional Statements & Loops if, if/else statements switch statement LoopsBIT 116: Scripting2Reading for next lecture Mod 4: Functions Mod 5: JavaScript
Cascadia Community College - BIT - 116
BIT 116:JavaScriptToday Review: Midterm Exam Mod 7: Events, Event HandlersBIT 116: Scripting2Next Monday: President's Day Building closed, so no class on that dayBIT 116: Scripting3Future Lectures Mod 8: Objects, Objects & Arrays M
Cascadia Community College - L - 116
BIT 116:JavaScriptToday Review of: Functions Arrays And Objects (Oh my! )BIT 116: Scripting2Next lecture Images rollovers, timers, preloading Mod 16, parts 3&4(pp. 495-518)BIT 116: Scripting3Next next lecture Jon Peck will be
Cascadia Community College - BIT - 116
BIT 116:JavaScriptA couple common bugs I'm seeing:<script language="JavaScript"> <! -var foo="hi!"; <b> document.write("foo"); </b> /-> </script> <script language="JavaScript"> <!-var foo="hi!"; document.write("<b>"+foo+"</b>"); /-> </script>OR
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz ( mpanitz@cascadia.edu )http:/www.cascadia.edu/facultyweb/instructo rs/mpanitz/Courses/2008Wi/BIT116/index.htmToday Mod 3: Variables Mod 6: Conditional Statements If statementsBIT 116: Scripting2
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz ( mpanitz@cascadia.edu ) Mon, Weds 1:15 pm to 3:20 pm, Rm 230http:/www.cascadia.edu/facultyweb/instructo rs/mpanitz/Courses/2008WI/BIT116/index.htm116: Why take this course? For people who: Are looking
Cascadia Community College - L - 116
BIT 116:JavaScriptToday's Special Guest Instructor: Jon PeckToday Keyboard Events Random Numbers TimersBIT 116: Scripting 2Next lecture Cookies Frames/Layers Form Validation (RegEx) AJAX overviewBIT 116: Scripting3Homework A4 Of
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Jon Peck ( jpeck@cascadia.ctc.edu ) Tues, Thurs 5:45 pm to 7:50 pm, Rm 231http:/www.cascadia.ctc.edu/facultyweb/ instructors/jpeck/courses/2007Sp/BIT116/Today Reviewing comments; might change some of the office hou
Cascadia Community College - L - 116
BIT 116:JavaScriptInstructor: Jon Peck ( jpeck@cascadia.ctc.edu ) Tues, Thurs 5:45 pm to 7:50 pm, Rm 231http:/www.cascadia.ctc.edu/facultyweb/ instructors/jpeck/courses/2007Sp/BIT116/Today A4 Due! okay, I'll be nice. extension to Sunday Ext
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.edu)Due This Past Monday A1 pre-test If you haven't handed it by Monday, then you're stuck with the -10 penalty. If you did, then you got a +1 point of extra
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Tonight's Special Guest Instructor: Jon PeckToday Recursion Review the `what does this print?' stuff How to write recursive codeBIT 142: Intermediate Programming2Next Lecture Go over the midter
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Today Exam Review Inheritance questions? Basic Polymorphism A3 Q + A Time permitting: StringBuilder / Object Counting Object interactionNext Lesson Midterm Exam Recursion PreviewBIT 142: Inter
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Today Quiz Midterm Exam <Recursion Review> Searching, Sorting Algorithms Algorithmic analysis: Big `Oh' notationBIT 142: Intermediate Programming 2Next Lecture Sorting Searching Big `Oh' Review
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Today Recursion Preview 8pm till 8:30pmNext Lesson Recursion Midterm Exam (8:30pm till 10:05pm)BIT 142: Intermediate Programming2A4 A4 has been posted There is a skills pre-test for it. Yo
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu) Review: Q+A from previous topicsToday Preview: OOP: Basics OOP: Encapsulation Memory Management: Counting string objectsBIT 142: Intermediate
Cascadia Community College - BIT - 142
BIT 142 : OrientationHello, and welcome to BIT 142! This document exists to help orient you to how this class will be run - I hope that this document will help explain what to expect in this class, as well as what will be expected if you from this c
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Recursion Counting Objects `Memory Allocation' theme ~30 minutes for HW help/ finishing the examBIT 142: Intermediate Programming2Next L
Cascadia Community College - BIT - 142
BIT 142:Programming & Data Structures in C#Instructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today CIEs Review for final exam Review of algorithms Discussion of analysis results Big "Oh" Notation Using the .Net Searching & Sorting faciliti
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Timers You'll need these for animation `Flip-Book' Animation Function/Object ReviewBIT 116: Scripting 2Next lecture CSS based (`Motion') animation Keyboard event
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Objects & Arrays Debugging Strategies Review browser-specific error messages /* */ trick Firefox/Firebug Mod 7: Events, Event HandlersBIT 116: Scripting 2Next Lec
Cascadia Community College - BIT - 116
BIT 116:JavaScriptInstructor: Mike Panitz (mpanitz@cascadia.ctc.edu)Today Form Validation Regular Expressions A3/A4 revision timeBIT 116: Scripting2Next lecture FINAL EXAM!BIT 116: Scripting3Next next lecture Go over the final e