Онлайн библиотека книг, публикаций и пособий!!!
Книга есть жизнь нашего времени,
в ней все нуждаются — и старые, и малые. (Белинский В. Г.)
  |   Регистрация   |   Помощь
Мои книги:
0 шт.

Жанры книг

Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Лекции




Формат: Электронная/бумажная книга
Жанр: Математика
Автор(ы): Верещагин Н. К., Шень А.
Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Издание: 4
Издательство: МЦНМО
Город: М.
Год: 2012
Страниц: 240

Аннотация:

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика, высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга, содержит около 200 задач различной трудности.


Просмотров за:
весь период: 50    день: 2    месяц: 50   год: 50







Дополнительная информация