Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
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: 13,125|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)//-->