Web ИРБИС


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

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

Базы данных

Электронный каталог - результаты поиска

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

В текущей базе данных найдено документов :7

В других БД по вашему запросу найдено:

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

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

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

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

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

A874580-ОХФ, A874581-ОХФ
Историко-математические исследования [Текст] : научное издание. - Москва : Янус-К.
Вторая сер. Вып. 5 (40). - 2000. - 391, [1] с. - Библиогр. - ISBN 5-8037-0052-5 : 30.00 р.

УДК

51(100+470)(09)(082)

929

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

Кл.слова (ненормированные):
история математики -- математическая логика -- Геделя теорема -- математика -- математическое образование -- персоналии
Экземпляры всего: 2
ОХФ (2)
Найти похожие

A884402-ОХФ, A884403-ОХФ
Иванов, Евгений Михайлович.
Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.

УДК

130.3(075.8)

510.2(075.8)

Рубрики: философия--философия духовной жизни

математика--математическая логика

Кл.слова (ненормированные):
геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы
Держатели документа:
ЗНБ СГУ
Экземпляры всего: 2
ОХФ (2)
Найти похожие

A962559-ОХФ, A962560-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р.
На обл. авт. не указаны

УДК

510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема

Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 2
ОХФ (1), ОХФ-ЧЗ-4 (1)
Найти похожие

A973606-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р.
На обл. авт. не указан

УДК

510.6(075.8)

A989305-ОХФ
Игошин, Владимир Иванович.
Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика

УДК

510.5(075.8)

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы
Экземпляры всего: 1
ОХФ (1)
Найти похожие

Учебные отделы,
Рюэль, Д.
Случайность и хаос [Текст] / Д. Рюэль ; ред. пер. Н. А. Зубченко. - Ижевск : Регуляр. и хаотич. динамика, 2001. - 192 с. - ISBN 5-93972-095-1 (в пер.) : 20.00 р.

УДК

530.182

Рубрики: физика--теоретическая физика

Кл.слова (ненормированные):
нелинейная динамика -- случайность -- хаос -- детерминированный хаос -- турбулентность -- Геделя теорема
Аннотация: В книге в популярной форме представлены основные идеи нелинейной динамики, детерминирования хаоса, получившие особое развитие в последние десятилетия.

Доп. точки доступа:
Зубченко, Н. А.
Экземпляры всего: 1
ОУООПН-ЧЗ 13 (1)
Найти похожие

A992311-ОХФ

Математика XX века. Взгляд из Петербурга [Текст] / под ред. А. М. Вершика. - Москва : Издательство МЦНМО, 2010. - 184 с. : портр. - [Математика двадцатого века. Взгляд из Петербурга] . - Библиогр. в конце ст. - ISBN 978-5-94057-586-3 : 349.00 р.

УДК

51(082)

929

Рубрики: математика--математика, 20 в.

Кл.слова (ненормированные):
математические события -- персоналии -- математики -- обобщенные функции -- Ли алгебра -- Ферма теорема -- Васильева-Гусарова инварианты -- дифференциальная топология -- резонанс -- хаос -- Геделя теорема -- Ленинградская математическая школа -- петербургская математическая школа

Доп. точки доступа:
Вершик, А. М.
Экземпляры всего: 1
ОХФ (1)
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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