Springer Nature Switzerland AG
Modelling Puzzles in First Order Logic (häftad, eng)
659 kr
659 kr
Ons, 30 okt - tor, 31 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Produktbeskrivning
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
Format Häftad Omfång 338 sidor Språk Engelska Förlag Springer Nature Switzerland AG Utgivningsdatum 2021-10-27 ISBN 9783030625467
Vikt, gram
500
Artikel.nr.
d2d23b4b-f744-43e1-a8d2-69c0bcfdb6cf
Fyndiq har inget eget lager utan arbetar med enskilda butiker som lagerhåller produkter i och utanför Sverige, Europeiska unionen (EU) och Europeiska ekonomiska samarbetsområdet (EES).
Din beställning skickas från respektive butiks egna lager inom 24 timmar (helgfri måndag till fredag) från det att Fyndiq har bekräftat köpet med en beställningsbekräftelse till dig.
Produkterna levereras till dig inom 1-21 arbetsdagar, beroende på produkt, antingen direkt i din brevlåda eller till ditt närmsta ombud. Om du beställt produkter från olika butiker så skickas de i separata paket.
Beräknat leveransdatum ser du alltid på produktkortet och i din beställningsbekräftelse.
Snabbare leverans
Snabbare leverans, uppges på produkter vars beräknad leveranstid är mellan 1-3 arbetsdagar
Längre leveranstid
Längre leveranstid, uppges på produkter vars beräknad leveranstid är mer än 13 arbetsdagar
Fraktkostnad
Frakten kostar endast 29 kr! Det tillkommer inga ytterligare frakt- eller leveranskostnader efter köpet.
Springer Nature Switzerland AG
Modelling Puzzles in First Order Logic (häftad, eng)
659 kr
659 kr
Ons, 30 okt - tor, 31 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Toppsäljare i kategorin
snabbladdare för iphone med 2m kablar vägladdare med 2 m kabel
69 kr
Tidigare lägsta pris:
79 kr
3-Pack - iPhone 13/13 Pro - Härdat Glas Skärmskydd iPhone 13/13 Pro
49 kr
2-pack - Laddare för iPhone - Snabbladdare - Adapter + Kabel 20W Vit 2-pack iPhone
165 kr
3st Härdat glas iPhone 12 / 12 PRO - Skärmskydd Transparent
45 kr
Lugnande Koalabjörn, Sovande Otter, Ångestlindrande Koala, Andningsotter, Bärbar Plyschleksak med Musik, Ljus och Rytmisk Andningsrörelse
165 kr
Board Game Magnetic Chess Game Magnetic Board Game Fun Magnetic Board Game Puzzle Strategy Game Christmas Gift for Kids
99 kr
Alien uppblåsbar kostym för Halloween Cosplay Cosplay
297 kr
Julkalender för fiske 2024 - Set med fiskedrag, fiskeutrustning för vuxna män pojkar, fisketillbehör (24 st)
249 kr
3-pack rakblad kompatibel med Philips Oneblade Replacement
139 kr
3st Härdat glas iPhone 11 Skärmskydd Transparent
39 kr