Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=доказательство теорем<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

Нильсон, Н.
Искусственный интеллект. Методы поиска и решений [Текст] : учебник / Н. Нильсон ; пер. с англ. В. Л. Стефанюка ; под ред. С. В. Фомина. - М. : Мир, 1973. - 270 с. : черт. ; 21 см. - Библиогр.: с. 252-262. - 1.17 р.

ГРНТИ	28.23
УДК	007

Рубрики: Кибернетика--Искусственный интеллект

Кл.слова (ненормированные):
ПРОСТРАНСТВА СОСТОЯНИЙ -- МЕТОДЫ ПОИСКА -- СВЕДЕНИЯ ЗАДАЧ -- СОВОКУПНОСТЬ ПОДЗАДАЧ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ПРОЦЕСС ИЗВЛЕЧЕНИЯ ОТВЕТОВ
Аннотация: Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Стефанюк, В. Л.
Фомин, С. В.
Найти похожие

Воробьев, Н. Н.
Признаки делимости [Текст] : научное издание / Н. Н. Воробьев. - 2-е изд., испр. - М. : Изд-во "Наука", 1974. - 79 с. : ил. ; 20 см. - (Популярные лекции по математике ; вып. 39)

ГРНТИ	27.15
УДК	511.2

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

Кл.слова (ненормированные):
ДЕЛИМОСТЬ ЧИСЕЛ -- ПРИЗНАКИ РАВНООСТАТОЧНОСТИ -- ДЕЛИМОСТЬ СУММ -- ДЕЛИМОСТЬ ПРОИЗВЕДЕНИЙ -- ПРИЗНАКИ ДЕЛИМОСТИ -- ДЕЛИМОСТЬ СТЕПЕНЕЙ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ
Аннотация: Настоящую брошюру можно рассматривать как описание одной из возможных прогулок по опушке современной математики. Изложение основных фактов, относящихся к признакам делимости, является в ней поводом затронуть некоторые довольно абстрактные вопросы дискретной математики. Автор счел целесообразным среди признаков делимости особо выделить "признаки равноостаточности", перерабатывающие числа в остатке при их делении на данное число.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Хинчин, А. Я.
Три жемчужины теории чисел [Текст] : научное издание / А. Я. Хинчин ; под ред. А. Б. Шидловского. - 3-е изд. - М. : Наука, 1979. - 64 с. : ил. ; 20 см. - 0.10 р.

ГРНТИ	27.15
УДК	511.2

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

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

Доп. точки доступа:
Шидловский, А. Б.
Найти похожие

Дэвенпорт, Г.
Высшая арифметика [Текст] : введение в теорию чисел / Г. Дэвенпорт ; под ред. Ю. В. Линника ; пер. с англ. Б. З. Мороза = The higher arithmetic : an introduction to the theory of numbers / H. Davenport. - М. : Наука, 1965. - 175 с. : ил. ; 20 см. - Библиогр.: с. 172-173. - Указ.: с. 174-175. - 0.44 р.
Тит. л. парал. на англ. яз.

ГРНТИ	27.15.15
УДК	511.2

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

Кл.слова (ненормированные):
МНОЖИТЕЛИ -- ПРОСТЫЕ ЧИСЛА -- СРАВНЕНИЯ -- КВАДРАТИЧНЫЕ ВЫЧЕТЫ -- НЕПРЕРЫВНЫЕ ДРОБИ -- КВАДРАТИЧНЫЕ ФОРМЫ -- ДИОФОНТОВЫ УРАВНЕНИЯ -- ТЕОРИЯ ЧИСЕЛ -- НАТУРАЛЬНЫЕ ЧИСЛА -- ТЕОРЕМЫ -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- АРИФМЕТИЧЕСКИЕ ВЫЧИСЛЕНИЯ
Аннотация: В книге теоремы и их доказательства часто иллюстрируются численными примерами. Примеры обычно очень просты и могут не удовлетворить читателя, который любит вычисления. Задача этих примеров - пояснить общую теорию. Вопрос о наиболее эффективном проведении арифметических вычислений выходит за рамки данной книги.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Линник, Ю. В.
Мороз, Б. З.
Найти похожие

Боровиков, В. А.
Дифракция на многоугольниках и многогранниках [Текст] : научное издание / В. А. Боровиков. - М. : Наука, 1966. - 455 с. : ил. ; 21 см. - (Современные проблемы математики). - Библиогр.: с. 454-455 (38 назв.). - 1.54 р.
Прил.: с. 444-453

ГРНТИ	27.23
УДК	517

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
АЛГОРИТМЫ -- ДИФРАКЦИЯ -- ФУНКЦИИ ГРИНА -- ДОКАЗАТЕЛЬСТВО ТЕОРЕМ -- СФЕРИЧЕСКИЕ ВОЛНЫ -- АСИМПТОТИКА -- ИНТЕГРАЛЫ -- КВАЗИЛУЧЕВОЕ РАЗЛОЖЕНИЕ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Эндрю, Алекс.
Искусственный интеллект [Текст] / А. Эндрю; ред., авт. предисл. Д. А. Поспелов, пер. с англ. В. Л. Стефанюка. - Москва : Мир, 1985. - 264 с. - (В мире науки и техники). - Библиогр.: с. 260-261. - 0.70 р.

ББК 32.81

Рубрики: Радиоэлектроника--Искусственный интеллект. Экспертные системы

Кл.слова (ненормированные):
анализ сцен -- доказательство теорем -- естественный язык -- игры -- искусственный интеллект -- распознавание образов -- эвристика -- эстетика
Аннотация: Книга известного английского ученого, специалиста в области кибернетики Алекса Эндрю, в популярной форме рассказывающая о поисках и достижениях исследователей, работающих на одном из передовых рубежей современной наука — в области искусственного интеллекта. Предназначена для широкого круга читателей, интересующихся достижениями современной науки и техники.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Поспелов, Д. А.
Стефанюк, В. Л.
Найти похожие

Воробьев, Николай Николаевич.
Признаки делимости [Текст] / Н. Н. Воробьев. - 3-е изд., испр. и доп. - Москва : Наука, 1980. - 96 с. - (Популярные лекции по математике). - 0.15 р.

ББК 22.13

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

Кл.слова (ненормированные):
делимость произведений -- делимость степеней -- делимость сумм -- делимость чисел -- доказательство теорем -- признаки равноостаточности
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Воробьев, Николай Николаевич.
Признаки делимости [Текст] / Н. Н. Воробьев. - 4-е изд., испр. - Москва : Наука, 1988. - 96 с. - (Популярные лекции по математике). - 0.20 р.

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)