логика

Математическое мышление, Книга для родителей и учителей, Боулер Д., 2019.

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

Дискретная математика и математическая логика, Учебник, Аляев Ю.А., Тюрин С.Ф., 2006.

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

Математическая логика, Учебник для бакалавриата, Матросов В.Л., Мирзоев М.С., 2020.

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов, учебное пособие, Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б., 2008.

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

200 задачек на смекалку и логику, Савицкая А., Семякин А., 2015.

8. На нашу Землю прилетели гости с загадочной планеты Кук. Хотя они все и похожи, но одеты по-разному, и лишь двое выглядят совершенно одинаково. Определите этих инопланетян-близнецов.

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

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

Математическая логика, Алябьева В.Г., 2017.

Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».

Комбинаторная логика в программировании, вычисления с объектами в примерах и задачах, Вольфенгаген В.Э., 2003.

Изложен основной круг задач, сводимых к исчислению объектов — "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и Y-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".