логика

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

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

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

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

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

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

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

Очерки по основаниям логики, Шалак В.И., 2017.
    
   Книга, очерков посвящена логико-философскому анализу оснований логики и ее места в системе наук. Важность владения методами логики иллюстрируется в первом очерке на примере анализа известной апории Зенона «Стрела». Во втором очерке обращается внимание на неявные предпосылки, которые принимаются в логике и тем самым могут оказывать влияние на формирование научной картины мира. Третий очерк посвящен анализу программы логицизма. Приведено доказательство теоремы о существовании критерия для разграничения логических и математических теорий. В четвертом очерке приводятся аргументы в пользу пересмотра некоторых общепринятых положений теории знаков и высказываются предположения, как это может отразиться на наших представлениях о природе и основаниях логики.

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

Прикладная логика, Попов С.В., Брошкова Н.Л., 2011.

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