Książka składa się z sześciu rozdziałów. Pierwsze dwa zawierają podstawowy wykład logiki matematycznej i torii mnogości. Wprowadzone zostają w nich takie pojęcia, jak funktor zdaniotwórczy, zdanie, funkcja zdaniowa, ogólny i szczegółowy kwantyfikator, tautologia rachunku zdań i kwantyfikatorów. Na zakończenie podana jest aksjomatyka rachunku predykatów z regułami wnioskowania. Rozdział poświęcony teorii mnogości rozpoczyna się od podania aksjomatyki tej teorii, a następnie, po określeniu działań, omówiona jest algebra zbiorów. Ostatni paragraf tego rozdziału poświęcony jest pojęciu pary i iloczynu kartezjańskiego. W rozdziale trzecim wprowadzone jest pojęcie relacji dwuczłonowej, podane są pewne działania (złożenie i branie relacji odwrotnej), jak również pewne własności relacji (zwrotność, symetryczność, przechodniość itp.). Rozdział czwarty poświęcony jest relacjom równoważności i zawiera omówienie roli tych relacji w definiowaniu nowych pojęć, następny zaś dotyczy relacji porządku (a raczej liniowego porządku). Książkę kończy rozdział o relacjach wieloczłonowych.
Szczegóły książki:
- Data wydania
- 1974 (data przybliżona)
- Liczba stron
- 207
- Słowa kluczowe
- Matematyka, logika matematyczna, logika formalna, teoria mnogości, relacja, o teorii relacji
- Język
- Polski
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.