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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :3
 В других БД по вашему запросу найдено:Электронный каталог (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математический текст<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 034363
51/Е 14
Автор(ы) : Евграфов, Марат Андреевич, Евграфов, Леонид Андреевич
Заглавие : ТЕХ: Руководство по набору и редактированию математических текстов : научное издание
Выходные данные : Москва: Наука, 1993
Колич.характеристики :78 с
Примечания : Библиогр.
ISBN, Цена 5-02-015116-5: 880.00 р.
УДК : 51:655.26 + 004.4
Предметные рубрики: математика-- математика
вычислительная техника-- пакеты прикладных программ
Ключевые слова (''Своб.индексиров.''): математический текст--текстовый набор--редактирование--пэвм--пакеты прикладных программ--tex--компьютеры
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 340415
655.1+681.142.23/К 53
Автор(ы) : Кнут, Дональд Эрвин
Заглавие : Компьютерная типография : Сб. работ
Параллельн. заглавия :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.

Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое : монография
Выходные данные : Москва: Советское радио, 1979
Колич.характеристики :168 с.: рис
Серия: Кибернетика
Примечания : Библиогр.: с. 161-166
Цена : 0.60 р.
ББК : 22.1 + 32.81
Предметные рубрики: Математика-- Математическая кибернетика
Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): лемма--аксиомы арифметики--аксиомы бесконечности--арифметика шмульяна--булева алгебра--гипотезы континуума--интерпретация--истинность--квантовая логика--кеннинги--математические методы--математический текст--парадоксы сколема--свойства истинности--счетные модели--тавтология--теорема геделя--теорема тарского--формальные языки--формальные языки--форсинг--язык self
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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