логика

Логики Лукасевича и простые числа, Карпенко А.С., 2000.
 
   В книге впервые в мировой литературе устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить структуру последних. В итоге простые числа можно представить в виде корневых деревьев. Комбинирование различных логических определений простого числа приводит к построению алгоритма для порождения классов простых чисел. Как для этого, так и для построения корневых деревьев разработаны компьютерные программы. Приводятся различные таблицы чисел, публикуемые впервые.
Для философов, логиков, математиков.

Вычислимость и логика, Булос Дж., Джеффри Р., 1994.

   Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.

Азбука умственного труда, Ребельский И.В., 2025.

   Как научиться думать ясно, запоминать лучше, читать быстрее и работать с информацией без перегрузки?
«Азбука умственного труда» – классика советского научпопа, написанная доступным языком и удивительно актуальная до сих пор. Автор книги – Иосиф Ребельский, известный педагог, популяризатор науки и логики, преподаватель, сумевший объяснить сложное просто и увлекательно.
Ребельский учит, как организовать свой умственный труд: от ведения конспектов до эффективного чтения и борьбы с усталостью. Автор рассказывает простыми словами – о памяти, внимании, логике, конспектах, чтении и умении учиться. Эта книга станет незаменимой для школьников, студентов, преподавателей, всех, кто учится или работает головой.
«Азбука умственного труда» – это инструкция по работе с собственным мышлением, проверенная временем и поколениями.

Азбука логичного мышления, Петров Ю.А., 1991.

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

Логика и программирование, Невмержицкая А.Ю., Багаутдинов Р.Р., 2024.
        
   Серия «Считаем быстрее калькулятора» — комплекс занятий, разработанный методистами школы ментальной арифметики «Абакус». Он поможет детям быстро освоить и развить навыки математического мышления.
Эта тетрадь поможет дошкольникам и ученикам начальной школы приобрести важнейшие навыки — освоить логику и основы программирования. Играя с этим ярким пособием, ребёнок легко пройдёт путь от простых логических задач до составления собственных алгоритмов и понимания основ комбинаторики. Он познакомится с понятной теорией и выполнит множество интересных заданий, чтобы закрепить новые знания и автоматизировать навыки.
Для младшего школьного возраста.

Элементы теории множеств и математической логики в школьном курсе математики, Пособие для учителей, Калужнин Л.А., 1978.
       
   В книге дается краткое изложение элементов теории множеств и математической логики и показывается, как некоторые темы алгебры геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики.

Основы логики, Бочаров В.А., Маркин В.И., 2008.

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

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