логика

Дедуктивная и индуктивная логика, Минто В., 2002.

   Главное достоинство этой книги — ясность и доступность изложения, благодаря которым автору, профессору логики Абердинского университета (Шотландия), удается ввести читателя в курс эволюции логических учений, а также самых запутанных и спорных вопросов логики, описать современное ему (конец XIX в.) состояние этой дисциплины.
В продолжение всей своей долгой истории логика никогда не была абстрактной наукой, интересной лишь для изощренных умов. Она имела практическое значение — предохранение человеческого ума от ошибок и заблуждений в научных дискуссиях, рассуждениях и исследованиях, служила «броней» от искусителей-демагогов.

Игра и логика, 85 логических задач, Визам Д., Герцег Я., 1975.   

Книга венгерских математиков Д. Бизама и Я. Герцега посвящена математической логике. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, «думая, но не вычисляя». Книга снабжена тщательно разработанной системой специальных указателей, которые помогают ориентироваться в особенностях задач. Книга представляет интерес для самых широких кругов читателей — любителей занимательной математики.

Диалектическая логика, Диалектическая логика как методология современного естествознания, Абдильдин Ж.М., Орынбеков М.С., Чечин Л.М., Сабитов М.С., Балгимбаев А.С., Косиченко А.Г., Нысанбаев А.Н., Шляхин Г.Г., Ивакин А.А., 1985.    

В настоящей работе (четвертой книге серии «Диалектическая логика», состоящей из пяти книг) исследуется методологическая функция марксистско-ленинской диалектической логики в современном естествознании, анализируются диалектико-логические принципы построения и развития научно-теоретического знания. Освещаются проблемы материалистической диалектики как внутренней содержательной логики формирования и целостной интерпретации фундаментальных теоретических систем, дается критика новейших буржуазных философских концепций логики науки. Книга адресуется научным работникам, преподавателям, аспирантам и студентам вузов, а также самостоятельно изучающим марксистско-ленинскую философию.

Методы алгебры логики в математической физике, Рвачев В.Л., 1974.  

Представлена методика аналитического описания сложных геометрических объектов, удовлетворяющих всем краевым условиям, с использованием R-функций. Рассмотрен широкий диапазон применения R-функций, а также освещены вопросы алгебры логики и дискретного анализа. С использованием Н-реализуемой функции раскрываются понятие аналитического задания функций и вопросы представления приближенных решений краевых задач.

Логика для всех, от пиратов до мудрецов, Раскина И.В., 2016.

Четырнадцатая книжка серии «Школьные математические кружки» посвящена логическим задачам и является продолжением ранее вышедшей книжки И. В. Раскиной и Д. Э. Шноля «Логические задачи» (выпуск 11). В книжку вошли разработки десяти занятий математического кружка с примерами задач различного уровня сложности, задачами для самостоятельного решения и методическими указаниями для учителя. Приведен также большой список дополнительных задач. Ко всем задачам приведены ответы и подробные решения или указания к решениям. Особенностью книжки является наличие игровых сценариев к отдельным задачам и целому занятию, реализация которых поможет лучшему освоению материала. Для удобства использования заключительная часть книжки сделана в виде раздаточных материалов. Книжка адресована школьным учителям математики и руководителям математических кружков. Надеемся, что она будет интересна школьникам и их родителям, студентам педагогических вузов, а также всем любителям логики.

Физика и логика, Кузнецов Б.Г., 1964.  

Брошюра состоит из двух статей профессора Б.Г. Кузнецова о новых принципах логики, которые соответствуют теории относительности, квантовой механике и релятивистской квантовой физике. Эти статьи рассчитаны на сравнительно подготовленных читателей, знакомых хотя бы в некоторой мере с современной физикой, в том числе на преподавателей средней школы, инженеров и студентов физических, механико-математических и химических факультетов, а также втузов.

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

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

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