and as
PDF 
.
COMP SCI 3EA3 - Fall 2011
ITB-245, kahl at mcmaster dot ca
Office hour: After lectures and by appointment.
and as
PDF .
The tutorial will concentrate on the technicalities of using fuzz to type-check Z developments. For fuzz installation and links, see the Fuzz Hints
The tutorial will concentrate on the technicalities of getting proofs accepted by CalcCheck.
(updated November 8; added sequence rule on December 14)
,
,
,
— Assignment Questions due Monday, 3rd October, before class
,
,
,
— Assignment Question due Monday, 24rd October, before class
,
— Assignment Questions due Monday, 31st October, before class
,
— Assignment Question due Friday, 4th November, at 1
p.m. into the dropbox besides ITB-101
,
(corrected to use “!” as output decoration in 9.2 on Nov. 14 at 14:45)
— Date.tex
— Assignment Question due Monday, 21st November, via Avenue
,
— Assignment Question due Monday, 28th November, via Avenue
The tutorial sessions will begin on September 14.
The book's Google books page includes some “preview pages”.
)
Some distributions:
You are expected to exhibit honesty and use ethical behaviour in all aspects of the learning process. Academic credentials you earn are rooted in principles of honesty and academic integrity.
Academic dishonesty is to knowingly act or fail to act in a way that results or could result in unearned academic credit or advantage. This behaviour can result in serious consequences, e.g. the grade of zero on an assignment, loss of credit with a notation on the transcript (notation reads: “Grade of F assigned for academic dishonesty”), and/or suspension or expulsion from the university.
It is your responsibility to understand what constitutes academic dishonesty. For information on the various kinds of academic dishonesty please refer to the Academic Integrity Policy, specifically Appendix 3, located at http://www.mcmaster.ca/academicintegrity
The following illustrates only three forms of academic dishonesty:
“The Faculty of Engineering is concerned with ensuring an environment that is free of all adverse discrimination. If there is a problem that cannot be resolved by discussion among the persons concerned, individuals are reminded that they should contact the Department Chair, the Sexual Harassment Office or the Human Rights Consultant, as soon as possible.”
The instructor and university reserve the right to modify elements of the course during the term. The university may change the dates and deadlines for any or all courses in extreme circumstances. If either type of modification becomes necessary, reasonable notice and communication with the students will be given with explanation and the opportunity to comment on changes. It is the responsibility of the student to check their McMaster email and course websites weekly during the term and to note any changes.
(
-Viewer)
(
-Viewer)