CSE 505 Computing with Logic
Spring 2026
Spring 2026
Instructor
Yoon Seok Yang (yoonseok.yang@sunykorea.ac.kr, C513, +82-32-626-1221)
Course
Lectures
MoWe 10:30AM - 11:50AM
Office Hours
MoWo 5:00pm-6:00pm, or by appointment (C513)
Class Information
Course Schedule including examples from lectures, problem sets, etc.
Course Overview
This course provides a rigorous study of logic as the foundation of computation and connects formal logical reasoning to practical digital system design and modern AI hardware. Students will explore propositional and predicate logic, Boolean algebra, satisfiability, and decision procedures, and then apply these concepts to the design and verification of digital circuits and systems. The course further extends logic-based computation toward contemporary hardware architectures, including programmable logic (FPGA) and emerging AI/system hardware paradigms. Through hands-on assignments, paper presentations, and a final FPGA-based design project, students will gain both theoretical insight and practical experience bridging logic, digital design, and hardware-aware AI systems.
Prerequisites
Limited to CSE graduate students
Strong background in computer science or computer engineering
Familiarity with discrete mathematics
Basic knowledge of digital logic and hardware description languages (recommended but not strictly required)
TA
None
Textbook and References
No course textbook
Some assigned readings (i.e., papers, articles, and exercises) will be introduced during the class.
References:
Digital Logic And Computer Design By M. Morris Mano
https://textbookequity.org/Textbooks/TBQ_Feher_DigitalLogicbw.pdf
S. Brown and Z. Vranesic, Fundamentals of Digital Logic with Verilog Design, McGraw-Hill
Course Website
https://sites.google.com/sunykorea.ac.kr/cse505-s26/home
Grading
Your final grade will be based on the following formula (this is tentative):
Assignments and In-class Activities: 10%. There will be an individual assignment involving a presentation to the class, as well as reading responses and in-class activities throughout the semester.
Project, Presentation, and Poster: 90%. This grade will be composed of multiple components due throughout the course as well as a completed release at the end. Students will also be graded on presentations at different milestones, including a final presentation and a poster session at the end (presentation: 30%, project report including your source code 30%, poster 30%).
You can have three unexcused absences in the semester without any penalty, assuming there was no deliverable that day. Additional absences may result in a penalty to your grade. If you have unexcused absences for more than 20% of the classes you will receive a failing grade for the course. Missing part of the class may also count as an unexcused absence.
Incomplete grades will not be given except in extreme circumstances (e.g., extended illness or family tragedy). If you have an emergency, please speak with Professor Yang as soon as possible.
Course Learning Outcomes
Apply Boolean algebra and logic minimization to digital circuit design
Translate logical specifications into synthesizable hardware designs
Implement and test logic-based systems on FPGA platforms
Analyze how logic-based computation underpins modern AI and system hardware
Academic Integrity
In pursuing their academic goals, all students should be honest and be responsible for all submitted work. Representing others’ work as yours is wrong and faculty is required to report any suspected instance of academic dishonesty to the school. Regarding homework, you can discuss it with others, but you should write own code. For more details, please refer to http://www.stonybrook.edu/commcms/ academic_integrity/index.html
Students With Disabilities
If you have a physical, psychological, medical or learning disability that may impact your course work, please let the instructor know. Reasonable accommodation will be provided if necessary and appropriate. All information and documentation are confidential.
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.