Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
4Activity
×

Table Of Contents

Logika zdań
1.1 Pojęcie logiki
1.2 Język logiki zdań
1.2.1 Pojęcie języka logiki zdań
1.2.2 Definicja zdania
1.2.3 Język formalny
1.2.4 Język a metajęzyk
1.2.5 Rekurencyjny charakter definicji zdania
1.2.6 Model i prawdziwość
1.3 Rachunek zdań
1.3.1 Tautologia
1.3.2 Wybrane tautologie klasycznej logiki zdań
1.3.3 Tablice semantyczne
1.3.4 Tautologia a zdanie logicznie prawdziwe
1.3.5 Spójniki prawdziwościowe
1.3.6 Funkcjonalna pełność
1.3.7 Postacie normalne
1.3.8 Elektroniczna interpretacja spójników
1.3.9 Dowód w rachunku zdań
1.3.10 Twierdzenie o dedukcji
1.3.11 Sprzeczne i niesprzeczne zbiory zdań
1.3.12 Wynikanie syntaktyczne a wynikanie semantyczne
1.3.13 Reguły, schematy i prawa logiki
1.3.14 Systemy logiki zdań
Logika predykatów
2.1 Język rachunku predykatów
2.1.1 Dziedzina
2.1.6 Formuła
2.1.7 Podstawialność
2.2 Rachunek predykatów
2.2.1 Dowód w rachunku predykatów
2.2.2 Twierdzenie o dedukcji
2.2.3 Postacie normalne
2.2.4 Tablice semantyczne
2.2.5 Dedukcja naturalna
2.2.6 Model i prawdziwość
2.2.7 Pełność rachunku predykatów
2.2.8 Problem rozstrzygalności
Algebra zbiorów
3.1 Zbiór i element zbioru
3.2 Równość zbiorów
3.3 Zawieranie się zbiorów
3.4 Operacje na zbiorach
3.4.1 Dopełnienie zbioru
3.4.2 Suma zbiorów
3.4.3 Przecięcie zbiorów
3.4.4 Różnica i różnica symetryczna zbiorów
3.4.5 Związki między działaniami teoriomnogościowymi
3.4.6 Uogólnione suma i przecięcie zbiorów
3.5 Aksjomaty algebry zbiorów
Relacje i funkcje
4.1 Iloczyn kartezjański zbiorów
4.2 Relacje
4.2.1 Pojęcie relacji
4.2.2 Relacje zwrotna i przeciwzwrotna
4.2.4 Relacja przechodnia
4.2.5 Relacja równoważności
4.3 Rachunek relacji
4.4 Funkcja
4.4.1 Pojęcie funkcji
4.4.2 Funkcja odwrotna
4.4.3 Superpozycja funkcji
4.4.4 Obrazy i przeciwobrazy
4.5 Uogólniony iloczyn kartezjański
4.6 Uporządkowanie zbiorów
4.6.1 Zbiory uporządkowane
4.6.2 Zbiory liniowo uporządkowane
4.6.3 Zbiory dobrze uporządkowane
5.1 Równoliczność zbiorów
5.2. ZBIORY PRZELICZALNE I NIEPRZELICZALNE 253
5.2 Zbiory przeliczalne i nieprzeliczalne
5.3. ARYTMETYKA LICZB KARDYNALNYCH 263
5.3 Arytmetyka liczb kardynalnych
5.4 Zbiory mocy continuum
5.5 Zbiór potęgowy
0 of .
Results for:
No results containing your search query
P. 1
Elementy logiki i teorii mnogości

Elementy logiki i teorii mnogości

Ratings: (0)|Views: 12,834|Likes:
Published by Marcin Garbowski

More info:

Published by: Marcin Garbowski on Nov 24, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

01/10/2013

pdf

text

original

You're Reading a Free Preview
Pages 6 to 93 are not shown in this preview.
You're Reading a Free Preview
Pages 99 to 139 are not shown in this preview.
You're Reading a Free Preview
Pages 145 to 181 are not shown in this preview.
You're Reading a Free Preview
Pages 187 to 212 are not shown in this preview.
You're Reading a Free Preview
Pages 218 to 297 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->