Чтобы участвовать в обсуждениях нужно авторизоваться.
Войти
Введение в математическую логику. Мендельсон Э.
Ставок:
0
0
Макс. ставка:
0 грн
0 грн
Добавлено:
01.05.2025, 17:49
01.05.2025, 17:49
Следит за лотом: 2человека
Добавлено:
01.05.2025, 17:49
01.05.2025, 17:49
Основной вид иллюстраций:
Вид:
Материал:
бумага
Состояние:
Хорошее
Реставрация:
нет
Дефекты:
нет
Местонахождение:
Украина, Одесская область, Одесса
Оплата:
Оплата наличными, Приватбанк, Western Union
Отправка лота: 
Украина,
Весь мир
Украина,Весь мирДоставка:
Нова пошта, Укрпочта, Личная встреча Одесса (согласно действующего законодательства страны проживания продавца).
Описание:
Мендельсон Э. Введение в математическую логику. М. Наука. 1971 г. 320 страниц. Твердый переплет, Чуть увеличенный. формат. От редактора перевода. В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета. С. И. Адян. Предисловие. В этой книге мы попытались представить сжатое введение в некоторые основные разделы математической логики. Чтобы дать полное и точное изложение основных и наиболее важных вопросов, мы опустили такие дополнительные темы, как модальная, комбинаторная и интуиционистская логики, а также некоторые интересные, но более специальные вопросы, как, например, степени рекурсивной неразрешимости. Придерживаясь того мнения, что начинающим следует предлагать наиболее естественные и легкие доказательства, мы применяем самые непринужденные теоретико-множественные методы. Значение требования конструктивных доказательств может быть оценено только после известного опыта занятий математической логикой. В конце концов, если уж нам предстоит быть изгнанными из «канторова рая» (как назвал Гильберт неконструктивную теорию множеств), то по крайней мере мы должны знать, чего лишаемся. Пять глав книги удобно распределить на два семестра, а для курса в один семестр вполне подойдут главы с 1 по 3 (при этом можно, если это потребуется для ускорения, опустить §§ 5 и 6 главы 1 и §§ 10—12 главы 2). Мы будем отмечать верхним индексом D упражнения, которые, вероятно, будут трудны для начинающего, и верхним индексом А — упражнения, предполагающие знакомство с материалом, недостаточно освещенным в тексте. Настоящая книга представляет собой расширенное
Ссылка на обсуждение:
Другие лоты продавца
Смотрите ещё разделы
- Мягкие игрушки
- Игрушечный транспорт
- Памятные предметы
- Спортивные награды, памятные предметы
- Дошкольные игрушки
- Шахматы, нарды, шашки
- Виниловые пластинки
- Вексиллология (флаги, знамена) СССР
- Фалеристика Польши
- Часовые инструменты
- Церковная и религиозная литература
- Книги по живописи, графике, скульптуре (за исключением справочной литературы для коллекционеров)
- Детская литература
- Сигнуманистика — коллекционные нашивки и шевроны
- Оборудование для аффинажа, реактивы
Сообщить модератору о нарушении
Выберите, пожалуйста, вид нарушения из списка:
Как работает АВТОСТАВКА
Это функция, которая помогает Вам делать ставки автоматически, в случае, если Вашу ставку перебивают.
Предположим, текущая цена лота равна 120 грн. Вы готовы торговаться до 5 000 грн. Укажите в поле «Автоматический торг» 5 000 грн. и нажмите "Сделать ставку". В результате появится Ваша новая ставка, но не в размере 5 000 грн., а всего лишь 121 грн. При этом система запомнит, что Вы готовы торговаться до 5 000 грн., и сделает необходимые ставки вместо Вас, если цена продолжит расти.
Допустим, другой участник делает ставку 2 000 грн. Тогда система автоматически сделает Вашу ставку 2 001 грн. И только в случае, если кто-нибудь сделает ставку больше чем 5 000 грн., Вы получите уведомление о том, что Ваша автоставка перебита.
Предположим, текущая цена лота равна 120 грн. Вы готовы торговаться до 5 000 грн. Укажите в поле «Автоматический торг» 5 000 грн. и нажмите "Сделать ставку". В результате появится Ваша новая ставка, но не в размере 5 000 грн., а всего лишь 121 грн. При этом система запомнит, что Вы готовы торговаться до 5 000 грн., и сделает необходимые ставки вместо Вас, если цена продолжит расти.
Допустим, другой участник делает ставку 2 000 грн. Тогда система автоматически сделает Вашу ставку 2 001 грн. И только в случае, если кто-нибудь сделает ставку больше чем 5 000 грн., Вы получите уведомление о том, что Ваша автоставка перебита.
Комментарии 0