Шпоры по математической логике

pottee

формат doc
размер 336.5 КБ
добавлен 15 июня 2009 г.

Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований. Сколемовская стандартная форма формулы. Основные аксиомы вывода. Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств. Логика нечётких высказываний. Основные понятия. Реляционная алгебра. Основные и дополнительные унарные операторы. Реляционная логика. Основные понятия.

Похожие разделы

Смотрите также

Булос Дж., Джеффри Р. Вычислимость и логика

формат djvu
размер 9.81 МБ
добавлен 02 мая 2010 г.

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

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств

формат djvu
размер 445.67 КБ
добавлен 16 марта 2009 г.

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

Гудстейн Р.Л. Математическая логика

формат djvu
размер 3.68 МБ
добавлен 22 ноября 2010 г.

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

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа

формат rtf
размер 5.68 МБ
добавлен 27 апреля 2011 г.

Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Задачи по математической логике (+примеры решения)

Контрольная работа

формат rtf
размер 3.34 МБ
добавлен 27 апреля 2011 г.

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

Клини С. Введение в метаматематику

формат pdf
размер 10.14 МБ
добавлен 23 февраля 2011 г.

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

Клини С. Введение в метаматематику

формат djvu
размер 9.32 МБ
добавлен 22 апреля 2010 г.

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

Статья

формат doc
размер 168.15 КБ
добавлен 05 сентября 2008 г.

Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Такеути Г. Теория доказательств

формат djvu
размер 3.26 МБ
добавлен 20 марта 2011 г.

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

Шпоры по математической логике

pottee

формат doc
размер 1.02 МБ
добавлен 07 января 2010 г.

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