Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
cs-236:homework-6 [2017/10/17 16:01]
cgc [Problems]
cs-236:homework-6 [2017/10/17 17:35]
jrtyler [Problems]
Line 6: Line 6:
 ==Problems== ==Problems==
  
-# (6 points) ​Section 1.6 (int'​l ​1.5) Problem ​6 (page 78+For the International version of the book, change "Section 1.6" to "​Section ​1.5". 
-# (points) Section 1.6 (int'​l ​1.5) Problem 8 + 
-# (14 points) Section 1.6 (int'​l ​1.5) Problem 10 parts a and +Please format your answers as closely to these examples: [[https://​wiki.cs.byu.edu/​_media/​cs-236/​homework_6_examples.pdf]] 
-# (points) Section 1.6 (int'​l ​1.5) Problem 16 parts b and + 
-# (2 points) Section 1.6 (int'l 1.5) Problem 24 +For each of the problems (except Section 1.question 24), '''​you will need to provide a proof'''​ in addition to what the question is asking ​(unless the conclusion you are asked to prove is incorrect; instead you will need to explain why it is incorrect)
-# (4 points) Section 1.6 (int'l 1.5) Problem 34 part a+ 
 +For the problems involving Section 1.6 question 10, you don't need to explain what rules of inference are used as long as you provide a proof. 
 + 
 +# (points) Section 1.6 Problem 6 
 +(2 points) Section ​1.Problem 8 
 +# (points) Section 1.6 Problem 10 part a 
 +(8 points) Section ​1.Problem 10 part (use resolution) 
 +# (points) Section 1.6 Problem 16 part b 
 +(3 points) Section ​1.Problem 16 part 
 +# (2 points) Section 1.6 Problem 24 
 +# (4 points) Section 1.6 Problem 34 part a (use resolution)
 # (6 points) Use resolution to answer the query in '''​a.dl'''​ below # (6 points) Use resolution to answer the query in '''​a.dl'''​ below
 # (6 points) Use resolution to answer the query in '''​b.dl'''​ below # (6 points) Use resolution to answer the query in '''​b.dl'''​ below
cs-236/homework-6.txt · Last modified: 2017/10/17 17:35 by jrtyler
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0