Zarys logiki matematycznej
- Kategoria:
- informatyka, matematyka
- Wydawnictwo:
- Wydawnictwo Naukowe PWN
- Data wydania:
- 1984-01-01
- Liczba stron:
- 510
- Czas czytania
- 8 godz. 30 min.
- Język:
- polski
- Tagi:
- matematyka logika matematyczna zarys logiki matematycznej logika formalna
Książka ta zawiera wykład logiki i podstawowych wiadomości z metodologii nauk matematycznych. Zakres książki obejmuje zagadnienia uchodzące dziś już za w pewnym sensie klasyczne. Metoda wykładu również jest jak najbardziej klasyczna. Wydaje mi się jednak, ze właśnie klasyczna metoda wykładu umożliwia przedstawienie problematyki logicznej w sposób najbardziej przystępny, o co starałem się w całej książce dość usilnie. Stąd chociaż zasadniczo książka przeznaczona jest dla matematyków, to jednak może służyć równie dobrze i nie-matematykom: przyrodnikom i humanistom, pragnącym zapoznać się z głównymi wynikami wchodzącymi w skład nauki zwanej dziś częściej podstawami matematyki, aniżeli logiką matematyczną.
Wprowadzenie zawiera rzeczy nowe tylko dla studenta początkującego, studentowi lat wyższych już skądinąd znane. Nie-matematyk może również zacząć lekturę od rozdziału I, który zawiera przystępny wykład rachunku logicznego i nie korzysta w sposób istotny z wprowadzenia. W całości wykładu starałem się nie tylko o jasne i możliwie dokładne przedstawienie wszystkich wyników, ale również o uwypuklenie ich szerszego aspektu.
W porównaniu z wydaniem pierwszym, wydanie drugie zawierało ten sam podział materiału, w poszczególnych częściach jednakże podano kilka nowych ujęć. Obecnie rachunek kwantyfikatorów przedstawiony jest najpierw w ujęciu tradycyjnym, a dopiero później ukazuje się, że jest ono równoważne ujęciu aksjomatycznemu, które było jedynym przedstawionym w wydaniu pierwszym. Ujęcie tradycyjne ma niewątpliwie zalety dydaktyczne. W nowy sposób przedstawione są też dowody twierdzeń o eliminacji definicji oraz o istnieniu formuły pośredniej. W wielu innych dowodach zostały zapełnione luki, które w poprzednim wydaniu zostawione były domyślności czytelnika. W wydaniu trzecim, przy zachowaniu poprzedniego układu książki, zostały poprawione przede wszystkim drobne usterki wydania drugiego. W wydaniu czwartym została uaktualniona literatura.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 6
- 3
- 2
- 1
- 1
- 1
- 1
OPINIE i DYSKUSJE