Жоль, К. К. Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2012. - 400 с. - ISBN 5-238-00664-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): классическая логика -- логика -- логическая семантика -- логическое исследование -- логическое программирование -- математическая логика -- символическая логика -- учебное пособие Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров. Доп.точки доступа: Конферский, А. Е. \ред.\ Свободных экз. нет |