To participate in discussions you need to log in.
Login
Introduction to Mathematical Logic. Mendelssohn E.
Rates:
0
0
Max bid:
0 UAH
0 UAH
Added:
12.06.2025, 17:49
12.06.2025, 17:49
Watching the lot: 3people
Added:
12.06.2025, 17:49
12.06.2025, 17:49
Ending
18.06.2025, 17:49:00 +5m
Until the end
Current price (0 bids)
Основний вид ілюстрацій:
Вид:
Material:
бумага
Condition:
Хорошее
Restoration:
нет
Defects:
нет
Location:
Ukraine, Odessa Oblast, Odessa
Payment:
Cash payment, PrivatBank, Western Union
Sending lot to:
Ukraine,
The whole world


Delivery:
Nova Poshta, Ukrposhta, Personal meeting Odessa (according to the current legislation of the seller's country of residence).
Description:
Мендельсон Э. Введение в математическую логику. М. Наука. 1971 г. 320 страниц. Твердый переплет, Чуть увеличенный. формат. От редактора перевода. В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета. С. И. Адян. Предисловие. В этой книге мы попытались представить сжатое введение в некоторые основные разделы математической логики. Чтобы дать полное и точное изложение основных и наиболее важных вопросов, мы опустили такие дополнительные темы, как модальная, комбинаторная и интуиционистская логики, а также некоторые интересные, но более специальные вопросы, как, например, степени рекурсивной неразрешимости. Придерживаясь того мнения, что начинающим следует предлагать наиболее естественные и легкие доказательства, мы применяем самые непринужденные теоретико-множественные методы. Значение требования конструктивных доказательств может быть оценено только после известного опыта занятий математической логикой. В конце концов, если уж нам предстоит быть изгнанными из «канторова рая» (как назвал Гильберт неконструктивную теорию множеств), то по крайней мере мы должны знать, чего лишаемся. Пять глав книги удобно распределить на два семестра, а для курса в один семестр вполне подойдут главы с 1 по 3 (при этом можно, если это потребуется для ускорения, опустить §§ 5 и 6 главы 1 и §§ 10—12 главы 2). Мы будем отмечать верхним индексом D упражнения, которые, вероятно, будут трудны для начинающего, и верхним индексом А — упражнения, предполагающие знакомство с материалом, недостаточно освещенным в тексте. Настоящая книга представляет собой расширенное
Link to the discussion:












Seller's other lots
See other sections
- Reference Books
- Reference Books
- Reference Books On Icons And Iconography, Cult Metal-plastics
- Books On Architecture, Urban Planning, Restoration, Renovation, Landscaping
- Books On Needlework, Clothing, Trade
- Books On Art, History And Technique Of Photography
- Bierdeckel (coasters, Beermats)
- Reference Books
- Boxes And Cases For Jewelery And Cutlery
- Coins Of Poland
- Paper Money Of Independent Countries Of Africa
- Collections And Compilations Of Notes
- Tusks Of Mammoths, Elephants And Walruses
- Toys. Games
- Planongology (dolls)
Report about violation to moderator
Please select the type of violation from the list:
How does AUTO BIDDING work
This is a function that helps you place bids automatically in case your bet is interrupted.
For example, current lot price is UAH 120. You are ready to bargain up to UAH 5 000. Enter 5 000 in the field "Automatic bargaining" and click "Place Bet". As a result, your new rate will appear, but not in the amount of UAH 5 000, but only UAH 121. In this case, the system will remember that you are ready to bargain up to UAH 5 000, and will make the necessary bids for you if the price continues to rise.
Let's say another participant places a bet of UAH 2 000. Then the system will automatically place your bet of 2 001 UAH. And only if someone places a bet more than UAH 5 000, you will receive a notification that your auto rate has been interrupted.
For example, current lot price is UAH 120. You are ready to bargain up to UAH 5 000. Enter 5 000 in the field "Automatic bargaining" and click "Place Bet". As a result, your new rate will appear, but not in the amount of UAH 5 000, but only UAH 121. In this case, the system will remember that you are ready to bargain up to UAH 5 000, and will make the necessary bids for you if the price continues to rise.
Let's say another participant places a bet of UAH 2 000. Then the system will automatically place your bet of 2 001 UAH. And only if someone places a bet more than UAH 5 000, you will receive a notification that your auto rate has been interrupted.
Comments 0