Настоящее издание значительно переработано и расширено элементами техники семантических рассуждений с применением классов и отношений, что особенно важно для работы с электронными формами информации. Рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены способы включения в вывод аннотаций (комментариев), пользуясь которыми можно проверить истинность или установить ложность приводимых доводов. Для студентов и аспирантов гуманитарных специальностей. Может быть использована для первоначального изучения предмета, а также для самостоятельного изучения. Издание стало победителем в номинации "Лучшее учебное издание по точным наукам" на III Общероссийском конкурсе учебных изданий для высших учебных заведений "Университетская книга 2006".
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже