LIBROS DEL AUTOR: barteld kooi

2 resultados para LIBROS DEL AUTOR: barteld kooi

barteld kooi Eliminar filtro Quitar filtros
  • One Hundred Prisoners and a Light Bulb
    Barteld Kooi / Hans van Ditmarsch
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched o...
    Disponible

    23,68 €

  • Dynamic Epistemic Logic
    Barteld Kooi / Hans van Ditmarsch / Wiebe van der Hoek
    Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expres...
    Disponible

    133,81 €