Понедельник, 11.12.2017
lerisad.ucoz.org
Меню сайта
Форма входа
20:42

Математическая логика - Ершов, Палютин

Математическая логика - Ершов, Палютин
Автор: Ершов Юрий Леонидович, Палютин Евгений Андреевич
Редактор: Легостаева И. Л.
Издательство: Физматлит, 2011 г.

Аннотация к книге "Математическая логика"

В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
6-е издание, исправленное. Скачать книгу Математическая логика - Ершов, Палютин.


Математическая логика - Ершов, Палютин

Математическая логика - Ершов, Палютин



Похожие материалы:
Поиск
Календарь
«  Ноябрь 2017  »
ПнВтСрЧтПтСбВс
  12345
6789101112
13141516171819
20212223242526
27282930
Архив записей
lerisad.ucoz.org © 2017 Карта сайта
uCoz