Щоб брати участь в обговореннях потрібно авторизуватися.
Увійти
Вступ до математичної логіки. Мендельсон Е.
Ставок:
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