Zenon Moszner - O teorii relacji

[Crazydragon]

Zenon Moszner - O teorii relacji

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.  

Kod:

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