Logika algorytmiczna