39,99 €
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
This book provides a rigorous yet accessible introduction to logical reasoning, from propositional and predicate logic to modal logic and non-classical logics. It presents the essential concepts, methods, and procedures in a clear and structured way, with attention not only to formal systems but also to structure, meaning, and inference.
Classical topics such as equivalences, normal forms, and resolution are complemented by algorithmic methods for automated reasoning and a detailed treatment of Gödel's incompleteness theorems. Modern perspectives, including modal logic, fuzzy logic, default logic, and answer set programming, round out the presentation.
With numerous exercises and carefully worked solutions, this book is ideal for students and readers who want to think more clearly, argue more precisely, and gain a deeper understanding of the foundations of mathematics and computer science.
This book provides a rigorous yet accessible introduction to logical reasoning, from propositional and predicate logic to modal logic and non-classical logics. It presents the essential concepts, methods, and procedures in a clear and structured way, with attention not only to formal systems but also to structure, meaning, and inference.
Classical topics such as equivalences, normal forms, and resolution are complemented by algorithmic methods for automated reasoning and a detailed treatment of Gödel's incompleteness theorems. Modern perspectives, including modal logic, fuzzy logic, default logic, and answer set programming, round out the presentation.
With numerous exercises and carefully worked solutions, this book is ideal for students and readers who want to think more clearly, argue more precisely, and gain a deeper understanding of the foundations of mathematics and computer science.
| Erscheinungsjahr: | 2026 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| ISBN-13: | 9783695162109 |
| ISBN-10: | 3695162104 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Sina, Lucien |
| Auflage: | 1. Auflage |
| Hersteller: | BoD - Books on Demand |
| Verantwortliche Person für die EU: | preigu GmbH & Co. KG, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
| Maße: | 190 x 120 x 47 mm |
| Von/Mit: | Lucien Sina |
| Erscheinungsdatum: | 19.05.2026 |
| Gewicht: | 0,795 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Werktage
Aktuell nicht verfügbar