книги Компьютеры и Интернет Программирование Среды

Topics in Subset Space Logic. An Introduction to the Geometry of Dynamic Epistemology

Код 915520

Нет в продаже

Аннотация к книге "Topics in Subset Space Logic. An Introduction to the Geometry of Dynamic Epistemology"

In this work, we will first provide a comprehensive outlook of subset space logic in detail to set the basis for our discussions. Then, we will import some simple truth preserving operations and observe that these operations are valid in subset space logic as well. Equipped with all these tools, we will observe that the subset space logic is strong enough to axiomatize the dynamic aspects of knowledge change, in particular, the public announcement logic. We will then provide the full...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6392-3331-5
Объём: 96 страниц
Масса: 166 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Книга находится в категориях

Технологии Разработка программ

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Правила дорожного движения, экзамен