Modelling Puzzles in First Order Logic by Adrian Groza
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.
About the Author: 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.
We'll despatch your order as quickly as we can. If, for whatever reason, a product is out of stock we will contact you to discuss the likely delivery time or an alternative product.
|First Item||2 Items & Over|
|USA & Canada||£30.00||£50.00|
|Rest of the World||£45.00||£60.00|
|Collect in Store||free||free|
Additional Delivery Information (and some really important bits):
Orders for delivery in the UK are despatched by Courier and Signed For delivery services and will normally be delivered to you within a few days of placing your order. Signed Books are shipped in our specially made book mailing cartons, with the books themselves wrapped in paper to protect them. Sometimes we may ship your order in several parts, particularly if you have 'Pre-Order' titles in your order or titles which are held in stock with our publishing partners.
The Really Important Bit: Because we use courier and signed for delivery services, please use an address at which your parcel can be signed for during the normal working day, for example, you may want to have your order delivered to your work address if you're not at home during the day.
First Item @ £3.75 (sometimes a shipping supplement may be added for particularly heavy books or specific postcodes*)
2 Items & over @ £5.00 in total
Another Really Important Bit: There are a number of Postcodes in the UK for which we will need to charge a shipping supplement, this will be calculated once we know the size and weight of the shipment. For these orders we will contact customers to agree a suitable and economic method of shipping. There may also be additional time required for delivery to some areas of the United Kingdom. Where possible, we will ship single book orders (under 2kg) by Royal Mail to all UK postcodes. Multiple book orders and books over 2kg are shipped via APC Overnight, regardless of Postcode.
Shipments to EU countries:
First Item @ £15.00 (sometimes a shipping supplement will be added for particularly heavy books)
2 Items & over @ £30.00 in total
A really, really important Brexit bit: From 1st January 2021 shipments to EU addresses may incur additional costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional costs will be applicable to your order - https://www.fedex.com
From 1st July 2021, VAT will be applicable to those EU countries where VAT is applied to books - this additional charge will be collected by Fed Ex (or the Royal Mail) at the time of delivery.
Shipments to the USA & Canada:
First Item @ £30.00
2 Items & over @ £50.00 in total
Shipments to the Rest of the World:
First Item @ £45.00
2 Items & over @ £60.00 in total
All overseas orders are shipped using a 'signed for' courier service - please provide an address at which your parcel can be signed for on receipt. We use the same packaging materials for our overseas deliveries as we do those in the UK. In some cases, particularly large and heavy books, or books being shipped to remote areas, may incur an additional shipping charge - if this is the case with your order, we'll notify you as quickly as possible of these charges and to arrange the additional payment. You can of course cancel your order with an immediate refund should you not wish to accept these additional costs. Shipments to overseas territories may incur additional Duty & Tax costs which could be requested by Fed Ex at the time of delivery. These costs may vary from country to country and are not within our control and will be in addition to the costs paid to us for your delivery. If in any doubt, please check with your local Fed Ex office what, if any, additional Tax & Duty costs will be applicable to your order - https://www.fedex.com
Collect in Person at Coles Books
We're open Monday - Saturday, 9:00am - 5:30pm. If you're collecting your order, please wait until you get the text or phone call from us, just to be on the safe side and to ensure we have your order ready for you on arrival. Once your order is ready to collect, we will drop you an email or give you a phone call (using the information provided during checkout). You can pick up your order from the till, please bring a copy of your email receipt (electronic or printed is fine).
Coming by Car
If you're coming to Coles by car, why not take advantage of the 2 hours free parking at Sainsbury's Pioneer Square - just follow the signs for Pioneer Square as you drive into Bicester and park in the multi-storey car park above the supermarket. Come down the travelators, exit Sainsbury's, turn right and follow the pedestrianised walkway to Crown Walk and turn right - and Coles will be right in front of you. You don't need to shop in Sainsbury's to get the free parking!
Where to Find Us
22 Crown Walk
OX26 6HY, United Kingdom
It was the most impressive packaging that I have EVER SEEN!!! The books were in perfect condition!!!!!
Super fast delivery and well packaged. Quality item and service!