- [What is discrete mathematics](https://github.com/osemrt/CS-Notes/blob/master/discrete_mathematics/textbook/00_logic_and_proofs.md#what-is-discrete-mathematics ...

Abstract: Logic is a very important part of discrete mathematics, which is fundamental to computer science. It now has wide applications in many areas and plays more and more important role in ...

A formula is said to be in disjunctive normal form if it is written as a disjunction, in which all the terms are conjunctions of literals. The trick lies in that in some cases, clauses can be seen as ...

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 ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

This course is compulsory on the BSc in Data Science. This course is available on the BSc in Actuarial Science, BSc in Data Science and BSc in Mathematics, Statistics and Business. This course is ...

*food and travel to and from the summer school are all included. Experience life as a UCL student by taking part in general university sessions where you will learn about student finance and its ...