koob.ru

Логика

Автор: Жоль К.К. | Раздел: Логика

Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики.

В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками.

Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров.

Добавить отзыв о книге
Авторы сайта
Георгий Ефимов & Владимир Никонов
Библиотека «Куб»
Подписаться