Teoria obliczeń - Antonii Kościelski - książka wyd. 1997

Opis

Książka obejmuje treść wykładów z teorii obliczeń, które były prowadzone w Instytucie Informatyki Uniwersytetu Wrocławskiego. Składa się z trzech części. W pierwszej jest wyjaśnione, jakie problemy są obliczalne, a więc mogą być rozwiązywane (obliczane) na przykład za pomocą komputera. Druga część zawiera przykłady zadań, które nie są obliczalne. Są wśród nich zarówno przykłady zadań ważnych dla informatyków, jak i mających historyczne znaczenie nierozwiązalnych problemów z logiki i podstaw matematyki. Ostatnia część książki jest poświęcona złożoności obliczeniowej.