Dostosuj tekst do każdego urządzenia
Twórz notatki
Rozpocznij czytanie tam, gdzie ostatnio skończyłeś
Mam już konto w internetowej bibliotece IBUK Libra
Nie mam konta w internetowej bibliotece IBUK Libra
PAMIĘTAJ!
Twój PIN do zasobów w:
Wygasa: dzisiaj
Aby zdobyć nowy PIN, skontaktuj się z Twoją biblioteką.
Zaakceptuj Regulamin, aby kontynuować korzystanie z serwisu.
Przystępny wykład działu logiki, który zajmuje się badaniem kryterium prawdziwości zdań oraz formalnych związków wynikania. Istotą logiki wielowartościowej jest odejście od klasycznej logiki dwuwartościowej (prawda i fałsz) i wprowadzenie wartości pośrednich (możliwości, niezdeterminowania). Podstawy logik wielowartościowych stworzyli polscy uczeni skupieni w szkole lwowsko-warszawskiej (Łukasiewicz, Tarski, Ajdukiewicz).
Logiki wielowartościowe wykładane są na kursach logiki dla filozofów, matematyków, informatyków (ogromne zastosowanie logik wielowartościowych w technikach komputerowych).
Wydanie 2 rozszerzone otrzymało dwa nowe rozdziały oraz uzupełnienia w pozostałych rozdziałach.