X

  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
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów
- 20%

SZCZEGÓŁY WYDANIA

Spis treści

Liczba stron

328

Kategoria

Logika matematyczna

ISBN-13

978-83-0114-238-4

Numer wydania

1

0.0 / 5 (0 głosów)

Jeżeli chcesz wypożyczyć/kupić więcej książek
lub skorzystaj z szybkiej ścieżki zakupu

Wypożyczenie

Wykup nieograniczony dostęp online do książki na: dobę, tydzień, miesiąc lub semestr.


od 4,92

Wypożycz teraz

Opis

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)


Abonament_Sprawdz2
Add 1

Oceny użytkowników

Średnia ocena: ( 0 )
0
0
0
0
0
Oceń:  
Opinie użytkowników
Bądź pierwszy!