39,90 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
The book explains the grammar, semantics, and use of classical logical languages and teaches the reader how to grasp the meaning and translate the formulae of classical logic to and from natural language. It illustrates with many detailed examples the use of the most popular deductive systems - axiomatic systems, semantic tableaux, natural deduction, and resolution - for formalizing and automating logical reasoning and provides the reader with the technical skills needed for practical derivations. Systematic guidelines are offered on how to carry out logically correct and well-structured reasoning using the proof strategies and techniques that these deductive systems employ.
The book is accompanied with a set of detailed slides available online and can be used as a textbook for introductory or intermediate courses in classical logic for students in mathematics, computer science, philosophy, or related disciplines, as well as for self-study.
The book explains the grammar, semantics, and use of classical logical languages and teaches the reader how to grasp the meaning and translate the formulae of classical logic to and from natural language. It illustrates with many detailed examples the use of the most popular deductive systems - axiomatic systems, semantic tableaux, natural deduction, and resolution - for formalizing and automating logical reasoning and provides the reader with the technical skills needed for practical derivations. Systematic guidelines are offered on how to carry out logically correct and well-structured reasoning using the proof strategies and techniques that these deductive systems employ.
The book is accompanied with a set of detailed slides available online and can be used as a textbook for introductory or intermediate courses in classical logic for students in mathematics, computer science, philosophy, or related disciplines, as well as for self-study.
| Erscheinungsjahr: | 2024 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| ISBN-13: | 9781848904606 |
| ISBN-10: | 1848904606 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Goranko, Valentin |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 24 mm |
| Von/Mit: | Valentin Goranko |
| Erscheinungsdatum: | 01.07.2024 |
| Gewicht: | 0,649 kg |
| Erscheinungsjahr: | 2024 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| ISBN-13: | 9781848904606 |
| ISBN-10: | 1848904606 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Goranko, Valentin |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 24 mm |
| Von/Mit: | Valentin Goranko |
| Erscheinungsdatum: | 01.07.2024 |
| Gewicht: | 0,649 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Aktuell nicht verfügbar
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Werktage