Logic And Algorithms Math