Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
PRZEDMOWA
DOWYDANIAPIERWSZEGO
Logikamatematycznaipokrewnejejnaukiprzyciągająobecnie
corazwiększąuwagę.Spowodowanetojestzarównointensywnym
rozwojemsamychtychnauk,jakiwielorakimiistotnymiichzasto-
sowaniamiwróżnychobszarachmatematykiitechniki.
Odpewnegoczasukurslogikimatematycznejjestobowiązko-
wynawydziałachmatematycznychuniwersytetóworazszkółpe-
dagogicznychwZwiązkuSocjalistycznychRepublikRadzieckich.
Zpoczątkuwiększośćstudentóworazwykładowcówbyłapraktycz-
niepozbawionadostępudopodręcznikówztejdziedziny.Obec-
nietrudnościtezostaływpewnymstopniuusunięte.Mamydo-
stępdoszereguksiążekipodręcznikówzlogikimatematycznej.
Jesttrochęksiążekautorówradzieckich,wprzeważającejczęścisą
tojednakprzekłady.Prowadzącyzajęcianapotykająznacznetrud-
ności.Rzeczniewtym,żebrakujezadań.Mnóstwozadańzlo-
gikimatematycznejjestrozproszonewróżnychksiążkach.Dopie-
roostatniopojawiłasięksiążkaS.G.GindikinaAlgebralogiki
wzadaniach,wktórejzebranoznacznymateriałdotyczącyalgebry
logiki.
Wniniejszejpracyprzedstawiamypróbęsystematycznegowy-
kładupodstawteoriimnogości,logikimatematycznejorazteoriial-
gorytmówwpostacizestawówzadań.Odstudentówniewymagasię
żadnegospecjalistycznegoprzygotowania—książkamożebyćwyko-
rzystywanawnauczaniulogikimatematycznejbezodwoływaniasię
