| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :8
 В других БД по вашему запросу найдено:Электронный каталог (7)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=Геделя теорема<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

    Историко-математические исследования [Текст] : научное издание. - Москва : Янус-К.
   Вторая сер. Вып. 5 (40). - 2000. - 391, [1] с. - Библиогр. - ISBN 5-8037-0052-5 : 30.00 р.
УДК
51(100+470)(09)(082)
929

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

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

    Иванов, Евгений Михайлович.
    Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
УДК
130.3(075.8)
510.2(075.8)

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

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

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

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

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Найти похожие
4.

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

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

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Найти похожие
5.

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

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
6.

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

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

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


Доп. точки доступа:
Зубченко, Н. А.
Найти похожие
7.

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

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

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


Доп. точки доступа:
Вершик, А. М.
Найти похожие
8.

    Манин, Ю. И.
    Вычислимое и невычислимое [Текст] / Ю. И. Манин. - Москва : Советское радио, 1980. - 128 с. : ил. - (Кибернетика). - 0.45 р.
ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

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

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)