логика

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

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

Логика Древнего Китая, Крушинский А.А., 2013.

   Проблема китайской логики должна быть поставлена заново. В пользу этого говорят, с одной стороны, уникальность, а с другой — крайне слабая изученность китайского логико-методологического наследия. Устоявшиеся историко-научные стереотипы, блокирующие его изучение, серьезно искажают общемировую панораму возникновения и типологии логических учений — без упорно игнорируемой ввиду ее необычности и самобытности китайской логики мировая история логики оказывается существенно неполной. Между тем, именно в существовании и характере логики многие видят один из главнейших, так сказать «межевых камней», отграничивающих цивилизацию Запада от цивилизации Востока.

Логика в лицах и символах, Жоль К.К., 2006.

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

Символическая логика, Слинин Я.А., Караваев Э.Ф., Мигунов А.И., 2005.

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

Развиваем мышление и логику, Полушкина В., 2011.

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

Логика, Иванов Е.А., 2007.

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

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004.

   Логикой называют науку о законах и формах мышления. Формальная логика изучает формы правильных рассуждений. Математическая логика - часть формальной логики - изучает формы рассуждений, принятые в математике.
В настоящее время значение математической логики в инженерном образовании возрастает в связи с необходимостью развития математического мышления, а также изучения дискретной или компьютерной математики. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии.
Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные системы связи, 210404 - многоканальные телекоммуникационные системы, 210405 - радиосвязь,
радиовещание и телевидение, 210406 - сети связи и системы коммутации, и полностью соответствует действующему Государственному образовательному стандарту высшего профессионального образования и требованиям квалификационной характеристики выпускника. Теоретическая часть пособия основана на лекциях, читанных автором в Поволжской государственной академии телекоммуникаций и информатики.

Неклассические логики высказываний, Кузьмин Е.В., 2016.

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