144619
Book
In basket
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.
Availability:
Wypożyczalnia Nowy Targ
There are copies available to loan: sygn. 40539 (1 egz.)
Wypożyczalnia Rabka
There are copies available to loan: sygn. 16 (3 egz.)
Reviews:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again