Зарегистрироваться
Восстановить пароль
FAQ по входу

Эдельман С.Л. Математическая логика

  • Файл формата djvu
  • размером 1,48 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Эдельман С.Л. Математическая логика
Учебное пособие для институтов. — М.: Высшая школа, 1975. — 176 с.: ил.
В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Введение
Алгебра высказываний
Понятие о высказывании и предикате
Операции над высказываниями
Отношение эквивалентности
Необходимые и достаточные условия. Взаимно обратные и взаимно противоположные теоремы
Закон двойственности
Нормальные формы
Проблема разрешения
Понятие выводимости
Применение алгебры высказываний для анализа и синтеза переключательных схем
Алгебра предикатов
Понятие модели и язык теории моделей
Понятие формулы алгебры предикатов
Отношение эквивалентности
Проблемы общезначимости и выполнимости формул
Понятие выводимости
Классы алгебраических моделей
Исчисление высказываний и предикатов
Язык исчисления высказываний, аксиомы, правила вывода
Отношения эквивалентности
Метатеория исчисления высказываний
Исчисление предикатов
Ответы к упражнениям
Список обозначений
Литература
Предметный указатель
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Депман И.Я. Первое знакомство с математической логикой

  • djvu
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры...
  • 1,28 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Новиков П.С. Элементы математической логики

  • djvu
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
  • 6,30 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

  • djvu
М.: Наука, 1983. — 360 с. — (Математическая логика и основания математики). Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
  • 3,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Чёрч А. Введение в математическую логику. Том 1

  • djvu
Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных...
  • 5,11 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Шенфилд Д. Математическая логика

  • djvu
Пер. с английского. — М.: Наука, 1975. — 529 с. — (Математическая логика и основания математики). Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все...
  • 3,21 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх