логика

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

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

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

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

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

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

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

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

Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000.

   Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русскою языка. Дан анализ проблемы семантического статуса музыкального события.
Книга предназначается для логиков, лингвистов, математиков, программистов.

Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008.

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

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

Веселые задачи, Перельман Я., 2023.

Сборник включает 550 задач и головоломок с ответами и решениями, собранными знаменитым популяризатором науки Яковом Исидоровичем Перельманом (1882–1942). Они публиковались в книгах «Для юных математиков. Первая сотня головоломок» и «Для юных математиков. Вторая сотня головоломок», в коллективном сборнике «Наука на досуге», а также в различных российских и советских журналах в период с 1906 по 1940 г. Тексты даны в авторской редакции и в современной орфографии. Большинство рисунков выполнены штатным художником ленинградского издательства «Время» Юрием (Георгием) Дмитриевичем Скалдиным (1891–1951).