De onderwerpen van dit boek vormen een onderdeel van de discrete wiskunde of de combinatoriek. Deze spelen onder meer in de informatica een belangrijke rol. Eerst komen de telproblemen en voortbrengende functies aan de orde, waarna partities en recurrente betrekkingen besproken worden. Verder worden M

Dit boek bevat negen logische puzzels. Al deze puzzels gaan over wat jij weet over wat een ander weet. Het zijn kennispuzzels. Dit leidt tot schijnbaar tegenstrijdige formuleringen, waarin iemand door te zeggen dat hij of zij iets niet weet, uiteindelijk toch kan leren dat hij of zij het wel weet. Dit soort puzzels hebben aan de wieg gestaan van de ontwikkeling van de kennislogica en van de logica van kennisverandering. Deze modale logica's worden sinds enige tientallen jaren gebruikt in vakg...