Новые поступления (книга в стадии обработки) Математические вопросы теории интеллектуальных машин [Текст] / Ин-т кибернетики (Киев). - К. : АН УССР, 1975. - 84 с. ; 20 см. - 0.25 р.
Рубрики: Кибернетика--Искусственный интеллект Кл.слова (ненормированные): ИСЧИСЛЕНИЕ К-ДИЗЪЮНКТОВ -- ТЕОРЕМА ЭРБРАНА -- ПРАВИЛО КЛАШ-РЕЗОЛЮЦИИ -- ДИОФАНТОВЫЕ УРАВНЕНИЯ -- АЛГЕБРЫ ПОСТА -- ЯЗЫК TL Аннотация: В настоящей статье методы установления невыполнимости формул исчисления предикатов первого порядка с функциональными знаками и без равенства рассматриваются как специальные исчисления. Как правило, каждое из них задается посредством указания способа построения по некоторой формуле F, исследуемой на невыполнимость исходного множества объектов (правильно построенных выражений этого исчисления) и формулировки правил вывода. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Нестеренко, Ю. В. Теория чисел [Текст] : учеб. / Ю. В. Нестеренко. - М. : ИЦ "Академия", 2008. - 272 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 262 (17 назв.). - ISBN 978-5-7695-4646-4 : 322.30 р. Гриф: рек. УМО по классич. унив. образованию в качестве учеб. для студентов вузов, обучающихся по спец. "Математика"
Рубрики: Математика--Теория чисел Кл.слова (ненормированные): ДИОФАНТОВЫЕ УРАВНЕНИЯ -- ДИСКРЕТНОЕ ЛОГАРИФМИРОВАНИЕ -- ПРОСТЫЕ ЧИСЛА -- ДЕЛИМОСТЬ ЧИСЕЛ -- СОСТАВНЫЕ ЧИСЛА -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- ЧИСЛОВЫЕ СРАВНЕНИЯ -- ЦЕПНЫЕ ДРОБИ -- ПЕРВООБРАЗНЫЕ КОРНИ -- АЛГЕБРАИЧЕСКИЕ ЧИСЛА -- ТРАНСЦЕНДЕНТНЫЕ ЧИСЛА Аннотация: Основу учебника составляют результаты элементарной теории чисел, сформировавшейся в трудах классиков — Ферма, Эйлера, Гаусса и др. Обзорно освещены свойства простых чисел, теория диофантовых уравнений, алгоритмические аспекты теории чисел с применениями в криптографии (проверка больших простых чисел на простоту, разложение больших чисел на множители, дискретное логарифмирование) и с использованием ЭВМ. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Саати, Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы [Текст] / Т. Саати ; пер. с англ. В. Н. Веселова ; под ред. И. А. Ушакова = Optimization in integers and related extremal problems / T. L. Saaty : научное издание. - М. : Изд-во "Мир", 1973. - 302 с. : ил., табл. ; 22 см. - Библиогр. в конце глав. - 1.44 р. Тит. л. парал. на англ. яз.
Рубрики: Математика--Методы оптимизации Кл.слова (ненормированные): ГЕОМЕТРИЧЕСКАЯ ОПТИМИЗАЦИЯ -- ТЕОРИЯ ИНФОРМАЦИИ -- ДИОФАНТОВЫЕ УРАВНЕНИЯ -- ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ Аннотация: Рассмотрены проблемы оптимизации, возникающие при анализе диофантовых уравнений. Описан ряд задач геометрической оптимизации (раскрашивание графа, реализация графа с минимальным числом пересечений, наиболее плотная упаковка). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Веселов, В. Н. Ушаков, И. А. |
Новые поступления (книга в стадии обработки) Степанов, Сергей Александрович. Арифметика алгебраических кривых [Текст] / С. А. Степанов. - Москва : Hаука, 1991. - 368 с. - 1100 р. Рубрики: Математика--Теория чисел Кл.слова (ненормированные): алгебраические кривые -- арифметика алгебраических кривых -- диофантовые уравнения -- кривые -- теорема Зигеля-Малера -- теорема Римана-Роха Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |