Seminar: The Language of Proofs

0 reviews

• 3 Credit Hours

Something missing or incorrect? Let us know

Course Name: Seminar: The Language of Proofs
Current Code: CS-8001-OLP
Credit Hours: 3 credits
Available To: OMSCS
Description: The language of proofs is designed to fulfill prerequisites to succeed in the Graduate Algorithms class of the OMSCS program. Students wanting to get introductory training in the formalism of proof writing will find this seminar useful. The seminar will meet every week, alternating between sections to cover the theory and review sections where the class will discuss the worksheets shared in the previous section. Students are strongly encouraged to work the exercises that will be provided (this is the way to learn the material). The class will have one simple assignment every two weeks to check your attendance. Students taking these quizzes should expect a satisfactory grade in the seminar.
Syllabus: Syllabus not available.

Get started by writing a review.

Textbooks

No textbooks listed.