Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
PRZEDMOWADOWYDANIAPIERWSZEGO
XI
doinnychpodręczników.Przytaczamyniemniejkrótkispisliteratury
przedmiotudostępnejwjęzykurosyjskim.
Każdypodrozdziałwyposażonowkrótkiwstępzawierającyde-
finicjewszystkichpodstawowychpojęćwykorzystywanychwzada-
niachtegopodrozdziału.Pojęciaidefinicjewprowadzanewcześniej
sączęstoużywanebezodsyłaczy;wtakichprzypadkachczytelnik
możeskorzystaćzwykazuterminówioznaczeń.
Najważniejszetwierdzeniasąpodanewformiezadań.Abyuczy-
nićdowodymożliwienajprostszymi,pomocniczelematytakżesfor-
mułowanezostaływpostacizadań.
Większośćzadańzaopatrzonowodpowiedziiwskazówki.Cza-
semprzytaczamyszczegółowerozwiązaniaprostychzadań,abyzilu-
strowaćpierwszyrazstosowanąmetodęrozumowania.Wdalszych
zadaniachograniczamysiędokrótkichwskazówek.Numerytrudniej-
szychzadańopatrzonogwiazdką.
Większośćzadańkażdegorozdziałumożnarozwiązaćbezodwo-
ływaniasiędopozostałychczęściksiążki.Tam,gdziejesttoniezbęd-
ne,podajemystosowneodsyłaczewsamymzadaniulubwewska-
zówkachdotegozadania.
Jestoczywiste,żewksiążcenieodnosimysiędowieludzia-
łówwspółczesnejlogikimatematycznej.Niektóretematyzostałytyl-
kowspomniane,podanodlanichjedyniepodstawowepojęciaire-
zultaty.Taknaprzykładaksjomatycznateoriamnogości(podroz-
dział2.7)zajmujeniewielemiejsca,choćwistociewszystkieza-
daniazrozdziału1mogąbyćrozwiązywanewramachteoriiZF.
Wrozdziale3zróżnychprecyzacjipojęciaalgorytmuwybranodo
przedstawieniajedyniefunkcjerekurencyjneorazmaszynyTuringa.
Naszymcelembyłoprzedewszystkimsystematyczneprzedsta-
wieniezadańjużistniejących.Ztegopowodupodajemygłównie
standardowezestawyzadańistosunkowoniewielezadańprzygoto-
wanychprzezautorów.Gdyuznaliśmyjakieśzadaniezainteresujące,
wówczaswłączaliśmyjedonaszegozbiorubezodsyłaczydoźródeł.
Wksiążcewykorzystywanesąnastępujące—ogólnieprzyjęte—
oznaczenia:
