КнигоПровод.Ru25.02.2021

/Наука и Техника/Математика

Заметки по логике — Линдон Р.
Заметки по логике
Линдон Р.
год издания — 1968, кол-во страниц — 128, язык — русский, тип обложки — мягк., масса книги — 100 гр., издательство — Мир
серия — Современная математика
цена: 199.00 рубПоложить эту книгу в корзину
Сохранность книги — хорошая

VAN NOSTRAND MATHEMATICAL STUDIES
NOTES ON LOGIC
by
Roger C. Lyndon
The University of Michigan

D. VAN NOSTRAND COMPANY, INC.
PRINCETON, NEW JERSEY
1966


Пер. с англ. Ю. А. Гастева

Формат 84x108 1/32. Бумага типографская №3
ключевые слова — логик

В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает всё большее внимание исследователей. Однако при этом на первый план зачастую выходит формальный аппарат логики, а не идейная её сторона. Именно этим идейным аспектам логики, пока незаслуженно остающимся на втором плане, посвящены в основном «Заметки по логике».

Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Очень ценен для начинающего читателя набор задач, которые призваны привить вкус к самостоятельным исследованиям по логике.

Книгу с большим интересом прочтут и те, кто только начинает заниматься математикой (на первом курсе вузов или в старших классах средней школы), и специалисты.

Книги на ту же тему

  1. Логическая семантика и модальная логика, Таванец П. В., ред., 1967
  2. Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
  3. Математика и логика: ретроспектива и перспективы, Кац М., Улам С. М., 1971
  4. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
  5. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
  6. Математическая логика, Клини С. К., 1973
  7. Алгебра логики в задачах, Гиндикин С. Г., 1972
  8. Алгебра логики и интегральные преобразования в краевых задачах, Рвачев В. Л., Слесаренко А. П., 1976
  9. Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
  10. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000
  11. Логика и развитие научного знания, Бродский И. Н., Слинин Я. А., ред., 1992

© 1913—2013 КнигоПровод.Ruhttp://knigoprovod.ru