Fundamentals of CS I (CS151 2001S)
[Current]
[Discussions]
[Glance]
[Honesty]
[Instructions]
[Links]
[News]
[Search]
[Syllabus]
Primary
[Examples]
[Exams]
[Handouts]
[Homework]
[Labs]
[Outlines]
[Quizzes]
[Readings]
[Reference]
Sets
[Blackboard]
[Scheme Report]
[SamR's Schedule]
[Rebelsky/Fall 2000]
[Walker/Fall2000]
[Stone/Spring2000]
Links
You may find it helpful to rescan the readings on Boolean values and conditionals.
You may also want to rescan the reading on numbers.
After making sure that you're prepared, start DrScheme.
Fill in the following table (or as much as you think is appropriate)
5  5.0  'five  "five"  list  #t  #f  (cons 'a null)  null  'null  ()  
number? 

symbol? 

string? 

procedure? 

boolean? 

list? 
Which of the following does Scheme consider an empty list?
null
'null
()
(list a)
(list)
'nothing
Consider the following definitions
(define alpha (list 'a 'b 'c)) (define beta (list 'a 'b 'c)) (define gamma alpha)
Determine which of the lists are
eq?
,
eqv?
,
or
equal?
.
Did you see anything surprising in the previous exercises?
not
?
a. What type is not
?
b. What predicate would you use to verify your answer?
not
? Revisited
The symbol not
is the name of something, as you
determined in the preceding exercise.
However, the symbol itself, considered as a datum, is
not a procedure. Does Scheme agree with this classification? How
could one ask Scheme whether the symbol not
is a
procedure?
Fill in the following tables for each of the operations and
and or
.
and
First argument  Second argument  Result 
#f 
#f 

#f 
#t 

#t 
#f 

#t 
#t 
or
First argument  Second argument  Result 
#f 
#f 

#f 
#t 

#t 
#f 

#t 
#t 
a. Write a Boolean expression that determines if the value named by
grade
is between 0 and 100, inclusive.
b. Test that expression using different values of grade
.
and
and or
a. Determine the value
and
returns when called with
no parameters.
b. Explain why and
returns that value.
c. Determine the value or
returns when called with
no parameters.
d. Explain why or
returns that value.
Define and test a Scheme predicate atomorlist?
that
takes one argument and returns #t
if the argument is either an
atom (symbol) or a list, #f
if it is neither.
Define and test a Scheme predicate between?
that takes three
arguments, all real numbers, and determines whether the second one lies
strictly between the first and third (returning #t
if it is,
#f
if it is not). For example, 6 lies strictly between 5 and
13, so both (between? 5 6 13)
and
(between? 13 6 5)
should have the value
#t
.
Three line segments can be assembled into a triangle if, and only
if, the length of each of them is less than the sum of the lengths of the
other two. Define a Scheme predicate triangle?
that takes
three arguments, all positive real numbers, and determines whether line
segments of those three lengths (assumed to be measured in the same units)
could be assembled into a triangle.
Define and test a Scheme procedure neighbor
that takes one
argument, an integer, and returns the next higher integer if its argument
is even, the next lower integer if its argument is odd. (Start by writing
a comment that describes the purpose of the procedure.)
For each of the following expressions, guess what the output should be and then test it in Scheme.
a. (if #t 'aardvark 'zebra)
b. (if #f 'aardvark 'zebra)
c. (if (null? null) 'aardvark 'zebra)
d. (if (null? 'null) 'aardvark 'zebra)
e. (if (null? (list 'a 'b 'c)) 'aardvark 'zebra)
f. (if () 'aardvark 'zebra)
g. (if (list 'a 'b 'c) 'aardvark 'zebra)
h. (if 2 'aardvark 'zebra)
i. (if 'true 'aardvark 'zebra)
j. (if 'false 'aardvark 'zebra)
Define and test a Scheme procedure listtype
that takes one
argument, a list, and returns the symbol empty
if the argument
is the empty list, the symbol nonempty
otherwise.
Define and test a Scheme procedure reportvictory
that takes
one argument, a real number, and returns the symbol won
if that number is positive, the symbol lost
if it is
negative, and the string tied
if it is zero.
a. Use if
for all the tests within your procedure.
b. Use cond
for all the tests within your procedure.
As you may know, one of the famous riddles of the Sphinx goes something like the following:
What is it that walks upon four legs, then two legs, then three legs?
The answer is ``humans''.
Write a Scheme predicate, legs
, that, given someone's age, tells
how many legs they walk upon. (You get to choose reasonable ages
for the three phases of life.)
Write and test a Scheme procedure, type
, that returns the a symbol
that represents the type of
its argument. For example,
> (type 3) integer > (type '(1 2 3)) list > (type "hello") string > (type 2/3) rational > (type 'type) symbol > (type type) procedure
(and)
has value true because ``and
has a value
of true if
none of the parameters have value false''. Since it has no parameters,
none are false.
(or)
has value false because ``or
has value false
if none of the parameters is nonfalse''. Since it has no parameters,
none are nonfalse.
Wednesday, 6 September 2000
Friday, 8 September 2000
Wednesday, 31 January 2001
and
and or
with no parameters.
Thursday, 1 February 2001
and
and or
with no parameters.
Wednesday, 7 Febuary 2001
[Current]
[Discussions]
[Glance]
[Honesty]
[Instructions]
[Links]
[News]
[Search]
[Syllabus]
Primary
[Examples]
[Exams]
[Handouts]
[Homework]
[Labs]
[Outlines]
[Quizzes]
[Readings]
[Reference]
Sets
[Blackboard]
[Scheme Report]
[SamR's Schedule]
[Rebelsky/Fall 2000]
[Walker/Fall2000]
[Stone/Spring2000]
Links
Disclaimer: I usually create these pages on the fly. This means that they are rarely proofread and may contain bad grammar and incorrect details. It also means that I may update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.
This page was generated by Siteweaver on Thu May 3 23:07:42 2001.
This page may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2001S/conditionals.html
.
You may validate
this page's HTML.
The source was last modified Wed Feb 7 08:18:52 2001.