Всички Категории
PRODUCTS
КНИГИ
BACK
КНИГИ

Формирование математической логики (1967)

  • Издателство: Наука

Формирование математической логики (1967)

  • Издателство: Наука

Формиране на математическата логика (книга на руски език)

 

Н. И. Стяжкин (автор) 

 

Издателство:   Наука
Език: руски език
Раздел: Математика
Етикети: математическа логика

 

Твърда корица, среден формат  |  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
Отстъпки, доставка, плащане +

Непотвърдена от клиента по телефона поръчка, не се обработва! (след 3 дни опити за връзка с клиента се анулира)

 

Отстъпки, доставка, плащане

При покупка на стойност:

  • Над 20 лв., отстъпка от 10%, видима в процеса на пазаруване.
  • До 60 лв. - доставка до офис на Еконт - 5 лв., над 60 лв. - безплатна доставка
  • Доставка до адрес с Еконт - 6.00 лв., независимо от теглото на книгите и стойността на поръчката
  • От 20 до 60 лв. - доставка до офис на Спиди 5 лв., поръчки под 20 лв могат да се доставят само с Еконт. Над 60 лв. - безплатна доставка
  •  Доставка до адрес със Спиди за поръчки над 20 лв.- 6.00 лв., независимо от теглото на книгите и стойността на поръчката. Поръчки под 20 лв могат да бъдат доставени само с Еконт.

 

Срок за доставка до офис на  Еконт или Спиди: Поръчваш днес, получаваш утре!

 

За редовни клиенти, закупили книгите си с регистрация, се определя персонална отстъпка с код за отстъпка, за пазаруване независимо от стойността на покупката.

За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка, поради невъзможността да бъде вписан такъв.

 

 

Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 

 

След преглед на пратката в присъствието на куриера, се заплаща наложен платежКъм книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.

Ако книгата или книгите не отговарят на описаното състояние при поръчката, то той се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.

Ако клиента след преглед прецени, че книгата или книгите не са му необходими, то той следва да ги върне на подателя, като заплати пощенските разходи в двете посоки.

 

 

За София - лично предаване

 

Среща с предварителна уговорка на две места в кв. Орландовци:

1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.

2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 

Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.

 

 

За чужбина (for abroad) 

 

Български пощи

 

След уточняване на всички подробности и потвърждение от страна на клиента.

Продукти от същата категория

Бърза поръчка Без формалности
Вашата поръчка е приета. Очаквайте обаждане!