логика

Дракоша «плюс», Сборник занимательных заданий для учащихся 2 класса, Кац Е.М, Шварц А.Ю., 2016.

Эта тетрадка - приз тем, кто решил олимпиаду «ПЛЮС». В этой тетрадке встречаются задачи, похожие на те, что были в наших олимпиадах в декабре 2015, феврале и апреле 2016 года. Тут есть задачи про двери дворцов и греческие числа, про пещеры и тени башен. А есть в этой тетрадке и новые задачи, которые ты ещё не встречал. Возможно, даже взрослые не смогут справиться со всеми этими задачками и найти все возможные решения. Умеешь ли ты разгадывать шифры и решать задачи про ковры? Можешь ли придумать свои задачи со спичками? Разгадал ли ты, как обыграть мудреца? Мы надеемся, что эти задачи тебя порадуют.

Логика и основы аргументации, Учебник для вузов, Рузавин Г.И., 2003.

Наряду с основными вопросами, входящими в программу логики в вузах, в книге рассматриваются также ключевые проблемы аргументации, представляющие интерес для гуманитариев. Учебник написан в соответствии с требованиями госстандарта и предназначен для студентов гуманитарных вузов.

S-классификация функций трехзначной логики, Марченков С.С., 2001.

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

Дискретная математика с элементами математической логики, Учебное пособие для СПО, Горюшкин А.П., 2020.

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

Дискретная математика и математическая логика, Учебное пособие для СПО, Шмырнн A.M., Седых И.А., 2020.

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

Дискретная математика и математическая логика, Учебное пособие, Иванисова О.В., Сухан И.В., 2020.

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

Занимательная логика, Ребусы, Человек, Савушкин С.Н., Соловьев М.Д., 2012.

В эту книжку «Ребусы. Человек» мы собрали всё, что связано напрямую с человеком: части тела (рот, глаз, рука и т.д.), имена и профессии. Мы, конечно, старались выбирать «хорошие» слова! Но ребусы, такая необычная штука, что даже «плохая» и очень своеобразная профессия «вор», без труда прокралась на наши странички и спряталось во множестве «хороших» слов. Вот так всё замечательное и рождается — в борьбе «противоположенностей». Мы уверены, что вам понравится!

Математическая логика для социологов, Учебное пособие, Гуц А.К., 2017.

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