# 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.

1 Page

### hw2

Course: CIS 604, Spring 2010
School: Delaware
Rating:

Word Count: 157

#### Document Preview

404/604 Homework CISC 2 Due on Thursday, March 18, 2010 1. Show res ((AB ) (B C ))((C A)B ). b. {((A B ) (C D))} res ((A (C D)) (B (C D))) a. c. {((C B )B ), (C A), ((B C )A)} res (B C ). 2. You may use any of the Theorems/Lemmas/Propositions from the text book up through Proposition 1.12 regarding axiomatic theory L while answering this question. In this question, is a set of wfs. a. is said to be...

Register Now

#### Unformatted Document Excerpt

Coursehero >> Delaware >> Delaware >> CIS 604

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.

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.
404/604 Homework CISC 2 Due on Thursday, March 18, 2010 1. Show res ((AB ) (B C ))((C A)B ). b. {((A B ) (C D))} res ((A (C D)) (B (C D))) a. c. {((C B )B ), (C A), ((B C )A)} res (B C ). 2. You may use any of the Theorems/Lemmas/Propositions from the text book up through Proposition 1.12 regarding axiomatic theory L while answering this question. In this question, is a set of wfs. a. is said to be L-inconsistent for if some wf, , is L-inconsistent then for any statement form , as well as L . L L . Show that if b. We say is L-complete if for each , L or L . Assume is L-complete. Show that (i) if L ( ) then L or L . (ii) if L ( ) then L and L . c. Show that if d. Show L L i for 1 i n and {1 , . . . , n } |= then (AB )((C A)(C B )). e. Show that if {} L then { } L 1 . L .
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:

Delaware - CIS - 604
CISC 404/604Homework 3 Solutions1a. (x)P (x) (x)Q(x) (x)(P (x) Q(x)To satisfy: QM = DMExample: D = cfw_0, 1, . . . (henceforth referred to as N),P M = cfw_0, 2, 4, . . ., andQM = D M .M = P M = QMTo falsify: DExample: D = N,P M = cfw_0, 2, 4, .
Delaware - CIS - 604
CISC 404/604Homework 3Due on Thursday, April 22, 20101. (35 points) For each of the following wfs, give a structure that satisesthe wf and another structure that falsies it.a. (x)P (x) (x)Q(x) (x)(P (x) Q(x).b. (x)(P (x) P (a).c. (x)(y )[P (x, y )
Delaware - CIS - 604
CISC 404/604Homework 4 Solutions1a. To show z xP (x, z, f (x, z ) z xyP (x, z, y ) is valid using resolution.Negate: (z xP (x, z, f (x, z ) z xyP (x, z, y )Convert to prenex: z1 z2 x2 y x1 (P (x1 , z1 , f (x1 , z1 ) P (x2 , z2 , y )Skolemize: z2 y x1
Delaware - CIS - 604
CISC 404/604Homework 4Due date Thursday May 4, 2010NO LATE SUBMISSIONS1. (20 points) Using resolution, prove the following are valid:a. z xP (x, z, f (x, z ) z xyP (x, z, y )b. x(P (x) Q(x) (xP (x) xQ(x).2. (10 points) Using resolution, show that (
Delaware - CIS - 604
CISC 404/604Unication and ResolutionLet L be a set of literals that we wish to unify.Let sub [ ].While | Lsub |= 1Scan left to right till a disagreement is foundIf neither term (at place of disagreement) is a variable then return(not uniable)elseL
Delaware - MATH - 242
M ath 242 Final Exam, Spring 2011Sections 012, 014, 050NAME:KEYThere are 12 questions on 12 pages.The points per page are 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6.The 13th page has some formulas you can refer to if needed.[5 points] Question 1. Evaluate
Delaware - MATH - 242
Math 242 Homework 1Sections 012 and 014: Due Wednesday Feb 16thSection 050: Due Thursday Feb 17th1. Evaluate xlimln(ln x).x(ln x)2.xx2. Evaluate limsin x x.x0x33. Evaluate lim24. Evaluate lim xx .+x05. Find the area bounded by the cur
Delaware - MATH - 242
Math 242 Homework 2Sections 012 and 014: Due Wednesday Feb 23rdSection 050: Due Tuesday Feb 22nd1. Find the area bounded by the curves y = sinxand y = x.22. Let A be the region bounded by the curves x = 1 + y 2 and y = x 3.Find the volume obtained
Delaware - MATH - 242
Math 242 Homework 3Sections 012 and 014: Due Wednesday March 2ndSection 050: Due Tuesday March 1stEvaluate these integrals by hand. (If you have time, you can use Maple todouble-check your answers afterward.)51. Evaluatexex dx.02. Evaluatet sin
Delaware - MATH - 242
Math 242 Homework 4Sections 012 and 014: Due MONDAY March 7thSection 050: Due Tuesday March 8thQuestions 1 to 5 should be done by hand.For questions 6 to 8, you can use Maple as much or as little as you like. /61. Evaluatecos3 x dx.02. Evaluates
Delaware - MATH - 242
Math 242 Homework 5Sections 012 and 014: Due Wednesday March 16thSection 050: Due Tuesday March 15thAll questions on this homework should be done by hand. (However, you maynd it useful to use Maple to double-check your answers afterwards.)21. Evalua
Delaware - MATH - 242
Math 242 Homework 5Solutions (may be somewhat terse)21. Evaluate2t31dt.t2 1Solution. Try t = sec . Then t2 1 = tan and dt = sec tan d.Also, when t = 2, we have = /4, and when t = 2, we have = /3.The integral becomes /3/4sec tan d =sec3 tan
Delaware - MATH - 242
Math 242 Homework 6Sections 012 and 014: Due Wednesday March 23rdSection 050: Due Tuesday March 22ndQuestions 1 through 5 should be done by hand.For questions 6 through 8, you can use Maple as much or as little as you like.1. Evaluatesin(ln x) dx. (
Delaware - MATH - 242
Math 242 Homework 6Solutions (to the by hand questions)Questions 1 through 5 should be done by hand.For questions 6 through 8, you can use Maple as much or as little as you like.1. Evaluatesin(ln x) dx. (May be a little tricky.)Solution. Let I =sin
Delaware - MATH - 242
Math 242 Homework 7Sections 012 and 014: Due MONDAY April 11thSection 050: Due Tuesday April 12thIn questions 1 through 8, determine whether the series converges or diverges.(Give reasons.)1.1n=1 2n2.lnn=1n2 + 12n2 + 13.1 + 3n2nn=14.nn
Delaware - MATH - 242
Math 242 Homework 7SolutionsIn questions 1 through 8, determine whether the series converges or diverges.(Give reasons.)1.n=112nSolution. This series is2.lnn=11times the harmonic series, so it diverges.2n2 + 12n2 + 1n2 + 11Solution. Not
Delaware - MATH - 242
Math 242 Homework 8Sections 012 and 014: Due Wednesday April 20thSection 050: Due Tuesday April 19thIn Questions 1 to 4, determine whether the series converges or diverges. Givereasons.1.n1nn=1 n 4(1)n sin2.n=1n3.1 + sin n10nn=14.nn3 +
Delaware - MATH - 242
Math 242 Homework 8Solutions (may be somewhat terse)In Questions 1 to 4, determine whether the series converges or diverges. Givereasons.1.n1nn=1 n 4n11 n = n , or limitCONVERGES. Try basic comparison with bn =n44comparison with the same bn
Delaware - MATH - 242
Math 242 Homework 9Sections 012 and 014: Due Wednesday April 27thSection 050: Due Tuesday April 26thIn questions 1 to 5, nd the interval of convergence of the power series.1.xn3n=1 n2.nxnn=13.xnnn=2 4 ln n(1)n4.n=05.(1)nn=0x2n(2n)!(
Delaware - MATH - 242
Math 242 Homework 9Solutions (may be somewhat terse)In questions 1 to 5, nd the interval of convergence of the power series.1.n=1xnn3an+1xn+1n3n3= n = |x| |x|. So |x| &lt; 1. Checkingan(n + 1)3 x(n + 1)3endpoints, we nd that both are includ
Delaware - MATH - 242
Math 242 Homework 10Sections 012 and 014: Due Wednesday May 4thSection 050: Due Tuesday May 3rdex 1dx as a power series.x1. Express the indenite integral0 .21dx as an innite series.1 + x50Then nd the sum of the rst two terms of that series. Co
Delaware - MATH - 242
Math 242 Homework 10Solutionsex 1dx as a power series.x1. Express the indenite integralxx2 x3 x4e =1+ ++++ 1!2!3!4!xx2 x3 x4x+++ e 1= +1!2!3!4!xex 11xx2 x3=+++ x1! 2!3!4!xx2x3x4ex 1dx =++++ x1 1! 2 2! 3 3!
Delaware - MATH - 242
Math 242 Homework 11Sections 012 and 014: Due MONDAY May 9thSection 050: Due Tuesday May 10th1. Consider the parametric curve x = t + ln t, y = t ln t, where 0 &lt; t &lt; .Find dy/dx and d2 y/dx2 . Find where the curve is increasing, decreasing,concave up
Delaware - MATH - 242
Brief solutions for (parts of) Homeworks 3 and 4Homework 4 /6 /6300= uu332. I =1/2=0(1 u2 ) du(1 sin x) cos x dx =cos x dx =1.sin /62sin 01111=.2 2424sec3 x dx =sec x sec2 x dx. Integrate by parts with u = sec x,dv = sec2 x dx
Delaware - MATH - 242
Math 242 Review Part 1In this course, we covered most of the following four chapters. Chapter 6 (Applications of Integration) Chapter 7 (Techniques of Integration) Chapter 11 (Innite Series) Chapter 10 (Parametric and Polar Curves)There were three a
Delaware - MATH - 242
Math 242 Review Part 2In addition to (most of) Chapters 6, 7, 11, and 10, we studied the followingthree miscellaneous topics: Newtons Method (4.8) LHopitals Rule (4.4) Arc Length (8.1)1. Use Newtons method with the specied initial approximation x1 t
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Sept 6 and 81. Evaluate lim x1/x .x12. Evaluate xlim ( x2 + x x).23. Evaluate(3x 2)20 dx.34. Evaluatesin t dt.4
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Sept 13 and 151. Find the area bounded by the curves y = x2 and y =1x22.+12. Find the area bounded by the curves y = |x| and y = x2 2.23. Let R be the region bounded by the curves y = 1 x2 and y = 0. Fi
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Sept 20 and 221. Let A be the region bounded by y = ex , y = 1, and x = 2. Find thevolume obtained by revolving A around the line y = 2.12. Let A be the region bounded by y = 4x x2 and y = 3. Find the volume
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Sept 27 and 291. Evaluatesin4 x dx.12. Evaluatecos5 x dx.2173. Evaluatexex dx.03 /24. Evaluatesin3 x cos11 x dx.04
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Oct 4 and 6101. Evaluate4x26dx.911dx.2 + 2xxHINT: Start by completing the square.2. Evaluate213. Evaluatex x2 + 4 dx.034a. Evaluatexdx.x2 + 14b. Evaluatex2dx.x2 + 14
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Oct 11 and 1321. Use the Trapezoidal Rule and Simpsons rule to approximate0using n = 4 subintervals.11dx1 + x42. Evaluate0(x2xdx.+ 2)223. Find a good approximate root of x3 x 1 = 0 by starting wi
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Oct 18 and 201. By hand, nd an approximation to 71/3 . Choose an appropriate functionf (x), an appropriate rst approximation x1 , and nd x2 .12. Find the length of the curve y = ln(sec x) between x = 0 and x
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Oct 25 and 27This is a longer list of problems than usual. It can also serve as practice forTest 2. /21a. Evaluatecos3 x dx.0 /21b. Evaluatecos2 x dx.012. Evaluatesec3 x dx.223. Evaluate1x2 1d
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Nov 1 and 3D1. Does the series converge or diverge?1nn=1 n + 3D2. Does the series converge absolutely, converge conditionally, or diverge?(1)n+1n=2 n ln n1D3. Does the series converge absolutely, conver
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Nov 8 and 10D1. Does the series converge or diverge?n2 132n=1 n + 2n + 5xnD2. Find the interval of convergence of the power series.n=0 n!1D3. Find the interval of convergence of the power series(2)n
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Nov 15 and 17D1. Find a power series representation of the function f (x) =is the radius of convergence of your power series?1. What1 + x2D2. Find a power series representation of the function f (x) = arct
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Nov 221. Evaluate the integralcos x (1 + sin2 x) dx.2. Evaluate the integralsin3 xdx.cos x113. Evaluate the integral0earctan xdx.1 + x24. Does the series2n n!converge or diverge?n=1 (n + 2)!25
Delaware - MATH - 242
Math 242Suggested lab/discussion problems, Nov 29 and Dec 1converge or diverge? If it converges,nn=1does it converge absolutely or conditionally?(1)n sinD1. Does the seriesnD2. Does the seriesn=123nconverge or diverge?1D3. Does the series
Delaware - MATH - 242
Math 242, U of D, Spring 2011Analytic Geometry and Calculus BInstructor: Idris Mercer, Ewing 529, idmercer@math.udel.eduIn emails, please write Math 242 and your section number.Oce hours: Mondays 5:006:30, Thursdays 9:0011:00, or by appointmentCourse
Delaware - MATH - 242
M ath 242 Section 010: Test #1NAME: _L/CPlease circle your l ab/discussion:020021022This test has 6 questions on 6 pages.The p oints per page are 5, 5, 5, 5, C, 6.Show your &quot;work. A correct answer w ith l ittle or no reasoning may reeeivea low s
Delaware - MATH - 242
M ath 242 Section O il: Test #1NAME: _frPlease circle your lab/discussion:030031032This test has 6 questions on 6 pages.The points per page are 5, 5, 5, 5, G, 6.Show your work. A correct answer with little or no reasoning may receivea low score.
Delaware - MATH - 242
Math 242 Section 012: Tost #1NAME:KEYPlease c ircle y our l ab/discussion: 040 ( 8:00) 041 (12:30) 042 ( 1:30)This t est, has 6 questions on 6 pages.The, p oints per page are 5, 5. 5, .r&gt;, G , fi.Show your work. A correct answer with little or no r
Delaware - MATH - 242
Math 2 42 S uction 0 14: TostN AME:KEYPlease c ircle your l ab/discussion: 060 ( 12:00) 061 (11:00) 062 ( 2:30)This test has 6 questions on 6 pages.The points per page are 5. 5, 5, 5, 6. 6.Show your work. A correct, a nswer with l ittle or no r easo
Delaware - MATH - 242
M ath 242 Section 050: Testi/c:NAME: _(^f^This test has G q uestions on 6 pages.The p oints p er pa^e are 5, 5, 5, 5, ( i, 0.Show y our w ork, A c orrect answer w ith l ittle o r no r easoning m ay r eceivea. low score. (However, there is no need to
Delaware - MATH - 242
Math 242 Section 010: Test #2N AME:Please circle your lab/discussion:020021022This test has 6 questions on 6 pages.The points per page are 5, 5, 5, 5, 6, 6.Show your work. A correct answer w ith little or no reasoning may receivea low score. (How
Delaware - MATH - 242
Math 242 Section 014: Test #2NAME:Please circle your lab/discussion:060061062This test has 6 questions on 6 pages.The points per page are 5, 5, 5, 5, 6, 6.Show your work. A correct answer w ith little or no reasoning may receivea low score. (Howe
Delaware - MATH - 242
Math 242 Section 012: Test #2NAME:Please circle your lab/discussion: 040 (8:00) 041 (12:30) 042 (1:30)There are 6 questions on 6 pages. Points per page: 5, 5, 5, 5, 6, 6.Show your work. A correct answer with little or no reasoning may receivea low sc
Delaware - MATH - 242
M ath 242 Section 014: Test #2NAME:&lt;^ ^ VPlease circle your lab/discussion: 060 (12:00) 061 (11:00) 062 (2:30)There are 6 questions on 6 pages. Points per page: 5, 5, 5, 5, 6, 6.Show your work. A correct answer with little or no reasoning may receive
Delaware - MATH - 242
Math 242 Section 050: Test #2NAME:There are 6 questions on 6 pages. Points per page: 5, 5, 5, 5, 6, 6.Show your work. A correct answer with little or no reasoning may receivea low score. (However, there is no need to be wordy.)The 7th page has some f
Delaware - MATH - 242
Math 242 Section 012: Test #3N AME:KEYPloa.sc c ircle your l ab/discussion: 040 (8:00) 041 (12:30) 042 (1:30)There are 6 questions on 6 pages. Points per page: 5, 5, 5, 0, 5, 6.The 7tli page has some formulas you can refer to if needed.[5 points] Qu
Delaware - MATH - 242
Math 242 Section 014: Test #3N AME:'Please circle your lab/discussion: 060 (12:00) 061 (11:00) 062 (2:30)There are 6 questions on 6 pages. Points per page: 5, 5, 5, C, 5, 6.The 7th page has some f ormulas you eari refer to if n eeded.[5 p oints] Que
Delaware - MATH - 242
M ath 242 Section 050: Test #3NAME:_There are 6 questions on 6 pages. P ointy per page: 5, 5, 5, 0, 5, 6.The 7th page has some f ormulas you can refer to if needed.[5 points] Question 1. D etermine whether the i nfinite seriesis absolutely convergen
Delaware - MATH - 242
TO S OMfcdx.8. Evaluate-x-K/0010-0.6f)0rh.9. Evaluate / ye~-6y dy.JoU'-O.b-0.6Jo10. Evaluate6'~0 -r /2 cos o1 + sinXV~Jo,rffl.U11. Evaluateu=It +=?323UJ:,12. Evaluate /_1/1.\.il:i2shr 0 cos-0 &lt;/0.7ofNTT/2-00U
Delaware - MATH - 242
IDCHf\Pm 7In problems 23 to 28, evaluate the integral or show t hat it is d ivergent.,00,PML23.i'&quot;%'3L\J324.,dxMM25. /f l/audx13r&gt;\?rovooH&gt;-4--V\MvoXr.X\MotocX^-t&lt;xcto4-P\IO4-14:tou]OS
Delaware - MATH - 242
1. Sketch t he curve. Indicate the direction in which the curve is traversed ast increases. If possible, eliminate the parameter to find a Cartesian equationof the curve.la.x = 3i - 5,y = 2t + la+5&quot; - s-tM&quot;3fH1l-1-lb.3.&gt;x = t2 - 2,3(/ =
Delaware - MATH - 242
iitIii questions 1 to 28, d etermine w hether t he series converges or diverges.iooV^ / o-n3-&quot; +1.3/2p-sn?;rsOO-12. V tan-j^vi n1&lt;:.os KIntA-M^1fw^ ^-^ . ^ ~^)3 c osy?,3.77/V2 _ 2q3'^5 AKI ^-2^choose c, ^V)J|c.*I^/ ^/HfCCO
Delaware - MATH - 242
Iii questions 29 to 36, d etermine whether the scries converges absolutely, converges conditionally, ordiverges.n29.3n0&gt;30.J'IJnofisi/In=l5011In questions 37 to 42, find the interval of convergence of the power scries.3. - 2 )/^a-Z
Delaware - MATH - 242
(?ay71/-7CXTOoT7T007X=Y)p~l7._vi /3/3/3-/Wt /i i^.^/ ^3n3&quot;- Ji lt*i^*&quot;-oi&quot;^tA -^oOi&lt;~)~y^,tTi 3 + 5'&quot;)'.-IK00f-i' n5An+1n3/2 - 2rartA/|AI&quot;/6^J=.^_/-x16. V ^n)*17.n siTi1n^W00O Tl/aL,
Delaware - MATH - 242
In questions 1 to 28, determine whether the series converges or diverges.11.3n + 3/2nn=1tan2.n=11n3.3 cos n3/2 2n=1 n14.n=15.n=1132n1+n1ln(n + 1)6.1n=2 n(ln n)27.1n=2 n ln n8.12n=2 n(ln n)9.12n=2 (ln n)310.1n=
Delaware - MATH - 242
The last page of your test will contain exactly these formulas in exactly thisformat.sin2 x =11 cos 2x2cos2 x =11 + cos 2x21dx = ?1 + x2sec x dx = ln | sec x + tan x| + C1+x2 x3x+++ = ?1!2!3!xx 3 x5 x7++ = ?3!5!7!1x 2 x4 x6