Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
PRZEDMOWATŁUMACZA
Przedstawiamypolskiemuczytelnikowitłumaczeniejednego
znajlepszychzbiorówzadańzlogikimatematycznejnapisanych
wostatnichparudziesięciulatach.Pierwszewydanieksiążkiukazało
siętrzydzieścilattemu.Obecnieksiążkamapięćwydańrosyjskich,
wydawnictwoKluwerprzygotowałoteżjejtłumaczenieangielskie
dokonaneprzezPaniąProfesorGiovannęCorsi.
Autorzytowybitnilogicyrosyjscy,znanizeswoichpracnacałym
świecie.
Większośćzadańzaopatrzonowrozwiązaniaorazwskazówki.Za-
daniabardzourozmaicone:uwzględniononajważniejszewyniki
osiągniętewewspółczesnejlogicematematycznejipodstawachma-
tematyki.
Książkamożebyćwykorzystywanawprowadzeniuzajęćz:logiki
matematycznej,wstępudomatematyki,teoriimnogości,funkcjire-
kurencyjnych,przedewszystkimnawydziałachmatematykiiinfor-
matyki,atakżenatychkierunkach(np.filozofia,językoznawstwo),
gdziewprogramiestudiówjestwstępdomatematyki,logikamate-
matyczna,zagadnieniazwiązanezobliczalnością.
Zachowano,znielicznymiwyjątkami,notacjęoryginału.
Bibliografięuzupełnionoopowszechniedostępnepozycjewję-
zykupolskim.
Wstępnewersjeniniejszegotłumaczeniabyłyprzekazanekilku-
nastuosobomwykładającymlogikęmatematyczną.Uprzejmiedzię-