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:
01.05.2025, 17:49
01.05.2025, 17:49
Watching the lot: 2people
Added:
01.05.2025, 17:49
01.05.2025, 17:49
The main type of illustrations:
Type:
Material:
бумага
Condition:
Хорошее
Restoration:
нет
Defects:
нет
Location:
Ukraine, Odessa Oblast, Odessa
Payment:
Cash payment, PrivatBank, Western Union
Sending lot to: 
Ukraine,
The whole world
Ukraine,The whole worldDelivery:
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
- Jewelry Of Precious Metals, Gemstones And Bijouterie
- Silverware
- Jewelry Of Precious Metals
- Gemstones And Wares Thereof
- Reference Books
- Synthetic Gemstones
- Rings
- Tie Clips, Cufflinks
- Bracelets
- Brooches
- Pendants, Lavaliers
- Rings
- Earrings
- Coins Of Great Britain And The British Empire Outside The British And Norman Islands (possessions, Dependent Territories, Dominions And Kingdoms Of The Commonwealth), 1707-1970.
- Coins Of Scandinavian Countries (Denmark, Norway, Sweden, Iceland) And Their Possessions After 1700
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