Читать книгу Wprowadzenie do teorii obliczeń - Michael Sipser - Страница 14

Książka ta skupia się na trzech obszarach tradycyjnie związanych z teorią obliczeń: automatach, obliczalności i złożoności. Obszary te łączy pytanie:

Jakie są fundamentalne możliwości i ograniczenia komputerów?

Pytanie to sięga do lat 30. XX wieku, gdy logicy matematyczni po raz pierwszy zaczęli rozważać naturę obliczeń. Postępy techniczne od tego czasu znacznie powiększyły nasze zdolności obliczania i spowodowały, że pytanie to przestało być domeną teorii, a stało się częścią świata zastosowań praktycznych.

W każdym z tych trzech obszarów – automatów, obliczalności i złożoności – pytanie to jest odmiennie interpretowane i odpowiedzi zmieniają się zgodnie z tą interpretacją. Po tym wprowadzającym rozdziale będziemy badać każdy z tych obszarów w oddzielnych częściach książki. W tym miejscu przedstawimy te części w odwrotnej kolejności, gdyż dzięki rozpoczęciu od końca Czytelnik będzie mógł lepiej zrozumieć uwarunkowania stojące na początku.