"Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and conc…
Winters Werkzählt zu denKlassikern der Mathematikdidaktik und wirdungebrochen in der Lehramtsausbildung aller Schulstufen eingesetzt. Nicht ohne Grund wird diese neue Auflage von einer Vielzahl kundiger Stimmen aus Theorie und Praxis mit Begeisterung aufgenommen. Dank der konseq…
"How do we go about weighing evidence, testing hypotheses and making inferences? According to the model of 'inference to the Best explanation', we work out what to infer from the evidence by thinking about what would actually explain that evidence, and we take the ability of a h…
Game Theory in Action is a textbook about using game theory across a range of real-life scenarios. From traffic accidents to the sex lives of lizards, Stephen Schecter and Herbert Gintis show students how game theory can be applied in diverse areas including animal behavior, pol…