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

Discrete Mathematics is a subject that has gained prominence in recent times. Unlike regular Maths, where we deal with real numbers that vary continuously, Discrete Mathematics deals with logic that ...

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

1 Apply the basic principles of mathematical logic. 2 Construct and analyse mathematical proofs. 3 Apply the principles of set theory, functions and relations. 4 Apply the principles of abstract ...

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

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