A szerző e könyvében a szimbolikus logika módszereit, fejlődéstörténetét és fontosabb filozófiai problémáit tárgyalja. A hasonló tárgyú munkáktól eltérően nem áll meg a klasszikus (extenzionális) elméletnél, hanem messzemenően behatol a logika alapvető jelentőségű modális és intenzionális logika területére, a legutóbbi évekig követve e tudományág fejlődését. A szerző a kifejtéshez szükséges matematikai apparátus használatát a minimumra korlátozza anélkül, hogy engedményt tenne a szabatosság rovására.
A művet felépítése és tárgyalásmódja alkalmassá teszi a tankönyv jellegű felhasználásra.
Klasszikus, modális és intenzionális logika 1 csillagozás
Várólistára tette 1
Kívánságlistára tette 1
Hasonló könyvek címkék alapján
- Pásztorné Varga Katalin – Várterész Magda: A matematikai logika alkalmazásszemléletű tárgyalása ·
Összehasonlítás - Christos H. Papadimitriou: Számítási bonyolultság ·
Összehasonlítás - Kádek Tamás – Robu Judit – Várterész Magda: Matematikai logika példatár ·
Összehasonlítás - Pataricza András (szerk.): Formális módszerek az informatikában ·
Összehasonlítás - Fülöp Zoltán: Formális nyelvek és szintaktikus elemzésük ·
Összehasonlítás - Bolberitz Pál: Bevezetés a logikába ·
Összehasonlítás - Douglas R. Hofstadter: Gödel, Escher, Bach 97% ·
Összehasonlítás - Gottfried Wilhelm Leibniz: Gottfried Wilhelm Leibniz válogatott filozófiai írásai ·
Összehasonlítás - Maurer I. Gyula – Virág Imre: A relációelmélet elemei ·
Összehasonlítás - G. Havas Katalin: Logikus! ·
Összehasonlítás