книги по логике

Логические головоломки, Богданов А.И., 2019.

Логические задачи этого сборника не требуют никаких специальных знаний, всё, что нужно юному эрудиту, - заинте­ресованность и внимание. Перед каждым видом головоломок идёт пошаговое объяснение способа решения, поэтому даже новички смогут быстро его освоить. Головоломки расположены в порядке возрастания сложно­сти. В конце книги даны головоломки повышенной трудности и ответы. Для широкого круга читателей.

Структурно-логические методы исследования сложных систем с применением ЭВМ, Левин В.И., 1987.  

Излагается методика расчета характеристик сложных систем технологического и оперативно-диспетчерского профиля в связи с задачами управления в таких системах. Широко использован структурно-логический подход, когда система представляется структурой из блоков, а количественные характеристики системы выражаются через аналогичные характеристики блоков с помощью алгебры логики. Решаются следующие типы задач: расчет характеристик систем с различной структурой; качественный анализ работы систем различной структуры при вариациях характеристик блоков; оптимальное управление работой системы с различной структурой. Анализируются программы для ЕС ЭВМ, реализующие предложенные алгоритмы. Для специалистов по системному анализу, исследованию операций и прикладной логике.

Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990.
 
Логика является одним из важнейших источников развитии современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.

Современная логика, Анисов А.М., 2002.

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