CS 211 Assignment #2
Fall 2015
Due Date: Thursday, September 10th in class.
Assignments are to be done individually. No late assignments will be accepted. Submit your
assignment in class on the day that it is due.
1. (10 points) Consider the problem from

Description of the enumeration technique.
For Enumeration of Z
Where,
Z = cfw_0, 1, 1, 2, 2, 3, 3 (Codomain) N= cfw_0, 1, 2, 3, 4, 5, 6, 7, 8 (Domain)
x Z: (x) = 2x1: x > 0
x Z: (x) = 2x: x 0
If user input is Domain value then start from 0 to the nth ter

4
The Real Numbers
An axiomatic treatment of the real numbers provides a firm basis for our reasoning, and it gives us a framework for studying some subtle questions concerning
irrational numbers.
To such questions as, "how do we know that there is a numb

Predicate Logic
Summary of Additional Rules for Semantic Tableaux
x P (x)
FORALL
P (t)
x P (x)
NOT-FORALL
x P (x)
where t is any term
x P (x)
EXISTS
P (t)
where t is a term that has not
been used in the tableau so far
x P (x)
NOT-EXISTS
x P (x)

Predicate Logic
Summary of Additional Inference Rules for Natural Deduction
Instantiation: E
Generalization: I
xg
.
.
.
x P
P [t/x]
P [xg /x]
x P
Instantiation: E
Generalization: I
P [t/x]
x P
x P
xu P [xu /x] assumption
.
.
.
Q
Q
xu does not appear i

CS 211 Assignment #1
Fall 2015
Due Date: Thursday, August 27 at the start of class.
Assignments are to be done individually. No late assignments will be accepted. Hand in the
assignment at the beginning of class on the day it is due.
1. (12 points) Transl

CS 211 Assignment #5
Fall 2015
Due Date: Thursday, November 26th in class.
Assignments are to be done individually. No late assignments will be accepted.
1. (5 points) For the following triple (pre-condition, program, post-condition), prove that the tripl

CS 211 Assignment #3
Fall 2015
Due Date: Tuesday, September 29th in class.
Assignments are to be done individually. No late assignments will be accepted. Submit your
assignment in class on the day that it is due.
1. (25 points) Consider the following murd

CS 211 Assignment #4
Fall 2015
Due Date: Thursday, October 15th in class.
Assignments are to be done individually. No late assignments will be accepted.
Consider the murder mystery from the previous assignment. Below is the sample solution
where each of t

CS 211 Assignment #4
Fall 2015
Due Date: Thursday, October 15th in class.
Assignments are to be done individually. No late assignments will be accepted.
Consider the murder mystery from the previous assignment. Below is the sample solution
where each of t