-
Notifications
You must be signed in to change notification settings - Fork 119
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add section for Kevin Sullivan UVa ugrad course in discrete math #412
base: lean4
Are you sure you want to change the base?
Conversation
# Entries in this file should have the following fields: | ||
# | ||
# `name`: the title of the course | ||
# `instructor`: the name of the person or people who taught the course | ||
# `institution`: the name of the institution at which the course was taught | ||
# `year`: the most recent year the course was taught | ||
# `lean_version`: 3 or 4, the Lean version of the most recent iteration of the course | ||
# `summary`: a description of what was covered and done in the course | ||
# `tags`: a list of tags (see below) | ||
# `website` (optional): the course's home page | ||
# `material` (optional): a link to a textbook, course notes, etc | ||
# `repo` (optional): a link to the course's project repository, e.g. on GitHub | ||
# `experiences` (optional): a reflection about how the course went, things that could be done differently, etc | ||
# `language` (optional): if the instruction language was not English, what language was it? | ||
# | ||
# Please use tags that are shown on the website. In particular, each entry should have | ||
# a general subject (`mathematics`, `logic`, `computer science`). | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
# Entries in this file should have the following fields: | |
# | |
# `name`: the title of the course | |
# `instructor`: the name of the person or people who taught the course | |
# `institution`: the name of the institution at which the course was taught | |
# `year`: the most recent year the course was taught | |
# `lean_version`: 3 or 4, the Lean version of the most recent iteration of the course | |
# `summary`: a description of what was covered and done in the course | |
# `tags`: a list of tags (see below) | |
# `website` (optional): the course's home page | |
# `material` (optional): a link to a textbook, course notes, etc | |
# `repo` (optional): a link to the course's project repository, e.g. on GitHub | |
# `experiences` (optional): a reflection about how the course went, things that could be done differently, etc | |
# `language` (optional): if the instruction language was not English, what language was it? | |
# | |
# Please use tags that are shown on the website. In particular, each entry should have | |
# a general subject (`mathematics`, `logic`, `computer science`). |
This is duplicated from above.
@@ -56,6 +74,45 @@ | |||
summary: > | |||
The goal of the course is to teach the basics of Lean to first year undergraduate students in a double major program in mathematics and computer science. | |||
year: 2023 | |||
- name: Discrete Mathematics for Computer Science and Engineering | |||
instructor: Kevin Sullivan | |||
contact: [email protected] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
contact: [email protected] |
not a field that is used
- name: Discrete Mathematics for Computer Science and Engineering | ||
instructor: Kevin Sullivan | ||
contact: [email protected] | ||
institution: University of Virginia, Dept. of Computer Science |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
institution: University of Virginia, Dept. of Computer Science | |
institution: University of Virginia |
contact: [email protected] | ||
institution: University of Virginia, Dept. of Computer Science | ||
website: https://computingfoundations.org | ||
environment: Coursework is supported by a VS-Code+Docker remote container. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
environment: Coursework is supported by a VS-Code+Docker remote container. |
website: https://computingfoundations.org | ||
environment: Coursework is supported by a VS-Code+Docker remote container. | ||
lean_version: 4 | ||
tags: ['mathematics','computer science', 'programming-first', 'discrete'] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
tags: ['mathematics','computer science', 'programming-first', 'discrete'] | |
tags: ['mathematics','computer science', 'intro to proof'] |
Perhaps "functional programming" too? Trying to reuse existing tags rather than introducing new ones.
appears to have worked very well, both in learning outcomes and student satisfaction. | ||
We have not yet conducted IRB-approved studies of these parameters. The course will | ||
be offered again in the Fall of 2024. | ||
year: 2023, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
year: 2023, | |
year: 2023 |
@kevinsullivan it would be nice to follow up on this so that your course can be added to the webpage. |
Thank you everyone, and I'm sorry for unresponsiveness on this thread. I will be updated the materials and reposting them for my fall class shortly. Very best, --Kevin |
Thanks for considering the addition of this material to your list, and for the help knowing how to submit this PR.