Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic

- Kategoria:
- informatyka, matematyka
- Format:
- papier
- Cykl:
- Fathoming Formal Logic (tom 1)
- Data wydania:
- 2018-02-01
- Data 1. wyd. pol.:
- 2018-02-01
- Liczba stron:
- 728
- Czas czytania
- 12 godz. 8 min.
- Język:
- polski
- ISBN:
- 9781848902664
This text, volume I of a two-volume work, examines in depth the standard (also called classical) propositional logic.
This is a theoretical work that aims at a philosophically exploratory and technically rigorous presentation. Detailed examples and exercises are used to tease out technical minutiae, solidify understanding, and point to logical-philosophical puzzles and challenges; because of this feature, the text can also be used to study formal logic in a rigorous fashion.
The study of propositional logic can reward the dedicated and patient student by unveiling technical mysteries of critical thinking and problem-solving, by shedding light on relevant concepts in the study of reasoning, by showing how the powerful formal tools and methods work in applications, and by unlocking the crypts of logical analysis. It can hone insights that further contribute both to understanding how logic works and to preparing for future pursuits in the study of formal reasoning.
This text encompasses certain topics and decision mechanisms that are usually absent from Logic texts and can be canvassed only through acquaintance with ever larger chunks of the extant bibliography. Rarely covered topics of the present text include: possible-worlds analysis, analyticity and non-cognitivism, detailed investigations of logical relations, alternative grammatical and computational systems, truth tables for dynamic flow of information and corrected truth tables, negative and positive semantic trees, normal forms and Karnaugh maps, Intuitionistic natural deduction, normalization and harmony in proof-theoretic systems, and dialogical logic.
Kup Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic w ulubionej księgarni
W naszej porównywarce znajdziesz książki, e-booki i audiobooki z najpopularniejszych księgarń internetowych. Niektórzy partnerzy przygotowują dla użytkowników naszego serwisu specjalne rabaty, dlatego warto kupować książki przez lubimyczytać.pl. Oferty są prezentowane w trzech kategoriach: „Oferta dnia” (promocje partnerów),„Polecane księgarnie” (sprawdzeni partnerzy handlowi, z którymi współpracujemy na podstawie umów) oraz „Pozostałe”. W każdej kategorii kolejność prezentacji zależy od ceny produktu przekazanej przez księgarnie lub dostawcę porównywarki. Lubimyczytać.pl nie prowadzi sprzedaży i nie uczestniczy w procesie zakupowym po przekierowaniu na stronę sklepu. Mimo że dokładamy starań, aby wszystkie linki i informacje były aktualne, nie mamy wpływu na ewentualne nieścisłości cenowe, błędne przekierowania lub zmiany w ofertach księgarni. Jeśli zauważysz nieprawidłowość, prosimy o zgłoszenie jej na adres: admin@lubimyczytac.pl. Dzięki Twojej informacji możemy jeszcze lepiej dbać o jakość działania naszej porównywarki.
Oceny książki Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic
Tagi i tematy do książki Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic
Czytelnicy tej książki przeczytali również
Cytaty z książki Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic
Bądź pierwszy
Dodaj cytat z książki Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic
Dodaj cytat


































OPINIE i DYSKUSJE o książce Fathoming Formal Logic vol. I. Theory and decision procedures for Propositional logic