Математическая логика

Описание


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

Рейтинг издания


Нет оценки

Математическая логика

Автор: 
Ершов Юрий Леонидович
Палютин Евгений Андреевич
Издатель: 
Физматлит
Год издания: 
2011

Похожие издания:


Математический анализ в задачах и упражнениях

Пособие написано на основе многолетнего опыта преподавания математического анализа в вузах и охватывает все разделы дифференциального и интегрального исчисления функций одной действительной переменной.

Дифференциальные уравнения на геометрических графах

В книге изучаются качественные свойства дифференциальных уравнений на многообразиях типа сети.

Обыкновенные дифференциальные уравнения

Книга содержит обновленный элементарный начальный курс обыкновенных дифференциальных уравнений, соответствующий программе для технических вузов, утвержденной Министерством образования и науки РФ.

Численные методы квантовой статистики

В книге рассмотрены основные численные методы моделирования квантовых физических систем: метод точной диагонализации гамильтоновой матрицы, квантовый и классический методы Монте-Карло.

Вибрационная механика и вибрационная реология (теория и приложения)

При действии вибрации на нелинейные механические системы возникает ряд своеобразных, порой парадоксальных явлений.

Теория вероятностей и математическая статистика

Книга представляет собой учебное пособие по курсу теории вероятностей и математической статистики для экономистов: содержит изложение теории вероятностей и основные задачи математической статистики.