This course introduces mathematical tools required in the study of computer science. Topics include: (1) Logic and proof techniques: propositions, conditionals, quantifications. (2) Relations and ...

This is the open source alternative to the notes used by Professor Bertille and Professor Joos for the course of Discrete Structures 1 at University of Heidelberg. I came up with the idea of making my ...

Course Description: A course designed to prepare math, computer science, and engineering majors for future coursework by introducing formal mathematical concepts and techniques that are fundamental ...

Discrete structures are omnipresent in mathematics, computer science, statistical physics, optimisation and models of natural phenomena. For instance, complex random graphs serve as a model for social ...

Abstract: This letter shows a controller design procedure for constrained discrete-time uncertain linear systems, where the control law and piece-wise functions implicitly defined by ramps give the ...

*Note: This course description is only applicable for the Computer Science Post-Baccalaureate program. Additionally, students must always refer to course syllabus for the most up to date information.