логика

Математическая логика, Унучек С.А., 2018.

   В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по направлениям подготовки 01.03.02 «Прикладная математика и информатика», 01.03.04 «Прикладная математика», 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», 11.03.02 «Инфокоммуникационные технологии и системы связи» и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.

Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013.

   Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»).
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.
Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Диалектическая логика, Самоучитель мышления, Войтов А.Г., 2016.

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

Математическая логика, Бигаева Л.А., Салиева М.С., 2015.

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

Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017.

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

Простые упражнения для развития логического мышления, Круглова А.М., 2013.

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

Логика бизнеса, Моисеева Н.К., 2014.

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

Шифры и квесты, таинственные истории в логических загадках, Душкин Р.

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