логика

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

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

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

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

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

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

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

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

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

Логика, учебник для средней школы, Виноградов С.Н., 1947.  

ЦК ВКП(б) в постановлении «О преподавании логики и психологии в средней школе» от 3 декабря 1946 года признал совершенно ненормальным, что в средних школах не изучается логика и психология, и счел необходимым ввести в течение 4 лет, начиная с 1947/48 учебного года, преподавание этих предметов во всех школах Советского Союза.

Логика, Учебно-методическое пособие по организации самостоятельной работы студентов всех форм обучения направления подготовки 40.03.01. «Юриспруденция», Черных А.В., 2016.

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

Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001.

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