Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=ТЕОРЕМА ХАРТОГСА<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

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

Вид документа : Однотомное издание
Шифр издания : 16/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику : научное издание
Выходные данные : М.: Наука, 1971
Колич.характеристики :320 с. ; 22 см
Цена : 1.77 р.
ГРНТИ : 27.03
УДК : 16
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): пропозициональные связки--кванторы--арифметизация--теория множеств--теорема хартогса--теорема тарского
Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств.
Найти похожие

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

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику . -3-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)