| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :3
 В других БД по вашему запросу найдено:Электронный каталог (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математический текст<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

    Евграфов, Марат Андреевич.
    ТЕХ: Руководство по набору и редактированию математических текстов [Текст] : научное издание / М. А. Евграфов, Л. А. Евграфов. - Москва : Наука, 1993. - 78 с. - Библиогр. - ISBN 5-02-015116-5 : 880.00 р.
УДК
51:655.26
004.4

Рубрики: математика--математика

   вычислительная техника--пакеты прикладных программ

Кл.слова (ненормированные):
математический текст -- текстовый набор -- редактирование -- ПЭВМ -- пакеты прикладных программ -- TEX -- компьютеры
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Евграфов, Леонид Андреевич
Найти похожие
2.

    Кнут, Дональд Эрвин.
    Компьютерная типография [Текст] = Computer Typesetting : сб. работ / Дональд Эрвин Кнут. - Москва : Мир: АСТ, 2003. - 669, [3] с. : ил., табл. - (Библиотека издательских технологий). - Библиогр. - ISBN 5-03-003361-0. - ISBN 1-57586-010-4. - ISBN 5-17-019775-6 : Б. ц.
УДК
655.26:004.4

Рубрики: полиграфия.издательское дело--издательское дело

   вычислительная техника--пакеты прикладных программ

Кл.слова (ненормированные):
издательские системы -- компьютерная верстка -- пакеты прикладных программ -- математический текст -- TEX -- METAFONT -- компьютерная типография
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
3.

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.
ББК 22.1 + 32.81

Рубрики: Математика--Математическая кибернетика

   Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)