43,65 €
Produit Neuf
Ou 10,91 € /mois
- Livraison : 3,99 €
- Livré entre le 18 et le 25 septembre
Nos autres offres
-
67,42 €
Produit Neuf
Ou 16,86 € /mois
- Livraison à 0,01 €
Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.
Voir le détail de l'annonce -
78,30 €
Produit Neuf
Ou 19,58 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 7 et 15 jours ouvrés.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Modelling Puzzles In First Order Logic de Groza, Adrian Format Broché - Livre Littérature Générale
0 avis sur Modelling Puzzles In First Order Logic de Groza, Adrian Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Diagrammatic Chart Of World History 5000 Years Of History
Occasion dès 29,90 €
-
Les Clés De L'allemand D'aujourd'hui - 408 Repères Grammaticaux
2 avis
Occasion dès 37,00 €
-
Paroissien Romain - Chant Grégorien - Contenant La Messe Et L'office Pour Les Dimanches Et Les Fête - 1936 - Desclée & Cie
Occasion dès 30,00 €
-
German Guided Missiles Of The Second World War
Occasion dès 30,90 €
-
La Version Allemande Systématique
2 avis
Occasion dès 45,80 €
-
Sony A99 Ii
Neuf dès 56,83 €
Occasion dès 34,23 €
-
Lázár
Neuf dès 31,05 €
Occasion dès 27,80 €
-
Entreprise Et Environnement - Une Synergie Nouvelle
1 avis
Occasion dès 35,80 €
-
The Kitchen Diaries Ii
Neuf dès 51,54 €
Occasion dès 31,20 €
-
Litteratures Allemandes - Anthologie Et Méthodes D'approche Des Textes, 2ème Édition
2 avis
Occasion dès 27,74 €
-
Complete Masterworks
3 avis
Neuf dès 41,22 €
-
Deep Learning With Python
Occasion dès 36,31 €
-
Communes
2 avis
Occasion dès 28,00 €
-
Nouveau Testament Occitan & Rituel Cathare Xiiie Siècle, Transcription Yvan Roustit
Occasion dès 39,89 €
-
Tuesday
Neuf dès 23,18 €
-
Co-Creative Science
Occasion dès 39,39 €
-
Grant Wood
Neuf dès 38,41 €
-
Another Fashion Book
Occasion dès 28,20 €
-
New Headway Pre-Intermediate - Workbook Without Answers
Occasion dès 29,43 €
-
Terraform: Up And Running
Neuf dès 71,91 €
Occasion dès 39,18 €
Produits similaires
Présentation Modelling Puzzles In First Order Logic de Groza, Adrian Format Broché
- Livre Littérature Générale
Résumé :
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. ...
Biographie:
Dr. Adrian Groza is a Professor at the Department of Computer Science at Technical University of Cluj-Napoca. He has been teaching many different topics on Artificial Intelligence (knowledge representation and reasoning, planning, machine learning, natural language processing) to undergraduate students for more than ten years. ...
Sommaire:
Preface.- Getting Started with Prover9 and Mace4.- Micro Arithmetic Puzzles.- Strange Numbers.- Practical Puzzles.- Lady and Tigers.- Einstein Puzzles.- Island of Truth.- Love and Marriage.- Grid Puzzles.- Japanese Puzzles.- Russian Puzzles.- Polyomino Puzzles.- Self-reference and Other Puzzles.- Epigraph in Natural Language
Détails de conformité du produit
Personne responsable dans l'UE