Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.
Рубрики: Математика--Высшая математика Математика--Основания математики Кл.слова (ненормированные): высшая математика -- основания математики -- математическая логика -- теория доказательств -- логический формализм -- арифметизация -- доказательство Кальмара -- доказательство Аккермана Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Адян, С. И. |
Новые поступления (книга в стадии обработки) Новиков, П. С. Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ Аннотация: Одной из основных задач математической логики остается анализ оснований математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Новиков, П. С. Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ОСНОВАНИЯ МАТЕМАТИКИ Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р. Тит. л. парал. на нем. яз.
Рубрики: Математика--Основания математики Кл.слова (ненормированные): АКСИОМАТИКА ГИЛЬБЕРТА -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- ТЕОРИЯ ИСТИННОСТНЫХ ФУНКЦИЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ Аннотация: Монография занимает уникальное место в мировой математической литературе. Издание подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бернайс, П. Bernays P. Нагорный, Н. М. Адян, С. И. |
Новые поступления (книга в стадии обработки) Алгебра. Топология. Геометрия [Текст] / Гос. ком. Совета Министров СССР по науке и технике, Всесоюз. ин-т науч. и техн. информ.; гл. ред. Р. В. Гамкрелидзе. - М. : ВИНИТИ, 1963 - 1975. - (Итоги науки и техники). Т. 13 : обзоры / науч. ред. Р. В. Гамкрелидзе. - 1975. - 342 с. ; 22 см. - (Алгебра. Топология. Геометрия). - Библиогр. в конце ст. - 1.78 р.
Рубрики: Математика--Алгебра Математика--Геометрия Математика--Топология Кл.слова (ненормированные): ОБЩАЯ ТОПОЛОГИЯ -- КОБОРДИЗМЫ -- АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АНАЛИЗ ПО СПЕКТОРУ-ГОВАРДУ -- ТЕОРИЯ КАТЕГОРИЙ Аннотация: Содержит 5 обзоров, которые охватывают литературу, прореферированную в РЖ "Математика" за 1967-1974 годы. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гамкрелидзе, Р. В. Гамкрелидзе, Р. В. \\гл. ред.\\ |
Новые поступления (книга в стадии обработки) Вопросы технической диагностики [Текст] : межвуз. сборник / Ростовский инженерно-строит. ин-т ; отв. ред. М. А. Фалькович. - Ростов н/Д : РИСИ, 1981. - 177 с. : ил. ; 20 см. - Библиогр. в конце ст. - 0.70 р.
Рубрики: Автоматика--Сложные системы Кл.слова (ненормированные): ТЕХНИЧЕСКОЕ ДИАГНОСТИРОВАНИЕ -- ОПТИМАЛЬНЫЕ АЛГОРИТМЫ -- ДИАГНОСТИЧЕСКИЕ ТЕСТЫ -- ПРЕОБРАЗОВАНИЕ ИНФОРМАЦИИ -- ЗАДАЧИ ОПТИМИЗАЦИИ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ Аннотация: Настоящий сборник посвящен вопросам технической диагностики сложных систем: построению математических моделей объектов технического диагностирования, разработке оптимальных алгоритмов и программ диагностирования, синтезу диагностических тестов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Фалькович, М. А. |
Новые поступления (книга в стадии обработки) Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 20 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- теория алгоритмов -- теория доказательств -- теория множеств -- учебники для вузов -- учебные пособия для вузов Аннотация: В книге изложены основные классические исчисления математической логики. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Палютин, Евгений Андреевич |
Новые поступления (книга в стадии обработки) Колмогоров, Андрей Николаевич. Математическая логика [Текст] : дополнительные главы / А. Н. Колмогоров. - Москва : Издательство Московского государственного университета, 1984. - 119 с. - 0.25 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): рекурсивные множества -- тезис Черча -- теорема Геделя -- теория алгорифмов -- теория доказательств -- теория множеств Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983. Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. - 2.10 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): арифметика Пеано -- геделевская интерпретация -- деревья Бема -- конструктивная математика -- мажорантная семантика -- математическая логика -- принцип Маркова -- прямое доказательство -- справочники -- ступенчатая семантика -- тезис Черча -- теорема Рамсея -- теорема Эрбрана -- теорема непрерывности -- теоремы о неполноте -- теории конечного типа -- теория доказательств -- топосы -- условия замкнутости -- эффективные операторы Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Барвайс, Дж. \\ред.\\ |