You should receive a copy of SYMLOG on a diskette with your book.
This is a DOS program which can be installed and run on any
PC at the level of a 286 or better!
Some students have experienced difficulties installing it.
Here is a brief outline of a process that was successful:
With the computer showing the dos prompt:
Helpdesk (in Steacie) now has a copy ot the text and the program and
may be able to assist you if you still have
questions about installation etc.
- C:\>md symlog "which will make the directory of symlog"
- cd symlog copy a:\extract.exe
- C:\symlog extract " this will open all the 45.. some files.
Instructions for using SYMLOG in Steacie Labs
Printing in ACADLAB
It turns out you get a better printout using
draft quality on the printers in Steacie! It has something to do with the fonts which are installed etc.
Getting a ACADLAB account.
The program Symlog is installed on the Steacie Lab Server in the
Steacie Computer Labs (Steacie T107 and Steacie 128) for your use during drop-in hours. Most of you will also install your copy of the program at home and work there. If you plan to use the lab at all, even to print
results, you will need a ACADLAB Account. This can be obtained, with a
two hour delay, by going to a drop-in labs in Steacie or by Telnet.
In Steacie, you can pick up a sheet at the helpdesk telling you how to use the MAYA system to create an ACADLAB account. You must first (possibly at the same session) have a general yorku e-mail. Your
ACADLAB will have the same login (and a password you create in this
session). By telnet, you telnet to maya.yorku.ca and follow the
instructions. Be sure and allow two hours fro them to create the account
before you need to use it.
By the last month of the course, we will have an updated version of
the program SYMLOG/PA, with an added environment for Peano
Arithmetic (the formal theory of Natural Numbers). This is installed in
Steacie, and will be available for you to copy and take home.
Start-Up of SYMLOG on the Steacie Lab Server
On a PC (or a Mac running as a PC), after your login you will see a menu
with the choice
'Further choices DOS' (item D).
Select this (type D). The next menu will contain an item
C SYMLOG 2.0
Select this and the program will start up.
The first chapter of the text and some appendices give detailed
instructions on using Symlog. Copies of the book are on two hour reserve
in Steacie Library, if you need assistance and do not have your book.
Remember, the tutors will be in Steacie for the first few weeks to help you
with questions about the program or the content of the course. Finally, ask
your instructor for assistance but do not give up. Regular use of the
program is essential.
During the first two weeks of class we will hold some introductory sessions on SYMLOG in the Steacie Lab T107 on:
Thursday January 9, 4:00-5:00,
Please get an ACADLAB account prior to the demonstrations if
you wish to use the Steacie machines.
Back to 2090 Home Page