Математическая логика

Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления. What does the accelerated or slowed down exp…

Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (…

Пособие представляет собой конспект курса лекций с тем же названием, читаемого автором в течение ряда лет студентам специальности «Компьютерная безопасность» Томского государственного университет…

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по н…

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

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

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

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

Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного …

В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых. Задачи разбиты по уровням сложности. Есть очень сложные логические загадки, есть попроще. Пре…

В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых. Задачи разбиты по уровням сложности. Есть очень сложные логические загадки, есть попроще. Пре…

Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python для решения задач. Она подходит как для самос…

Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python для решения задач. Она подходит как для самос…

Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных примерах, дать им возможность в совершенстве осво…

Учебное пособие содержит 10 лекций по курсу «Логика». В 8 лекциях представлен материал по традиционной логике, в последних двух лекциях – по математической логике. Лекционный материал представлен…

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

Кроме традиционных разделов, посвященных элементам математической логики, теории множеств, методам доказательств и эквивалентным преобразованиям, учебное пособие содержит материалы, посвященные о…

В чем заключаются польза и вред статистических данных? Как можно обеспечить эффективное межличностное взаимодействие? Каким образом понимание смысла энтропии позволяет нам избавиться от желания д…

В книге рассмотрены важнейшие разделы математики – введение в теорию множеств, математическую логику и алгебраические системы. Учебное пособие соответствует программам курсов высшей математики дл…

Данное пособие предназначено для выпускников, сдающих ОГЭ и ЕГЭ на базовом и профильном уровнях, а также для учителей, организующих процесс подготовки к экзаменам. В книге в кратком виде излагают…