Introduction to Lattice Theory with Computer Science Applications