Modelling Puzzles in First Order Logic

Autor Adrian Groza

Modelling Puzzles in First Order Logic - Adrian Groza

Modelling Puzzles in First Order Logic

Autor Adrian Groza

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

Do košíku

1 485 Kč s DPH
Jsme transparentní

E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Dula

Při zaslání zboží balíčkem

K nákupu nad 999 Kč dárek zdarma v hodnotě 329 Kč

Dula

Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and… Přejít na celý popis

50 hitů, 50 novinek, polovina ceny Objevte 50 čtenářsky oblíbených knih z roku 2025 se slevou 50 %. Prověřené hity, které stojí za to – teď za polovinu. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills.

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.  

 

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature » Nonfiction » Information Technology
Nakladatel
Springer Nature Switzerland AG
Rozměr
234 x 157 x 25
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
554 g
isbn
978-3-030-62546-7
Počet stran
338
datum vydání
27.10.2021
ean
9783030625467

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 1 485 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost