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

Igor A. Ławrow, Łarysa L. Maksimowa

Получить доступ

Купить эту книгу

ISBN/ISSN:

83-01-14238-3

DOI:

Издательство:

Wydawnictwo Naukowe PWN

Год публикации:

2004

Количество страниц:

330

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Ławrow, Igor A.; Maksimowa, Łarysa L.. Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów. Red. . Warszawa: Wydawnictwo Naukowe PWN, 2004, 330 s. ISBN 83-01-14238-3

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Ławrow, I.A.

A1 Maksimowa, Ł.L.

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

PB Wydawnictwo Naukowe PWN

PP Warszawa

YR 2004

SN 83-01-14238-3

Bibliografia BibTex:

@Book{ 242, author = "Ławrow, Igor A. and Maksimowa, Łarysa L.", editor = "", title = "Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów", publisher = "Wydawnictwo Naukowe PWN", year = "2004", address = "Warszawa", isbn = "83-01-14238-3" }

Bibliografia endNote:

TY - BOOK

AU - Ławrow, Igor A.

AU - Maksimowa, Łarysa L.

ED -

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

PB - Wydawnictwo Naukowe PWN

CY - Warszawa

PY - 2004

SN - 83-01-14238-3

ER -

Библиографическое описание Интернет-ресурсов (standard APA):

Ławrow, Igor A.; Maksimowa, Łarysa L.. Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów [база данных онлайн] Warszawa: Wydawnictwo Naukowe PWN, 2004 [доступ: 17 05 2024]. Доступ в Ibuk Libra: https://libra.ibuk.pl/reader/zadania-z-teorii-mnogosci-logiki-matematycznej-i-teorii-algorytmow-igor-a-lawrow-larysa-l-242.

logika, zadania, teoria mnogości, algorytmika

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...

более

ISBN/ISSN:

83-01-14238-3

DOI:

Издательство:

Wydawnictwo Naukowe PWN

Год публикации:

2004

Количество страниц:

330

XML:ISBN/ISSN:

ONIX MARC21

Przedmowa tłumacza8
Przedmowa do wydania czwartego10
Przedmowa do wydania pierwszego11
1. TEORIA MNOGOŚCI14
1.1. Operacje na zbiorach14
1.2. Relacje i funkcje22
1.3. Szczególne relacje binarne32
1.4. Liczby kardynalne44
1.5. Liczby porządkowe49
1.6. Działania na liczbach kardynalnych61
2. LOGIKA MATEMATYCZNA67
2.1. Algebra zdań67
2.2. Funkcje algebry logiki77
2.3. Rachunki zdaniowe84
2.4. Język logiki predykatów98
2.5. Spełnianie formuł logiki predykatów108
2.6. Rachunki predykatów118
2.7. Teorie aksjomatyczne130
2.8. Produkty zredukowane142
2.9. Klasy aksjomatyzowalne152
3. TEORIA ALGORYTMÓW163
3.1. Funkcje częściowo rekurencyjne163
3.2. Maszyny Turinga177
3.3. Zbiory rekurencyjne i rekurencyjnie przeliczalne184
3.4. Numeracje Kleenego i Posta192
ODPOWIEDZI, ROZWIĄZANIA, WSKAZÓWKI201
1. Teoria mnogości201
2. Logika matematyczna241
3. Teoria algorytmów294
Spis literatury318
Skorowidz323