POLECAMY
Wydawca:
Format:
ibuk
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)
Rok wydania | 2004 |
---|---|
Liczba stron | 328 |
Kategoria | Logika matematyczna |
Wydawca | Wydawnictwo Naukowe PWN |
ISBN-13 | 978-83-0114-238-4 |
Numer wydania | 1 |
Język publikacji | polski |
Informacja o sprzedawcy | ePWN sp. z o.o. |
POLECAMY
Ciekawe propozycje
Zadania dla przyszłych olimpijczyków...
do koszyka
Zadania domowe
do koszyka
Zadania egzaminacyjne z mechaniki...
do koszyka
Zadania egzaminacyjne z mechaniki...
do koszyka
ZADANIA I ŚRODKI DZIAŁANIA RZĄDOWYCH...
do koszyka
Zadania nadzorcze Państwowej Komisji...
do koszyka
Spis treści
Przedmowa tłumacza VII | |
Przedmowa do wydania czwartego IX | |
Przedmowa do wydania pierwszego X | |
1. TEORIA MNOGOŚCI | 1 |
1.1. Operacje na zbiorach | 1 |
1.2. Relacje i funkcje | 9 |
1.3. Szczególne relacje binarne | 19 |
1.4. Liczby kardynalne | 31 |
1.5. Liczby porządkowe | 36 |
1.6. Działania na liczbach kardynalnych | 48 |
2. LOGIKA MATEMATYCZNA | 54 |
2.1. Algebra zdań | 54 |
2.2. Funkcje algebry logiki | 64 |
2.3. Rachunki zdaniowe | 71 |
2.4. Język logiki predykatów | 85 |
2.5. Spełnianie formuł logiki predykatów | 95 |
2.6. Rachunki predykatów | 105 |
2.7. Teorie aksjomatyczne | 117 |
2.8. Produkty zredukowane | 129 |
2.9. Klasy aksjomatyzowalne | 139 |
3. TEORIA ALGORYTMÓW | 150 |
3.1. Funkcje częściowo rekurencyjne | 150 |
3.2. Maszyny Turinga | 164 |
3.3. Zbiory rekurencyjne i rekurencyjnie przeliczalne | 171 |
3.4. Numeracje Kleenego i Posta | 179 |
ODPOWIEDZI, ROZWIĄZANIA, WSKAZÓWKI | 188 |
1. Teoria mnogości | 188 |
2. Logika matematyczna | 228 |
3. Teoria algorytmów | 281 |
Spis literatury | 305 |
Skorowidz | 310 |