Новые поступления (книга в стадии обработки) Гончаров, С. С. Введение в логику и методологию науки [Текст] : учеб. пособие / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Ин-т математики СО РАН, 1994. - 256 с. : ил. ; 21 см. - Библиогр.: с. 239-241. - ISBN 5-86134-009-9 : б/ц Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
Рубрики: Математика--Математическая логика Наука--Методология науки Кл.слова (ненормированные): математическая логика -- методология математики -- базисные понятия -- аксиоматические системы -- эмпирические теории -- проблема индукции -- теория измерений -- основания математики -- программа Гильберта Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ершов, Ю. Л. Самохвалов, К. Ф. |
Новые поступления (книга в стадии обработки) Ершов, Ю. Л. Кратно нормированные поля [Текст] / Ю. Л. Ершов. - Новосибирск : Научная книга, 2000. - 340 с. ; 21см. - (Сибирская школа алгебры и логики). - ISBN 5-88119-028-9 : 40.00 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): алгебра -- теория нормированных полей -- кратно нормированные поля -- НОРМИРОВАННЫЕ ПОЛЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Ершов, Ю. Л. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - 2-е изд.,испр.и доп. - М. : Экономика, 2000. - 318 с. ; 20см. - ISBN 5282020211 : 62.00 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): математика -- вычислительная математика -- определимость -- вычислимость -- ограниченные кванторы -- теория допустимых множеств -- теорема Гёделя -- теорема о неполноте -- теорема Ганди -- динамическая логика Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Шенфилд, Д. Математическая логика [Текст] : научное издание / Д. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - М. : Наука, 1975. - 528 с. ; 20 см. - (Математическая логика и основания математики). - 2.16 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ТЕОРИЯ РЕКУРСИИ -- ТЕОРИЯ ПЕРВОГО ПОРЯДКА -- ТЕОРИЯ МОДЕЛЕЙ -- НАТУРАЛЬНЫЕ ЧИСЛА -- ТЕОРИЯ МНОЖЕСТВ Аннотация: В этой книге значительно расширен курс математической логики, часть материала взята из курса по теории рекурсии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Лавров, И. А. Мальцев, И. А. Ершов, Ю. Л. |