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

SZCZEGÓŁY WYDANIA

Spis treści

Liczba stron

328

Kategoria

Logika matematyczna

ISBN-13

978-83-0114-238-4

Numer wydania

1

Dodaj do schowka

ibuk   ?
X Nowoczesny format książki elektronicznej, umożliwiający jej wygodne czytanie bez instalowania dodatkowego oprogramowania. Kopia książki jest zawsze dostępna na Twojej półce w koncie myIBUK, bez względu na to czy chcesz skorzytać z niej na tablecie, komputerze czy smartfonie. Format ten umożliwia także czytanie książki bez dostępu do internetu, wygodny wydruk a przede wszystkim możliwość dodawania notatek, zaznaczania fragmentów i cytatów.
WYPOŻYCZ OD 4,92 zł
Dodaj do konta PLUS

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)


Add 2
Add 1

Oceny użytkowników

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


Dodaj do myIBUK Plus
Zapłać za książki
Usuń z paczki zaznaczone
Zaznacz wszystkie