Autor: Grzegorz Malinowski
ISBN: 83-01-14879-9
Ilość stron: 126
Data wydania: 2006 (wydanie 2, rozszerzone)
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.
Rozdziały:
1. Logika klasyczna
2. Trzecia wartość logiczna u Łukasiewicza
3. Algebry i matryce logiczne
4. Wielowarto´sciowość
5. Logiki Łukasiewicza
6. Logiki Posta
7. Trójwartościowość Kleenego i Boczwara
8. Standardowe własności
9. Formalizacje w tradycji Gentzena
10. Prawdopodobie´nstwo a wartości logiczne
11. Klasyczna charakterystyka
12. Kwantyfikatory i wielowartościowość
13. Intuicjonizm i logiki modalne
14. Zbiory rozmyte i logiki Zadeha
15. Nowsze badania wielowartościowości
16. Zastosowania i znaczenie problematyki
Skorowidz nazwisk
Skorowidz terminów
adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word
Księgarnia Informatyczna zaprasza.