58,20 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.
Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.
This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.
Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.
This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
Provides an extended collection of warm-up and fun activities to start a lecture on logic or computer science
Illustrates the complete process of modelling and solving puzzles with theorem provers
Maximizes students insights into modelling with logic, interpretation models, or theorem proving
Shares many tips and examples on formalising natural language into logic
| Erscheinungsjahr: | 2021 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 356 |
| Inhalt: |
xv
338 S. 115 s/w Illustr. 93 farbige Illustr. 338 p. 208 illus. 93 illus. in color. |
| ISBN-13: | 9783030625467 |
| ISBN-10: | 303062546X |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Groza, Adrian |
| Auflage: | 1st ed. 2021 |
| Hersteller: | Springer International Publishing |
| Maße: | 235 x 155 x 20 mm |
| Von/Mit: | Adrian Groza |
| Erscheinungsdatum: | 27.10.2021 |
| Gewicht: | 0,54 kg |
Provides an extended collection of warm-up and fun activities to start a lecture on logic or computer science
Illustrates the complete process of modelling and solving puzzles with theorem provers
Maximizes students insights into modelling with logic, interpretation models, or theorem proving
Shares many tips and examples on formalising natural language into logic
| Erscheinungsjahr: | 2021 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 356 |
| Inhalt: |
xv
338 S. 115 s/w Illustr. 93 farbige Illustr. 338 p. 208 illus. 93 illus. in color. |
| ISBN-13: | 9783030625467 |
| ISBN-10: | 303062546X |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Groza, Adrian |
| Auflage: | 1st ed. 2021 |
| Hersteller: | Springer International Publishing |
| Maße: | 235 x 155 x 20 mm |
| Von/Mit: | Adrian Groza |
| Erscheinungsdatum: | 27.10.2021 |
| Gewicht: | 0,54 kg |
Ähnliche Produkte
Lieferzeit 4-7 Werktage
Lieferzeit 2-3 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage