1

Modelling Puzzles in First Order Logic 1st ed. 2021

Täpsustused:
Autor: Adrian Groza
Lehekülgede arv: 338
Ilmumisaasta: 2021
Kauba ID: 13319506
Ainult äpis! Saad kuni 4x rohkem Kaup24-eurosid!*
  • Täishind
  • Maksa osade kaupa 735 x 9 kuus
5558
5558
735 / kuus
või
3 1854
Ilma lisatasudeta
Pakkumised teistelt müüjatelt (1):
7199
Lisa korvi
Sinu linn

Omniva pakiautomaat

4. juulist

000

SmartPosti pakiautomaat

4. juulist

000

Unisend pakiautomaat

4. juulist

000

Kuller

4. juulist

399

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Omniva pakiautomaat

4. juulist

000

SmartPosti pakiautomaat

4. juulist

000

Unisend pakiautomaat

4. juulist

000

Kuller

4. juulist

399

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Pakkumised teistelt müüjatelt
KATARATA
7199
  • 95% ostjatest soovitaks seda müüjat.

Teised on vaadanud

Toote kirjeldus: Modelling Puzzles in First Order Logic 1st ed. 2021

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.   

Üldine tooteinfo: Modelling Puzzles in First Order Logic 1st ed. 2021

Kauba ID: 13319506
Kategooria: Majandusalased raamatud
Tootepakendite arv: 1 tk.
Paki suurus ja kaal (1): 0,4 x 0,3 x 0,1 m, 0,65 kg
Kirjastus: Springer Nature Switzerland AG
Raamatu keel: Inglise keel
Kaane tüüp: Pehme
Vorming: Traditsiooniline raamat
Tüüp: Majandusteadus
Raamat väljavõttega: Ei
Autor: Adrian Groza
Lehekülgede arv: 338
Ilmumisaasta: 2021

Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.

Partnerite pakkumised
Reklaam

Hinnangud ja arvustused (0)

Modelling Puzzles in First Order Logic 1st ed. 2021
Jäta esimene arvustus!
Toote hindamiseks pead olema sisse logitud ja toote Kaup24.ee e-poest eelnevalt ka ostnud.
Hinda toodet

Küsimused ja vastused (0)

Küsi toote kohta teistelt ostjatelt!
Esita küsimus
Teie küsimus on edukalt saadetud. Sellele küsimusele vastatakse 3 tööpäeva jooksul
Küsimus peab olema vähemalt 10 tähemärki

Soovitame osta koos: Modelling Puzzles in First Order Logic 1st ed. 2021

Pakkumised teistelt müüjatelt (1)

*Konkreetse Müüja pakkumiste suhtes kehtivad tingimused, mis on Müüja määranud antud kauba jaoks ja kogu kaubas sisalduva teabe (sealhulgas ka hinna) eest vastutab Müüja.

Omniva pakiautomaat

3. juulist

000
Võimalikud tarneviisid
7199

Parimad pakkumised müüjalt Bookstore Krisostomos