логика

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

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

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

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

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

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

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

Логопедическая ритмика, Волкова Г.А., 1985.

Допущено Министерством просвещения СССР в качестве учебного пособия для студентов педагогических институтов по специальности № 2111 «Дефектология».

Основы логики, Боровинская Д.Н., Думинская М.В., 2016.

Пособие представляет собой комплекс учебно-методических материалов по курсу «Основы логики» в соответствии с принципами модульно-рейтинговой системы обучения. Предназначено для студентов факультета социально-культурных коммуникаций, осваивающих образовательную программу по направлению подготовки 39.03.01 Социология. Может представлять интерес для преподавателей логики в качестве вспомогательного материала.

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

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

Применение диаграмм двоичного выбора при синтезе логических схем, Бибило П.Н., 2014.

В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.