Syllabus

Table of contents

1. JHU Ethics Statement
2. On Collaboration

JHU Ethics Statement

The strength of the university depends on academic and personal integrity. In this course you must be honest and truthful. Ethical violations include cheating on exams, plagiarism, reuse of assignments, improper use of the Internet and electronic devices, unauthorized collaboration, alteration of graded assignments, forgery and falsification, lying, facilitating academic dishonesty, and unfair competition.

Report any violations you witness to the instructor. You may consult the associate dean of student conduct (or designee) by calling the Office of the Dean of Students at 410-516-8208 or via email at integrity@jhu.edu. For more information, see the Homewood Student Affairs site on academic ethics:
https://studentaffairs.jhu.edu/student-life/student-conduct/academic-ethics-undergraduates
or the e-catalog entry on the undergraduate academic ethics board:
http://e-catalog.jhu.edu/undergrad-students/student-life-policies/#UAEB

On Collaboration

Learning cooperatively is different from sharing answers.

You are encouraged to discuss and collaborate on the lessons with other students. Proofs are best enjoyed with others! Working with a study group and discussing your problem solving approach is a particularly effective way to learn.

Collaboration is not allowed on homework problem sets. You may discuss general ideas of how to approach a problem, but never specific details about the code to write. You must write up your solutions to the problems on your own and in your own words. Any help you receive from or provide to classmates should be limited and should never involve details of how to write a solution. Furthermore, if you receive help, you must acknowledge your collaborators by name on your written homework. Remember that if you cannot do the exercises, you will not do well on the exams.

Furthermore, you are encouraged to consult with each other and even collaborate on all non-homework all Lean exercises, and help each other debug. Any code that was jointly written must have a citation (idealy, at the beginnnig of your code, as a comment) which indicates who developed which part of the code. Any code excerpted from outside sources must have a citation to the source (in code comments).

Below are some of the concrete realizations of the above principles:

Encouraged

Discussing examples from the lessons. Each lesson is designed to prepare students for homework problems.

Talking to your TA or Math Help Room to improve your understanding of the problem.

Talking to your TA to learn how to solve bugs in your Lean code.

Forbidden

Copying from another student or any other source is prohibited.

Use of online solution banks is prohibited and will be considered a violation of the ethics code.

Looking at someone else’s homework problem solution in any form for any reason at any time, ever.

Giving or receiving a walkthrough or completed solution for homework problem from anyone else.

Posting solution code to any homework problems in a public place, even after the course is over.

If you are unsure if you are following the policy, ask. All homework can be resubmitted until the due date to demonstrate improved mastery.