This preview shows page 1. Sign up to view the full content.
Unformatted text preview: since you run the risk of
unnecessarily delaying your own submissions. The only situation
in which selecting a preferred server might be beneﬁcial is if problems with one of the Grade Grinder servers, causes it to accept
submissions but be delayed in grading them. If this happens, then
preferring to send submissions to the other server would be appropriate.
It is important to know that selecting a preferred server does
not guarantee that your submissions will always go to that server.
It is a preference, not a guarantee. Submit will try to send your
submission to your preferred server ﬁrst, but if that server is unavailable then the other server(s) will be used instead. 2.4.3 Timeout settings Submit waits a period of time called the “timeout” when connecting to a grade server. If the server does not respond within this
time, the next server is tried, until either one accepts the submission or all have been unsuccessfully tried, in which case you will be
notiﬁed of the problem. You can modify the length of the timeout
value using the timeout choice menu. If you are routinely having
diﬃculty connecting to a grade server within the timeout period,
perhaps because you are connecting over a slow dialup line, or
sending very large submissions, then you may wish to change the
setting to Patient or Very Patient in order to instruct Submit to
wait longer for a response. You might like to experiment with the
(Very) Impatient settings if you think that you will routinely get
very fast responses from the server (perhaps because your connection is very fast due to being on the Internet backbone.) 2.4.4 Personality The Grade Grinder generates congratulatory messages in the grade
report when you get an exercise completely correct. By default,
the “classic” behavior, these are randomly selected. You can control the exclamations that are generated by using the Personality Using Submit / 13 setting, or switching all exclamations oﬀ using the setting “None”
if you prefer. 2.4.5 Check for Updates There is a global preference which controls whether all of the applications check for updates when they are launched. If this box
is checked, the application will determine if an update is available,
and ask if you want to download and install it. Chapter 3 Using Tarski’s World
Tarski’s World lets you represent simple, three-dimensional worlds
inhabited by geometric blocks of various kinds and sizes, and test
ﬁrst-order sentences to see whether they are true or false in those
worlds. We begin with instructions on how to start and stop
Tarski’s World, and explain the basic layout of the screen. 3.1 Getting started The Tarski’s World application is contained inside the folder called
Tarski’s World Folder. Also in this folder is a folder called TW
Exercise Files, in which you will ﬁnd the Tarski’s World exercise
ﬁles referred to in the book.
When Tarski’s World is running you will see a large window
divided into two sections. The left world panel contains a checkerboard on which blocks are placed, called a world, and a tool bar for
manipulating the conte...
View Full Document
This document was uploaded on 01/26/2014.
- Winter '14