P
S ?
FACULTY OF SCIENCE
NEW COURSE PROPOSAL
CALENDAR 1
Nl:ORMAl
I ON
Department: Mathematics
? Course Number: 405-4 Title: Theory of
Sub-title or Description:
?
Computability
Theory of finite automata, sequential machines, recursive
functions and computability.
Credit hours: 4
?
Vector Description: ?
(4-1-0)
Pre-requisite(s): 5th level standing in Mathematics or permission of
the instructor.
?
11 ?
ENR0L!V1INT AND SCIIEI)IJLINC
Estimated Enrolment: 15 per offering.
Semester Offered (e.g. Yearly, every Spring; twice yearly, Fall and
.
?
Yearly; every Fall
?
Spring):
When course will first be offered:
?
Fall 1970
?
III ?
.JUSTIFICATION
A.
What is the detailed description of the course including differentiation
from lower level courses, from similar courses in the same department
and from courses in other departments in the University?
The course will include the topics listed in B (below). None of these
are taught in lower level courses. The only topic considered elsewhere
is that of recursive functions which is introduced in Math 451-3,
"Mathematical Logic". However, the treatment there is very brief.
B.
What is the range of topics that may he dealt with in the course?
Finite automata,
luring and other sequent.kil twiclihies,
(odel
numbering, unso] val) I I i
ty , halting problems, Ole t Iieory of macbLue
memory, aigori
t ms , rcI rs
ISVC
functions and rompu tabi. 1. i. t:y
Page 2
C.
How does this course fit the goals of the department?
The Mathematics Departmene has a substantial number of faculty
interested in mathematical logic. It is expected that some of its
undergraduates will wish to specialize in this area. The course
also complements the present lower level courses in computer science
• ?
and it would probably be part of a computer science option if one
were offered.
D.
How does this course effect degree requirements?
It will not be required for any degree.
F.
What are the ca I endar changes necessary to reflect the addition of
this course?
New entry.
P. What course, if any, is heing dronped from the calendar if this
course i.s approved?
None.
G.
What is the nature of student demand for this course?
Students who intend to do graduate work in logic will probably
take this course as preparation for such work. Also many students
are interested in computer science and wish to take related
material such as this course.
II. Other reasons for introducing the course.
Several faculty members are anxious to teach such a course.
IV ?
BUDGETARY AND SPACE FACTORS
A. Which faculty will he available to tcah this course?
Dr. H. Gerber, Dr. R. Harrop, Dr. A. Lachlan and Dr. S. Thomason
•
?
-. ?
.
Page .3
I
?
• ?
•
1
.
3. ?
What are the ;nec I a
?
p;L:e
mid/or equ I pnient requirements for this
- ?
course?
None..
C. Any other budgetary im
p
lications of mount i ng this course:
None.
APPROVAL -
?
Faculty Undergraduate Curriculum Committee:
Ma
l
?
1171
FaGulty: ?
ô,t4O
Senate:
c.
?
• ?
SiMON FRASER UNIVERSITY
?
• ?
. ?
MORAPWUM
From. ?
Dr. J.S. Barlow
Associate Dean
Date ?
13 March,1970
?
....................................•;
As I pointed out on the phone on Friday, March
13,
the introduction
of five new courses in Mathematics does have budgetary implications
in
that some
Gxpan3iOfl
of faculty will be necessary. I understand
that the return of Dr. Harrop and the acquisition of a Statistician
as presently approved will cover this, but information must be
included in the material prepared for presentation to the Faculty
and Senate Committees. Therefore, I am returning your submission
of March 11, so that this information can be incorporated.
/ ?
J.S. Barlow
I
0
SiMON FRASER UNIVERSITY
MEMORANDUM
Dr. J.S. Barlow
?
From
?
Dr. E.M. Shoemaker
Acting Head
Associate Dean of Science
?
Mathematics Department
Subject
RE: YOUR MEMO DATED MARCH 13, 1970
?
Date ?
March 17, 1970
Present plans are to offer each course once a year. Twelve of the
seventeen hours (sixteen teaching plus one tutorial) will be supplied by the
addition to the staff of a Statistician the Department is authorized to hire.
Three hours are supplied by dropping Ilath 424-3 which is not to be offered
next year. In addition we are currently reducing the number of graduate
courses being offered but of course the exact course to be deleted (if
required) cannot be determined until final graduate enrollment.
.1
EI4S/ses
L
SIMON FRASER UNIVERSITY
I
DEI'AI(TMI:NT UI: MA1IIEMAlICS ?
- ?
IIURNAIIY 2, BRITISH COLUMBIA
/c/cpI,,,e 291-3111 Arc,, rode 601
March ii, 1970
Faculty of Science Undergraduate
Curriculum Committee
Simon Fraser University
Burnaby, B.C.
Dear Sirs:
The Mathematics Department proposes to offer the following
courses commencing in the 1970-71 academic year:
I.
Math
100-3
Survey of
College Mathematics
Math
150-3
Calculus for
Social Scinces
Math
180-3
History of
Mathematics,
Math
190-3
Principles
of Mathdmatics for Teachers
Math
405-4
Theory of
Computability
Present plans are to offer each course once in the year. The
faculty teaching hours required for these courses have been obtained by
reducing the frequency of offering of certain upper level courses in
which there is relatively low enrollment.
Three of the above courses (Math 100-3, Math 150-3, Math 190-3)
are entirely service courses. Math 100-3 is designed for students with
a weak mathematics background. It is intended both as a terminal course
for students who do not need more advanced mathematics, and to prepare
students who do need more mathematics for other mnthcnial:ics offerings.
Math 150-3 is intended to cover the topics in differential calculus
most used by social. scientists (particularly economists), and to do
SC)
in a manner more appropriate for them than that of the present calculus
courses. Math 190-3 is designed for students in the Professional
Development Program,particUlarlY those who have weak backgrounds in
mathematics but who will be expected to teach mathematics in elementary
schools.
The History of Mathematics course (Math 180-3) is expected to
provide students with a broad view of mathematics and its relationship to
scientific and technological development.
0
?
...2
-2-
4 -
.
??
Math 405-4 is a course covering aspects of logic related to
computing machines. It is expected to be valuable for pure mathematics
students interested in logic and for students interested in computer
science.
Yours sincerely,
D. Mallory, Chairman
Mathematics Department
Undergraduate Curriculum Committee
DM/
sh
S
'0
