При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.]]>
Экскаватор получил удаленное управление черезPVR-шлем
Компания SRI Robotics показала прототип полуавтономного экскаватора. ИмPможно управлять как вручную изPкабины, так иPрядом или вовсе удаленно сPпомощью пульта или VR-шлема. АPчасть задач экскаватор может выполнять самостоятельно.