Формирование математической логики (1967)
- Издателство: Наука
Формирование математической логики (1967)
- Издателство: Наука
Формиране на математическата логика (книга на руски език)
| Автор: | Н. И. Стяжкин |
| Издателство: | Наука |
| Език: | Руски |
| Раздел: | Математика |
| Етикет: | Математическа логика |
Твърда корица, 155 х 220 х 30 мм | 508 стр. | 733 гр.
Забележка: неизползвана книга в отлично състояние - леко захабен вид.
Описание
Характеристики
Доставка
Описание +
АННОТАЦИЯ
Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней. Ее принципы применяются не только в математике, но и в логических элементах вычислительных устройств, при машинном переводе с одного языка на другой, в сложных кибернетических системах н - в других многочисленных областях и практики.
Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений. Автор описывает узловые вехи в становлении и развитии наиболее ценных, с современной точки зрения, логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д. Пеано, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепции XIX— XX вв.
Книга рассчитана на математиков, философов, логиков, на работников, связанных с автоматикой, моделированием, с работой счетно-решающих устройств в области физики, химии, биологии, лингвистики и др., на преподавателей и студентов, на всех лиц, желающих ознакомиться с методами математической логики и историей ее формирования.
**
СОДЕРЖАНИЕ
Предисловие 3
Глава первая
ВОЗНИКНОВЕНИЕ И РАЗРАБОТКА ЛОГИЧЕСКОЙ ПРОБЛЕМАТИКИ В ИНДИИ И КИТАЕ 7
§ 1. Об эволюции логики в Индии 7
§ 2. О развитии логики в Китае 13
Глава вторая
АНТИЧНЫЕ ПРЕДВОСХИЩЕНИЯ ОТДЕЛЬНЫХ ПОНЯТИЙ МАТЕМАТИЧЕСКОЙ ЛОГИКИ 18
§ 1. Состояние логической проблематики в Греции в VI— V вв. до н. э 18
§ 2. Об элементах математической и традиционной логики у Платона и Аристотеля 28
§ 3. Проблемы формализации следования и модальностей у мегариков 61
§ 4. О развитии раннего перипатетизма 70
§ 5. Стоики — творцы античной формы пропозиционального исчисления 76
§ 6. Результаты скептического направления 87
§ 7. Сирийский логик Порфирий. Проблема универсалий. Принцип строгой иерархии 91
§ 8. Судьбы логических учений стоицизма в древнем Риме и на пороге средневековья 94
Глава третья
АРАБОЯЗЫЧНЫЕ, ЕВРЕЙСКИЕ, ГРУЗИНСКИЕ И АРМЯНСКИЕ ЛОГИЧЕСКИЕ УЧЕНИЯ СРЕДНЕВЕКОВЬЯ 103
Глава четвертая
ФОРМИРОВАНИЕ ИДЕЙ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ЕВРОПЕЙСКОЕ СРЕДНЕВЕКОВЬЕ И ЭПОХУ ВОЗРОЖДЕНИЯ . . 112
§ 1. Обзор и периодизация европейской средневековой логики. Крупнейшие логики основных периодов . . 112
§ 2. О модальной логике средневековья 151
§ 3. Об анализе выделяющих п исключающих суждений 154
§ 4. Теория логического следования 157
§ 5. Теория семантических парадоксов 167
§ 6. Заключительные замечания 180
§ 7. Логика в эпоху Возрождения 183
Глава пятая
Г. В. ЛЕЙБНИЦ — ОСНОВОПОЛОЖНИК СИМВОЛИЧЕСКОЙ ЛОГИКИ 198
§ 1. Предшественники Г. В. Лейбница 198
§ 2. Краткая биография и обзор работ Г. В. Лейбница . . 206
§ 3. Методологические принципы Г. Лейбница 214
§ 4. Логические)результаты Г. В. Лейбница. Три этапа в развитии логических исчислений 231
Глава шестая
РАЗВИТИЕ СИМВОЛИЧЕСКОЙ ЛОГИКИ ПОСЛЕ ЛЕЙБНИЦА В XVII—XVIII вв. . . . 242
§ 1. Логические достижения лейбницианцев (Я. и И. Бернулли, X. Вольф, И. А. фон Зегнер, Г. Плукэ) . . 242
§ 2. Становление идей исчисления высказываний и логики отношений в XVIII веке (Логистика Иоганна Ламберта). 259
§ 3. Логические исчисления последнего десятилетия XVIII в. (результаты С. Маймона и Ф. Кастильона) . 272
Глава седьмая
ПРЕДШЕСТВЕННИКИ АЛГЕБРЫ ЛОГИКИ ДЖ. БУЛЯ ... 280
§ 1. Развитие идей математической логики в первой половине XIX в. (X. А. Землер, Ж. Д. Жергонн, А. Д. X. Твестен, К. Ф. Гаубер, Б. Больцано) . . 280
§ 2. Проблема квантификации предиката у Д. Бентама и У. Гамильтона. Идеографические приемы У. Гамильтона. Вариант алгебраизации силлогистики у М. В. Дробшпа ~ 290
§ 3. А. Де Морган — основоположник логической теории отношений 304
Глава восьмая
ИСЧИСЛЕНИЕ КЛАССОВ ДЖОРДЖА БУЛЯ 313
§ 1. Биография Джорджа Буля 313
§ 2. Методологические идеи Джорджа Буля 318
§ 3. Основные черты логической системы Буля .... 320
§ 4. Буль" в оценке) современников 329
§ 5. Две новейшие интерпретации системы Буля .... 332
§ 6. О природе процедур в исчислении Буля 337
§ 7. Некоторые дальнейшие проблемы 343
Глава девятая
РАЗВИТИЕ АЛГЕБРЫ ЛОГИКЩ ПОСЛЕ ДЖ. БУЛЯ В КОНЦЕ ХIХ - НАЧАЛЕ ХХ в. . . 347
§ 1. Систематизация и дальнейшее углубление идей алгебры Т± логики у У.ТХ Джевонса и Э. Шредера 347
§ 2. Алгебро-логическое наследие П. С. Порецкого . . 362
§ 3. Исследования по алгебре логики после Порецкого и в Одесской математической школе 408
§ 4. К вопросу о влиянии идей символической логики на проблематику и исследования в области традиционной логики в России 420
§ 5. Логистика Готтлоба Фреге 426
§ 6. Алгебро-логическая проблематика у родоначальника семиотики Ч. С. Пирса 436
§ 7. Дж. Пеано и его школа 446
Алфавитный указатель к списку литературы 454
Литература 456
Характеристики +
В наличност
Да
Език
Руски
Автор (А-Я)
Н. И. Стяжкин
Издателство (А-Я)
Наука
Етикет
Математическа логика
Град
Москва
Година
1967
Страници
508
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
книга в отлично състояние - леко захабен вид
Националност
руска
Корица
твърда
Формат
среден
Размери (мм)
155 х 220 х 30
Тегло (грама)
733
Доставка +
Моля, след направена поръчка, очаквайте обаждане по телефона за потвърждение!
- 5.00 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
- 5.50 лв. - доставка до офис на Еконт или Спиди, над 60 лв. - безплатна доставка.
- 7.50 лв. - доставка до адрес с Еконт или Спиди.
- 0 лв. - лично предаване за клиенти от София (виж по-долу)
- 10% - отстъпка при покупка на стойност над 30 лв., видима в процеса на пазаруване.
За клиенти с поне три покупки (закупили продуктите си с регистрация), може да се определи постоянна персонална отстъпка с код за отстъпка за бъдещо пазаруване, независимо от стойността на покупката.
За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка.
Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS.
След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.
Ако доставеното не отговаря на описаното състояние при поръчката, то клиента се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.
Ако клиента след преглед прецени, че доставеното не му е необходимо, то той следва да го върне на подателя, като заплати пощенските разходи в двете посоки.
За София - лично предаване
Среща с предварителна уговорка на две места в кв. Орландовци:
1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.
2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата)
Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.
За чужбина (for abroad)
Bulgarian Post / Български пощи /Neighboring countries - Greece, Republic of North Macedonia, Roumanie, Serbie, Turquie)
Bulgarian Post / Български пощи - All other European countries
Bulgarian Post / Български пощи - Outside European countries
ЦЕНИ ЗА ТЕГЛО НА ПРАТКИ С ПРЕДИМСТВО И ПРЕПОРЪКА - ЦЕНА (лева)
PRICES FOR WEIGHT OF SHIPMENTS WITH ADVANTAGE AND RECOMMENDATION - PRICE (BGN)
EUR/BGN - 0.51 (1 EUR = 1.95583 BGN)
PAYMENT BY REVOLUT, BANK PAYMENT OR WESTERN UNION
Цените влизат в сила от 01.12.2024 г.
|
Тегло (грама) Weight (gram)
|
Съседни държави Neighboring countries |
Европа All other European countries |
Извън Европа Outside European countries
|
|
151 - 250 |
12.10 |
13.60 |
15.20 |
|
251 - 350 |
14.05 |
15.65 |
16.90 |
|
351 - 500 |
15.60 |
18.15 |
20.60 |
|
501 - 1000 |
20.90 |
26.05 |
29.60 |
|
1001 - 2000 |
30.10 |
38.60 |
41.60 |
|
2001 - 3000 |
38.10 |
48.10 |
51.60 |
|
3001 - 4000 |
46.40 |
58.60 |
63.60 |
|
4001 - 5000 |
54.60 |
63.60 |
74.60 |
