This course is an introduction to the subject from a computational angle. The main focus will be on concrete construction of affine and projective varieties, constructive proofs of basic theorems, and theory behind the algorithms used to manipulate various algebro-geometric objects. Two computational gadgets will play a prominent role: Groebner bases (a symbolic exact technique) and polynomial homotopy continuation (a numerical approximate technique).