Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ -- КВАНТОРЫ -- АРИФМЕТИЗАЦИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРЕМА ХАРТОГСА -- ТЕОРЕМА ТАРСКОГО Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С.И. |
Новые поступления (книга в стадии обработки) Манин, Ю. И. Доказуемое и недоказуемое [Текст] : научно-популярная литература / Ю. И. Манин. - М. : Советское радио, 1979. - 167 с. ; 0.60. - (Кибернетика). - 0.60 р.
Рубрики: Кибернетика Кл.слова (ненормированные): ФОРМАЛЬНЫЕ ЯЗЫКИ -- ТЕОРЕМА ГЕДЕЛЯ -- СЧЕТНЫЕ МОДЕЛИ -- ПАРАДОКС СКОЛЕМА -- ЯЗЫК SELF -- ТЕОРЕМА ТАРСКОГО -- МОЩНОСТЬ КОНТИНУУМА Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Манин, Юрий Иванович. Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р. Рубрики: Математика--Математическая кибернетика Радиоэлектроника--Кибернетика Кл.слова (ненормированные): Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - Москва : Мир, 1968. - 128 с. - 0.41 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): булева алгебра -- геделевы номера -- логика -- математические методы -- пропозициональная логика -- разрешимые теории -- теорема Геделя -- теорема Крейга -- теорема Левенгейма-Сколема -- теорема Тарского -- теорема Черча -- теорема Эрбрана-Генцена -- теорема адекватности -- теорема дедукции -- теорема компктности -- теорема о непротиворечивости -- теоремы (логика) Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Гастева, Ю. А. Яглом, Исаак Моисеевич |