Teoria obliczeń i złożoności obliczeniowej - projekt