Вид документа : Однотомное издание Шифр издания : 8091 Автор(ы) : Жоль К. К. Заглавие : Логика : Учебное пособие для вузов Выходные данные : Москва: ЮНИТИ-ДАНА, 2012 Колич.характеристики :400 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 5-238-00664-0: Б.ц. УДК : 16(075.8) ББК : 87.4я73 Ключевые слова (''Своб.индексиров.''): классическая логика--логика--логическая семантика--логическое исследование--логическое программирование--математическая логика--символическая логика--учебное пособие Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров. Доп.точки доступа: Конферский, А. Е. \ред.\ |