Repository for practical works developed during the subject Algorithms and Data Structures I. In this subject were treated topics like Problems specification in terms of pre and post conditions and contracts, functional programming in haskell, Abstract Data Types, Algebraic Data Types, Imperative programs correctness and termination proofs with invariant theorem.