This project is designed to help computer science students to create a heavy relation with its journey about mathematics using haskell to understand the fundamentals of computer science and discrete mathematics.

The main target of this repository is use git to save all the solutions of book exercises explaining really easily the mathematics concepts envolved as well the Haskell too.

• Section I: Programming and Reasoning with Equations
  • Chapter 1: Introduction to Haskell
  • Chapter 2: Equational Reasoning
  • Chapter 3: Recursion
  • Chapter 4: Induction
  • Chapter 5: Trees
• Section II: Logic
  • Chapter 6: Propositional Logic
  • Chapter 7: Predicate Logic
• Section III: Set Theory
  • Chapter 8: Set Theory
  • Chapter 9: Inductively Defined Sets
  • Chapter 10: Relations
  • Chapter 11: Functions
• Section IV: Applications
  • Chapter 12: The AVL Tree Miracle
  • Chapter 13: Discrete Mathematics in Circuit Design

• Manoel Machado

MIT