To do knot theory formally, you have to introduce a lot of tools from algebraic topology (it's not easy!). That being said, we can say a fair bit about the subject without getting into the technical details. I will introduce the basic notions of knot theory, some problems in the field (which are easy to state and insanely difficult to solve), and introduce a few invariants used to tell knots apart.