High Quality Content by WIKIPEDIA articles! In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.Descriptive frames are the most important class of frames because of the duality theory (see below). Refined frames are useful as a common generalization of descriptive and Kripke frames.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
"Все, на, что я надеюсь в своей работе и работе других журналистов, — это стремление обуздать чисто новостные инстинкты, попытаться понять и передать предварительный характер научных данных, сохранить в черно-белой истории хотя бы некоторые оттенки серого". Эндрю Ревкин О чем книга Идеальная подборка материалов опытных научных журналистов Америки на темы от астрономии до зоологии, от...
Издательство:
Альпина нон-фикшн
Дата выхода: февраль 2018
Порой победа доставляет больше проблем, чем поражение: DEX-компани уничтожена, разумные киборги официально приравнены к людям, и общество защиты киборгов во главе с Кирой Гибульской лихорадочно пытается управиться со свалившимся на него «счастьем». Ведь киборги, как и люди, совершенно разные, и к каждому нужно найти свой подход, что порой не удается даже самым лучшим психологам. К тому же далеко не все...
Издательство:
Альфа-книга
Дата выхода: ноябрь 2017
Ваша дочь уже подросток! Не слышу энтузиазма по этому поводу. Скорее всего, вас предупреждали: «Радуйтесь сейчас, а то однажды она достигнет этого ужасного возраста». Да, жизнь с подростком ? не отдых на пляже. Ей уже не нравится легкое похлопывание по попе, как было раньше, и вы не можете называть ее пирожком в присутствии друзей. Она удивляет вас взрывом любви, но через минуту ее сердитый взгляд заставляет...
Эта книга не является учебником по языку C++, это учебник по программированию. Несмотря на то что ее автор — автор языка С++, книга не посвящена этому языку программирования; он играет в книге сугубо иллюстративную роль. Автор задумал данную книгу как вводный курс по программированию. Поскольку теория без практики совершенно бессмысленна, такой учебник должен изобиловать примерами программных решений, и...
Издательство:
Вильямс/Диалектика
Дата выхода: август 2018
Оставить комментарий