Новые поступления (книга в стадии обработки) Нильсон, Н. Искусственный интеллект. Методы поиска и решений [Текст] : учебник / Н. Нильсон ; пер. с англ. В. Л. Стефанюка ; под ред. С. В. Фомина. - М. : Мир, 1973. - 270 с. : черт. ; 21 см. - Библиогр.: с. 252-262. - 1.17 р.
Рубрики: Кибернетика--Искусственный интеллект Кл.слова (ненормированные): ПРОСТРАНСТВА СОСТОЯНИЙ -- МЕТОДЫ ПОИСКА -- СВЕДЕНИЯ ЗАДАЧ -- СОВОКУПНОСТЬ ПОДЗАДАЧ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ПРОЦЕСС ИЗВЛЕЧЕНИЯ ОТВЕТОВ Аннотация: Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Стефанюк, В. Л. Фомин, С. В. |
Новые поступления (книга в стадии обработки) Воробьев, Н. Н. Признаки делимости [Текст] : научное издание / Н. Н. Воробьев. - 2-е изд., испр. - М. : Изд-во "Наука", 1974. - 79 с. : ил. ; 20 см. - (Популярные лекции по математике ; вып. 39)
Рубрики: Математика--Теория чисел Кл.слова (ненормированные): ДЕЛИМОСТЬ ЧИСЕЛ -- ПРИЗНАКИ РАВНООСТАТОЧНОСТИ -- ДЕЛИМОСТЬ СУММ -- ДЕЛИМОСТЬ ПРОИЗВЕДЕНИЙ -- ПРИЗНАКИ ДЕЛИМОСТИ -- ДЕЛИМОСТЬ СТЕПЕНЕЙ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ Аннотация: Настоящую брошюру можно рассматривать как описание одной из возможных прогулок по опушке современной математики. Изложение основных фактов, относящихся к признакам делимости, является в ней поводом затронуть некоторые довольно абстрактные вопросы дискретной математики. Автор счел целесообразным среди признаков делимости особо выделить "признаки равноостаточности", перерабатывающие числа в остатке при их делении на данное число. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Хинчин, А. Я. Три жемчужины теории чисел [Текст] : научное издание / А. Я. Хинчин ; под ред. А. Б. Шидловского. - 3-е изд. - М. : Наука, 1979. - 64 с. : ил. ; 20 см. - 0.10 р.
Рубрики: Математика--Теория чисел Кл.слова (ненормированные): АРИФМЕТИЧЕСКАЯ ПРОГРЕССИЯ -- ТЕОРЕМА МАННА -- ТЕОРИЯ ЧИСЕЛ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- ГЕОМЕТРИЧЕСКАЯ ПРОГРЕССИЯ Аннотация: Эта книга посвящена трем теоремам теории чисел, бывшим, несмотря на свою кажущуюся простоту, предметом усилий многих крупных ученых-математиков. Излагаемые доказательства пользуются совершенно элементарными средствами (хотя и не очень просты). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Шидловский, А. Б. |
Новые поступления (книга в стадии обработки) Дэвенпорт, Г. Высшая арифметика [Текст] : введение в теорию чисел / Г. Дэвенпорт ; под ред. Ю. В. Линника ; пер. с англ. Б. З. Мороза = The higher arithmetic : an introduction to the theory of numbers / H. Davenport. - М. : Наука, 1965. - 175 с. : ил. ; 20 см. - Библиогр.: с. 172-173. - Указ.: с. 174-175. - 0.44 р. Тит. л. парал. на англ. яз.
Рубрики: Математика--Арифметика Кл.слова (ненормированные): МНОЖИТЕЛИ -- ПРОСТЫЕ ЧИСЛА -- СРАВНЕНИЯ -- КВАДРАТИЧНЫЕ ВЫЧЕТЫ -- НЕПРЕРЫВНЫЕ ДРОБИ -- КВАДРАТИЧНЫЕ ФОРМЫ -- ДИОФОНТОВЫ УРАВНЕНИЯ -- ТЕОРИЯ ЧИСЕЛ -- НАТУРАЛЬНЫЕ ЧИСЛА -- ТЕОРЕМЫ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- АРИФМЕТИЧЕСКИЕ ВЫЧИСЛЕНИЯ Аннотация: В книге теоремы и их доказательства часто иллюстрируются численными примерами. Примеры обычно очень просты и могут не удовлетворить читателя, который любит вычисления. Задача этих примеров - пояснить общую теорию. Вопрос о наиболее эффективном проведении арифметических вычислений выходит за рамки данной книги. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Линник, Ю. В. Мороз, Б. З. |
Новые поступления (книга в стадии обработки) Боровиков, В. А. Дифракция на многоугольниках и многогранниках [Текст] : научное издание / В. А. Боровиков. - М. : Наука, 1966. - 455 с. : ил. ; 21 см. - (Современные проблемы математики). - Библиогр.: с. 454-455 (38 назв.). - 1.54 р. Прил.: с. 444-453
Рубрики: Математика--Анализ Кл.слова (ненормированные): АЛГОРИТМЫ -- ДИФРАКЦИЯ -- ФУНКЦИИ ГРИНА -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- СФЕРИЧЕСКИЕ ВОЛНЫ -- АСИМПТОТИКА -- ИНТЕГРАЛЫ -- КВАЗИЛУЧЕВОЕ РАЗЛОЖЕНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Эндрю, Алекс. Искусственный интеллект [Текст] / А. Эндрю; ред., авт. предисл. Д. А. Поспелов, пер. с англ. В. Л. Стефанюка. - Москва : Мир, 1985. - 264 с. - (В мире науки и техники). - Библиогр.: с. 260-261. - 0.70 р. Рубрики: Радиоэлектроника--Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): анализ сцен -- доказательство теорем -- естественный язык -- игры -- искусственный интеллект -- распознавание образов -- эвристика -- эстетика Аннотация: Книга известного английского ученого, специалиста в области кибернетики Алекса Эндрю, в популярной форме рассказывающая о поисках и достижениях исследователей, работающих на одном из передовых рубежей современной наука — в области искусственного интеллекта. Предназначена для широкого круга читателей, интересующихся достижениями современной науки и техники. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Поспелов, Д. А. Стефанюк, В. Л. |
Новые поступления (книга в стадии обработки) Воробьев, Николай Николаевич. Признаки делимости [Текст] / Н. Н. Воробьев. - 3-е изд., испр. и доп. - Москва : Наука, 1980. - 96 с. - (Популярные лекции по математике). - 0.15 р. Рубрики: Математика--Теория чисел Кл.слова (ненормированные): делимость произведений -- делимость степеней -- делимость сумм -- делимость чисел -- доказательство теорем -- признаки равноостаточности Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Воробьев, Николай Николаевич. Признаки делимости [Текст] / Н. Н. Воробьев. - 4-е изд., испр. - Москва : Наука, 1988. - 96 с. - (Популярные лекции по математике). - 0.20 р. Рубрики: Математика--Теория чисел Кл.слова (ненормированные): делимость произведений -- делимость степеней -- делимость сумм -- делимость чисел -- доказательство теорем -- признаки равноостаточности Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |