Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów

Jeden z najlepszych zbiorów zadań z logiki matematycznej napisanych w ostatnich latach. Zawiera 900 ciekawych zadań ułożonych według wzrastającego stopnia trudności - większość z nich z odpowiedziami, rozwiązaniami i wskazówkami. Zadania te dotyczą 3 działów matematyki: logiki matematycznej, teorii mnogości i teorii algorytmów. W każdym rozdziale znajduje się krótkie wprowadzenie teoretyczne zawierające niezbędne informacje, definicje pojęć oraz najważniejsze twierdzenia potrzebne do rozwiązania zadań.

Opinie o książce:
[...] Zaletą omawianego zbioru zadań jest ujęcie problematyki z punktu widzenia potrzeb kształcenia na kierunku Informatyka. Poza oczywistą przydatnością w nauczaniu przedmiotów matematycznych [...] omawiany zbiór zadań znakomicie uzupełni literaturę do przedmiotów: Teoretyczne podstawy informatyki, Algorytmy i struktury danych, Programowanie deklaratywne, czy Sztuczna inteligencja. [...] Zadania są bardzo zróżnicowane pod względem trudności, co pozwala na ich elastyczne wykorzystanie. Przykładowe rozwiązania i wskazówki ułatwiają samodzielną pracę z podręcznikiem. Należy podkreślić wysoką jakość tłumaczenia, która zachowuje zarówno przejrzystość wykładu, jak i poprawność terminologiczną. [...] informację o podręczniku należy kierować [...] bezpośrednio do studentów [...] dla których najważniejszymi zaletami są zawarte w podręczniku rozwiązania większości zadań, krótkie i wyczerpujące wprowadzenie teoretyczne do każdego rozdziału i przystępna cena.
(prof. dr hab. inż. Joanna Józefowska, Politechnika Poznańska)

[...] duża ilość ciekawych zadań [...] odpowiedzi do znacznej ich części [...] ciekawe zadania z teorii algorytmów (do tej pory brakowało publikacji, która by takie zadania w takiej ilości zawierała) [...] struktura zbioru jest właściwa i dostosowana do kolejności w jakiej zazwyczaj przerabia się materiał...
(dr Krzysztof Bobolik, UMCS)

[...] omawiana pozycja wyróżnia się ilością proponowanych zadań i stopniem ich zróżnicowania: poszczególne rozdziały zawierają zarówno zadania bardzo łatwe, jak i trudniejsze [...] Większość zadań zaopatrzona jest w odpowiedzi lub wskazówki. [...] Tym, co wyróżnia omawiany zbiór zadań spośród podobnych pozycji, jest rozdział [...] zawierający zadania z teorii algorytmów, przy czym szczególny nacisk został położony na teorię rekurencji - jedną z najistotniejszych metodologii informatyki teoretycznej. Tak obfitego źródła zadań dotyczących rekurencji nie znalazłem w żadnym znanym mi do tej pory źródle. [...] omawiany zbiór zadań jest pozycją cenną, a obszerne jego fragmenty mogą zostać wykorzystane na zajęciach z matematyki dyskretnej (gdzie będę go polecał studentom), wstępu do algorytmów i wstępu do matematyki...
(dr Jacek Rogowski, Politechnika Łódzka)

• zadania
• teoria mnogości
• algorytmika
• logika