It is important to know that selecting a preferred

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

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 beneficial 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 first, 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 notified of the problem. You can modify the length of the timeout value using the timeout choice menu. If you are routinely having difficulty 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 off 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 first-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 find the Tarski’s World exercise files 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.

Ask a homework question - tutors are online