Skip to content

Latest commit

 

History

History
174 lines (100 loc) · 6.97 KB

README.md

File metadata and controls

174 lines (100 loc) · 6.97 KB
Raw

CSE215: Foundations of Computer Science (State University of New York, Korea, 2024 Fall)

Course overview

This course is presented by the Computer Science Department at SUNY Korea. It is about discrete mathematics, a fundamental branch essential for a deep understanding of computer science. Topics covered include propositional and predicate logic, number theory, proof techniques, sequences, recursion, functions, relations, and sets.

The course materials, available in this public repository, will be added to over the course of the semester. We'll be adapting materials previously used at SUNY Korea and Stony Brook University for our curriculum.

Course objectives

By the end of the course, students are expected to have:

  • The skill to create truth tables for diverse applications, such as verifying the validity of an argument or determining the equivalence of two propositions.
  • The preliminary capability to reason with precision and prove certain theorems.
  • A basic understanding of mathematical concepts like sequences, functions, and relations.

Prerequisites

AMS 151 or MAT 125 or MAT 131

Textbook

Discrete Mathematics: Introduction to Mathematical Reasoning. Susanna S. Epp. 1st Edition

Course overall schedule

  • Lectures: Mondays and Wednesdays, 10:30 AM - 11:50 AM, Room C107

  • Recitation: Monday, 12:30 PM - 1:25 PM, Room C107

  • Homework: Announced every Wednesday, with submissions due by the following Wednesday at 11:59 PM KST.

  • Office Hours: Mondays, 4:30 PM - 5:30 PM, and Wednesdays, 12:30 PM - 1:25 PM, Room B424.

  • TA office hours:

  • Name of TA: Farouk
    Office Hours: Tuesdays, 9:00 PM - 12:00 AM, and Wednesdays, 10:00 PM - 12:00 AM

  • Name of TA: Jinsol
    Office Hours: Tuesdays, 2:00 PM - 5:00 PM, and Wednesdays, 3:00 PM - 5:00 PM

  • Name of TA: Yoora
    Office Hours: Tuesdays, 3:30 PM - 5:00 PM, and Wednesdays, 1:30 PM - 3:00 PM

Instructor

Zhoulai Fu
Email: <zhoulai dot fu at sunykorea dot ac dot kr>

Teaching Assistants (TAs)

  1. Jinsol Jung
    Email: <jinsol dot jung at stonybrook dot edu>

  2. Farouk Sadqi
    Email: <farouk dot sadqi at stonybrook dot edu>

  3. Yoora Kim
    Email: <yoora dot kim at stonybrook dot edu>

Zoom in case:

https://stonybrook.zoom.us/j/93553126576?pwd=aDBQN1M2V3BUanpHRUtYd0VZbm5YQT09

Numerical Grades

  • Homeworks: 20%
  • Midterm1: 25%
  • Midterm2: 25%
  • Final: 25%
  • Attendance: 5%
  • Bonus: Students who consistently participate or provide constructive feedback will receive a bonus of 0.5 or 1.

Letter Grades

Absolute grading will be applied:

  • A: [93, 100]
  • A-: [90, 93)
  • B+: [87, 90)
  • B: [83, 87)
  • B-: [80, 83)
  • C+: [77, 80)
  • C: [73, 77)
  • C-: [70, 73)
  • D+: [67, 70)
  • D: [63, 67)
  • F: [0, 63)

Definition of Force Majeure in Our Policies

Force majeure in our policies includes, but is not limited to,

  • documented illness or family emergencies.

Note: A documented hospital visit alone is not sufficient to justify force majeure. The doctor's note must clearly state the reason for the absence and the recommended period of absence.

Attendance Policy

  • Attendance will be checked irregularly.
  • Arriving late will count as half attendance. "Late" is defined as arriving after the attendance check has been completed. After the attendance check, the TA/Instructor will mark any absences.
  • Excuses are granted only in cases of force majeure. See the definition above for "force majeure."
  • In the event of discrepancies between the signed attendance sheet and actual physical presence, names will be called. Students involved may be addressed privately.
  • In accordance with Korean law, more than 20% absence will result in an automatic F grade.

Grading Policy

  • Grading will be conducted by both the TAs and the Instructor.
  • Factual errors in grades will be corrected.
  • Non-factual grade disputes will not be considered.
  • Plagiarism, including the use of AI-generated solutions for homework, will result in a grade of 0 and will be reported. Students involved may be addressed privately.
  • Typewritten submissions are recommended; illegible handwriting may result in a grade of 0.

Late Homework Policy

  • Late homework will not be accepted.
  • Homeworks submitted after the deadline are only permissible in cases of force majeure. See above for the definition of "force majeure."
  • Once homework solutions have been released, no submissions will be accepted under any circumstances.

Email Policy

  • Please include [CSE215] in the subject line for all course-related email communication with the instructor.
  • Use the instructor's SUNY Korea email address (see above) whenever possible.
  • You can expect a reply within 72 hours. If you do not receive a response within this timeframe, kindly send a reminder.
  • Emails without [CSE215] in the subject line may be missed.

ChatGPT Policy

We adhere to policies similar to those outlined in Stanford's Generative AI Policy Guidance.

  • In general, the use of or consultation with generative AI is treated similarly to receiving assistance from another person.
  • Using generative AI tools like ChatGPT to substantially complete homework assignments is not permitted.
  • Students should acknowledge any use of generative AI tools (beyond incidental use) and should default to disclosing such assistance when in doubt.

Office Hours Policy

  • The instructor and TAs will be available during scheduled office hours.
  • Availability outside of office hours is not guaranteed, and the instructor and TAs may respectfully decline appointment requests beyond these times.

Disability Support Services (DSS) Statement

If you have a physical, psychological, medical or learning disability that may impact your course work, please contact One-Stop Service Center, Academic Building A201, (82) 32-626-1117. They will determine with you what accommodations, if any, are necessary and appropriate. All information and documentation is confidential.

Students who require assistance during emergency evacuation are encouraged to discuss their needs with instructors and the One-Stop Service Center.

Academic integrity

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Faculty members are required to report any suspected instances of academic dishonesty to the Academic Judiciary Committee or the Department of Academic Affairs, Campus Building A, Room 201, (032) 626-1121.

Critical incident management

SUNY Korea expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Department of Academic Affairs any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn.