Новые поступления (книга в стадии обработки) Евграфов, Марат Андреевич. ТЕХ: Руководство по набору и редактированию математических текстов [Текст] : научное издание / М. А. Евграфов, Л. А. Евграфов. - Москва : Наука, 1993. - 78 с. - Библиогр. - ISBN 5-02-015116-5 : 880.00 р.
Рубрики: математика--математика вычислительная техника--пакеты прикладных программ Кл.слова (ненормированные): математический текст -- текстовый набор -- редактирование -- ПЭВМ -- пакеты прикладных программ -- TEX -- компьютеры Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Евграфов, Леонид Андреевич |
Новые поступления (книга в стадии обработки) Кнут, Дональд Эрвин. Компьютерная типография [Текст] = Computer Typesetting : сб. работ / Дональд Эрвин Кнут. - Москва : Мир: АСТ, 2003. - 669, [3] с. : ил., табл. - (Библиотека издательских технологий). - Библиогр. - ISBN 5-03-003361-0. - ISBN 1-57586-010-4. - ISBN 5-17-019775-6 : Б. ц.
Рубрики: полиграфия.издательское дело--издательское дело вычислительная техника--пакеты прикладных программ Кл.слова (ненормированные): издательские системы -- компьютерная верстка -- пакеты прикладных программ -- математический текст -- TEX -- METAFONT -- компьютерная типография Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Манин, Юрий Иванович. Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р. Рубрики: Математика--Математическая кибернетика Радиоэлектроника--Кибернетика Кл.слова (ненормированные): Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |