Linki:
Łączność (matematyka),
Łańcuch,
Aksjomat,
Aksjomat wyboru,
Aksjomaty Zermelo-Fraenkela,
Alfred North Whitehead,
Algebra,
Alternatywa,
Amerykańskie Towarzystwo Matematyczne,
Andrzej Mostowski,
Binegacja,
Charles Peirce,
Ciało zbiorów,
Częściowy porządek,
Dana Scott,
Diagram Hassego,
Dobry porządek,
Dopełnienie zbioru,
Dysjunkcja (logika),
Działanie dwuargumentowe,
Elektronika cyfrowa,
Ernst Schröder,
Filozofia,
Filtr (matematyka),
Forsing,
Funkcja,
Funkcja boolowska,
Funkcja kardynalna,
Funkcja na,
Funkcja wzajemnie jednoznaczna,
George Boole,
Helena Rasiowa,
Homomorfizm,
Ideał (teoria mnogości),
Informatyka,
Inwolucja (matematyka),
Izomorfizm,
Kazimierz Kuratowski,
Klasa abstrakcji,
Koniunkcja (matematyka),
Krata (porządek),
Krata zupełna,
Kres dolny i górny,
Liczby kardynalne,
Liczby rzeczywiste,
Logika matematyczna,
Matematyka,
Moc zbioru,
Monadyczna algebra Boole'a,
Monografia,
Negacja,
Paul Cohen,
Pierścień Boole'a,
Pierścień przemienny,
Podzbiór,
Porządek częściowy,
Porządek zupełny,
Prawa De Morgana,
Prawo podwójnej negacji,
Przemienność,
Przestrzeń Stone'a,
Różnica symetryczna,
Rachunek predykatów pierwszego rzędu,
Rachunek zdań,
Relacja (matematyka),
Relacja równoważności,
Rodzina zbiorów,
Roman Sikorski,
Rozdzielność,
Sigma-ciało,
Struktura algebraiczna,
Tautologia (logika),
Teoria mnogości,
Thomas Jech,
Topologia,
Twierdzenie Balcara-Franka,
Twierdzenie Stone'a o reprezentacji algebr Boole'a,
Ultrafiltr,
Wartość logiczna,
Wielka Brytania,
Zbiór,
Zbiór borelowski,
Zbiór miary zero,
Zbiór otwarto-domknięty,
Zbiór pierwszej kategorii,
Zbiór potęgowy,
Zbiór przeliczalny,
Zbiór skończony,
Zdanie logiczne,
Funkcja kardynalna –
funkcja której wartościami są
liczby kardynalne. Zwykle tej nazwy używa się gdy, dodatkowo, wartości funkcji są nieskończonymi liczbami kardynalnymi. Często funkcje te są
klasami.
Funkcja addytywna –
funkcja która jest
homomorfizmem struktury addytywnej rozważanych obiektów (
pierścieni,
ciał czy też
przestrzeni liniowych). W
teorii liczb jednak rozważa się całkowicie inną własność funkcji określaną tym samym terminem.
Inwolucja – w
matematyce funkcja, która ma
funkcję odwrotną równą jej samej. Równoważnie jest to taka funkcja, która
złożona sama ze sobą jest
tożsamością.
Topologia mnogościowa – dział
matematyki łączący
teorię mnogości i
topologię ogólną, który koncentruje się na pytaniach topologicznych
niezależnych od
ZFC.
Funkcja przedziałami liniowa –
funkcja zmiennej
rzeczywistej, której
dziedzina daje się rozbić na sumę rozłącznych
przedziałów w ten sposób, że w każdym z nich funkcja jest
liniowa.
Homomorfizm –
funkcja odwzorowująca jedną
algebrę ogólną (czyli strukturę algebraiczną taką jak
grupa,
pierścień czy
przestrzeń wektorowa) w drugą, zachowująca przy tym odpowiadające sobie operacje. Jest to podstawowe narzędzie w badaniu i porównywaniu algebr.
Funkcja tożsamościowa a. identycznościowa – w
matematyce funkcja danego
zbioru w siebie, która każdemu argumentowi przypisuje jego samego; intuicyjnie funkcja, która „nic nie robi”.
Przekształcenie, odwzorowanie geometryczne – w szerszym znaczeniu
funkcja przekształcająca
zbiór punktów, nazywany figurą geometryczną, w pewien inny zbiór punktów w przestrzeni geometrycznej. W węższym znaczeniu jest to
funkcja wzajemnie jednoznaczna przeprowadzająca przestrzeń geometryczną na siebie; ta druga definicja jest stosowana przy określaniu przekształceń geometrycznych tworzących
grupy przekształceń.
Homomorfizm –
funkcja odwzorowująca jedną
algebrę ogólną (czyli strukturę algebraiczną taką jak
grupa,
pierścień czy
przestrzeń wektorowa) w drugą, zachowująca przy tym odpowiadające sobie operacje. Jest to podstawowe narzędzie w badaniu i porównywaniu algebr.
Funkcja tożsamościowa a. identycznościowa – w
matematyce funkcja danego
zbioru w siebie, która każdemu argumentowi przypisuje jego samego; intuicyjnie funkcja, która „nic nie robi”.
Funkcja zespolona zmiennej zespolonej -
funkcja, której
dziedziną jest
podzbiór zbioru liczb zespolonych i która przyjmuje
wartości w zbiorze liczb zespolonych.
Funkcja skrótu, funkcja mieszająca lub funkcja haszująca -
funkcja, która przyporządkowuje dowolnie dużej
liczbie (wiadomości) krótką, zwykle posiadającą stały rozmiar wartość (skrót wiadomości).
Izomorfizm (
gr. isos – równy, morphe – kształt) struktur -
funkcja wzajemnie jednoznaczna z
uniwersum struktury A w uniwersum struktury B, która zachowuje
funkcje,
relacje i wyróżnione elementy.
Działanie dwuargumentowe (binarne) to w
matematyce funkcja, która każdej
parze uporządkowanej dwóch elementów danego
zbioru X przypisuje określony element pewnego zbioru Y.
Odwzorowanie równokątne, wiernokątne lub konforemne – w
matematyce funkcja zachowująca kąty. Zwykle jest to funkcja między obszarami
płaszczyzny zespolonej.