Главная / Книги / Печать книг на заказ / Математика и естественные науки
Введение в математическую логику
- Автор: Мендельсон Э.
- Издательство: ЁЁ Медиа
- Год издания: 1971
- Обложка: мягкая обложка
- Страниц: 320
- Томов: 1
- Вес: 455 г.
- ISBN: 978-5-458-30833-5
Описание
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand.
В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С.К. Клинин "Введение в математику", которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С.К. Клинин в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логике. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Воспроизведено в оригинальной авторской орфографии издания 1971 года (издательство "Наука").
Товар сертифицирован и соответствует нормам качества, безопасности и гигиены. Действует гарантийное обязательство. Реализована накопительная система скидок, зависящая от объема совершенных ранее покупок. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Развернутую информацию о сроках доставки и величине скидки вы узнаете в процессе оформления заказа. Приятных покупок.
Возможно, Вам будет интересно
-
1984 р.в корзину
-
804 р.в корзину
-
875796 р.в корзину9%/6шт
-
218 р.в корзину
-
1468 р.в корзину
-
Математическая логика. Учебник и практикум для академического бакалавриатаАвтор: Скорубский В.И.Издательство: Юрайт875 р.в корзину
-
719 р.в корзину
-
726 р.в корзину
-
558 р.в корзину
-
Программирование: математическая логика. Учебное пособие для вузовАвтор: Кудрявцева И.А.Издательство: Юрайт2036 р.в корзину
-
О способах решения логических равенств и об обратном способе математической логикиАвтор: ПорецкийИздательство: Книга по Требованию1953 р.в корзину
-
Программирование: математическая логика. Учебное пособие для СПОАвтор: Швецкий М.В.Издательство: Юрайт2036 р.в корзину