Книга: Мендельсон Э. «Введение в математическую логику»
|
Серия: "-" В книге Э. Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клинин" Введение в математику", которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клинин в этой книге посуществу не затрагиваются интуиционистское и конструктивное направления математической логике. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Воспроизведено в оригинальной авторской орфографии издания 1971 года (издательство" Наука" ). Издательство: "ЁЁ Медиа" (1971)
ISBN: 978-5-458-30833-5 Купить за 2003 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Э. Мендельсон | Введение в математическую логику | В книге Э. Мендельсона`Введение в математическую логику`даётся доступное для начинающего читателя и… — Книга по Требованию, Подробнее... | 2012 | 2252 | бумажная книга |
| Чёрч А. | Введение в математическую логику | Эта монография принадлежит перу одного из самых известных специалистов в области математической логики… — URSS, Физико-математическое наследие: математика (основания математики и логика) Подробнее... | 2009 | 607 | бумажная книга |
| Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, - Подробнее... | 2018 | 1384 | бумажная книга |
| Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, (формат: 70x100/16, 268 стр.) Подробнее... | 2018 | 1790 | бумажная книга |
| А. Черч | Введение в математическую логику. Том 1 | Эта монография принадлежит перу одного из самых известных специалистов в области математической логики… — Либроком, (формат: 60x90/16, 480 стр.) Природа Дальнего Востока Подробнее... | 2009 | 486 | бумажная книга |
| Зюзьков Валентин Михайлович | Введение в математическую логику. Учебное пособие | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, Учебники для вузов. Специальная литература Подробнее... | 2018 | 2735 | бумажная книга |
| Зюзьков В. | Введение в математическую логику Учебное пособие | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — (формат: Твердая глянцевая, 268 стр.) Подробнее... | 2018 | 1622 | бумажная книга |
| Колмогоров А.Н. | Математическая логика. Введение в математическую логику | Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие… — URSS, Классический университетский учебник Подробнее... | 2017 | 568 | бумажная книга |
| Колмогоров А., Драгалин А. | Математическая логика Введение в математическую логику | Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие… — (формат: Твердая глянцевая, 240 стр.) Подробнее... | 2017 | 583 | бумажная книга |
См. также в других словарях:
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
ЧЁРЧ — (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
