140533
Książka
W koszyku
Książka ta jest podręcznikiem logik matematycznej, przeznaczonym dla studentów starszych lat matematyki lub wydziałów pokrewnych. Autorzy zakładają znajomość takich pojęć jak spójniki (funktory) logiczne oraz kwantyfikatory. Każdego rozdział kończy się zadaniami, do których rozwiązania autorzy zachęcają. Cześć I (rozdziały 1-17) zawiera kurs podstawowy. Część (rozdziały 18-24) zawierają materiał rozszerzony, a tym samym trudniejszy. Naturalnie dokonany został pewien wybór materiału oraz sposób jego przedstawienia. Pojęcia logiczne i ich relacje są rozważane na gruncie teorii mnogości, wobec tego książka posługuje się standardowym aparatem teorii mnogości, nie wykraczającym poza typowy wykład wstępu do matematyki. Termy i formuły języka logiki są obiektami teoriomnogościowymi, czyli zbiorami, ciągami zbiorów itp.
Status dostępności:
Wypożyczalnia Nowy Targ
Są egzemplarze dostępne do wypożyczenia: sygn. 40539 (1 egz.)
Remont biblioteki
Wypożyczalnia Rabka
Są egzemplarze dostępne do wypożyczenia: sygn. 16 (3 egz.)
Recenzje:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej