Новые поступления (книга в стадии обработки)     Мендельсон, Э.     Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р. ГРНТИ 27.03 УДК 510.6 ББК 22.12 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И.

Новые поступления (книга в стадии обработки)     Мендельсон, Э.     Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р. ГРНТИ 27.03 УДК 16 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ -- КВАНТОРЫ -- АРИФМЕТИЗАЦИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРЕМА ХАРТОГСА -- ТЕОРЕМА ТАРСКОГО Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С.И.

Новые поступления (книга в стадии обработки)    Шабат, Борис Владимирович     Введение в комплексный анализ [Текст] / Б. В. Шабат. - Москва : Наука, 1985.    Ч. 2 : Функции нескольких переменных : учебное пособие для университетов / Б. В. Шабат. - 3-е изд., перераб. и доп. - 1985. - 464 с. - 1.2 р. ББК 22.161.5я73 Рубрики: Математика--Математический анализ Кл.слова (ненормированные): аналитическое продолжение -- геометрические понятия -- гиперболические многообразия -- голоморфные функции -- граничные свойства -- инвариантные метрики -- комплексное пространство -- комплексный анализ -- мероморфные функции -- метрика Бергмана -- метрика Каратеодори -- метрика Кобаяси -- метрики -- многомерные вычеты -- многообразия -- накрытия -- пример Фату -- проблема Кузена -- продолжение -- пространство Минковского -- пучки -- расслоения -- римановы области -- ряды -- степенные ряды -- теорема Вейерштрасса -- теорема Виртингера -- теорема Коши-Пуанкаре -- теорема Пикара -- теорема Хартогса -- теоремы о продолжении -- теория Лере -- теория Мартинелли -- теория потенциала -- уравнения Максвелла -- учебники для вузов -- форма Фубини-Штуди -- формула Вейля -- формула Мартинелли-Бохнера -- формула Стокса Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Новые поступления (книга в стадии обработки)     Мендельсон, Эллиот.     Введение в математическую логику [Текст] / Э. Мендельсон. - 3-е изд. - Москва : Наука, 1984. - 320 с. - Библиогр.: с. 296-319. - 1.80 р. ББК 22.12 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиоматическая теория множеств -- алгорифмы Маркова -- алгорифмы Тьюринга -- логика высказываний -- логика предикатов -- математическая логика -- теорема Хартогса -- теория алгоритмов -- формализованная арифметика -- формальная арифметика -- элементарные теории Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)