Książka ta jest drugą spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Zagadnienia podjęte w rozważaniach są wybrane z logiki formalnej i ogólnej teorii mnogości. Najobszerniej jest omawiany klasyczny rachunek zdań, a zwłaszcza metoda założeniowa; spośród rachunków zdań nieklasycznych zostały wybrane rachunki logiki wielowartościowej, modalnej (rozumianej wąsko), deontycznej oraz logika intuicjonistyczna i tzw. logiki pośrednie. Również charakterystyka logiki predykatów jest skupiona na rachunkach klasycznych ponownie z naciskiem na system założeniowy. Teoria wynikania zdań kategorycznych jest najpierw omówiona odrębnie, w sposób przyjęty w sylogistyce, uzupełniony o nowsze metody, po czym teoria ta jest zinterpretowana w rachunku predykatów. W rozdziale poświęconym teorii mnogości są podjęte zagadnienia zwykle umieszczane w jej części zwanej ogólną: podstawowe pojęcia rachunku zbiorów i relacji, wybrane zagadnienia teorii liczb kardynalnych, zagadnienia związane z antynomiami klasycznej teorii mnogości oraz ze sposobami ich usuwania. Wyniki prezentowane w niniejszej książce, poświęconej zagadnieniom logiki formalnej i ogólnej teorii mnogości, sformułowane w niej definicje, twierdzenia i dowody są co nieuniknione wzorowane na znanych opracowaniach. Nie są jednak ich kompilacją, ponieważ różnią się nie tylko układem definicji i twierdzeń, lecz także ich sformułowaniami zapisanymi w jednolitej notacji (symbolice), komentarzami i przykładami, a często także sposobem uzasadniania twierdzeń (sposobem dowodzenia). Są także w książce merytorycznie nowe propozycje, jak algorytmiczna metoda wyszukiwania zależności definicyjnych między funktorami prawdziwościowymi oraz uproszczone metody sprawdzania poprawności logicznej wnioskowań ze zdaniami kategorycznymi.
Nr produktu: 7794513
:
Producent
:
Kolekcja
:
Przedział wiekowy
:
Płeć
:
Marka
:
Nazwa przedmiotu
:
Licencja
:
Licencja Lego
:
Rozmiar
:
Kolor łóżeczka
:
Materiał zewnętrzny
:
Permanent
:
Buty
:
Aparat foto (mpix)
:
Bateria
:
Rodzaj baterii
:
Bielizna
:
Cechy fotelika
:
Cechy leżaczka
:
Cechy piórnika
:
Cechy plecaka
:
Cechy wózka
:
błędny
:
Czas pracy na akumulatorze
:
Czas trwania
:
Czy produkt wysyłany losowo?
:
Czytnik kart?
:
Autor
:
Długość wkładki
:
Długość wkładki (cm)
:
Dotykowy ekran
:
Dubbing polski
:
Format
:
Format dźwięku
:
Format pliku
:
Format video
:
Gatunek
:
GPS
:
Gramatura (g)
:
Liczba graczy
:
Liczba klocków
:
Liczba kół
:
Liczba nośników
:
Liczba sztuk w opakowaniu
:
Ilustrator
:
Jakość zapisu video
:
Jeans Fit
:
Język
:
Karta graficzna
:
Karta pamięci
:
Klasyfikacja ADAC
:
Klasyfikacja PEGI
:
Koła wózka
:
Lampa
:
Lektor
:
Lektor język
:
Lektor (tak/nie)
:
Liczba kartek
:
Liczba rdzeni
:
Materiały dodatkowe
:
Modem
:
Napisy
:
Nuta zapachowa - On
:
Nuta zapachowa - Ona
:
Obsada
:
Okrycia
:
Oprawa
:
Liczba stron
:
Pamięć RAM (GB)
:
Pamięć wewnętrzna
:
Permanent
:
Platforma
:
:
:
:
:
Zwiększona wytrzymałość
:
Zoom optyczny kamery
:
Zoom optyczny aparatu
:
Zoom cyfrowy
:
Zdjęcia 3D
:
Zdalnie sterowany
:
Zawartość pudełka
:
Wzór, aplikacja, motyw
:
Wysokość buta
:
Wymiary
:
Wymiary materaca
:
Wymiary łóżeczka
:
Wymagania sprzętowe
:
Wykonawca
:
Wyjście HDMI
:
Wydawnictwo
:
Wydanie
:
Wstrząsoodporność
:
Wodoodporność
:
WIFI
:
Wielkość ekranu
:
Wersja językowa
:
Wejście słuchawkowe
:
Wariant
:
Tytuł oryginalny
:
Typ nośnika - elektronika
:
Typ matrycy
:
Typ ekspresu
:
Typ dysku twardego
:
Transmisja danych
:
Tracklista
:
Tłumacz
:
Tematyka/Przeznaczenie
:
Technologia ekranu
:
System operacyjny
:
Sukienki
:
Stroje kąpielowe
:
Stabilizator obrazu
:
Sposób zapięcia
:
Skarpety/Rajstopy
:
Skala
:
Seria
:
Ruchomy ekran LCD
:
Rozmiary konceptu
:
Rozmiar ramy
:
Rozmiar pieluch
:
Rozmiar koła
:
Rozdzielczość ekranu - komputery
:
Rozdzielczość
:
Rok wydania
:
Rodzaj zeszytu
:
Rodzaj zabezpieczenia
:
Rodzaj termometru
:
Rodzaj ramy
:
Rodzaj pieluch
:
Rodzaj perfum - Ona
:
Rodzaj perfum - On
:
Rodzaj nośnika
:
Rodzaj napędu
:
Rodzaj materiału
:
Rodzaj laktatora
:
Rodzaj krzesełka
:
Rodzaj kredek
:
Rodzaj kredek
:
Rodzaj kosmetyków
:
Rodzaj koła
:
Rodzaj farb
:
Rodzaj ekspresu
:
Rodzaj bloku
:
Reżyser
:
Puzzle temat
:
Liczba puzzli
:
Przekątna ekranu
:
Przebranie postać
:
Projektor
:
Procesor
:
Postać z gry
:
Postać pluszaka
:
Pojemność (ml)
:
Pojemność dysku twardego (GB)
:
Przedział wagowy
:
Opis bezpieczeństwa
:
Maks. ciężar dziecka (kg)
:
Temat puzzli
:
Moc (W)
:
Podmiot odpowiedzialny
:
Zagadnienia logiki formalnej i ogólnej teorii mnogości
Podsumowanie recenzji
Jeszcze nikt nie dodał recenzji tego produktu