Введение в математическую логику

Введение в математическую логику
Математика
Автор: Мендельсон Э.
Язык: русский
Год: 1976
Добавил: Admin 1 Авг 20
Редактировал: Афанасий Дмитриев 3 Сен 20
Проверил: Admin 3 Сен 20
Формат:  DJVU (5539 Kb)
  • Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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

Похожие книги

Математики тоже шутят

Математики тоже шутят
Пятьсот двадцать головоломок

Пятьсот двадцать головоломок
Додекаграммы И Цзина. Код Книги Перемен

Додекаграммы И Цзина. Код Книги Перемен
Краткий курс высшей математики

Краткий курс высшей математики
Специальные функции

Специальные функции
Квант 1986-7

Квант 1986-7
Квант 1988-9

Квант 1988-9
Квант 1976-4

Квант 1976-4
Квант 2004-6

Квант 2004-6
Квант 2002-4

Квант 2002-4


"Теорія та методика навчання математики, фізики, інформатики. Том-1"
Введение в исследование операций

Введение в исследование операций

Комментарии к книге "Введение в математическую логику"

Комментарий не найдено. Будьте первыми!
Чтобы оставить комментарий или поставить оценку книге Вам нужно зайти на сайт или зарегистрироваться