Лекции по математической логике

Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

М. : ИЛ, 1963. -55 с. Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исслед...

М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при неболь...

Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...

Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

М.: Мир, 1978, 412 с., УДК 517.11,517.12 Перевод с английского Соболева С. К., под ред. Адяна С. И. Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, вклю...

Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.