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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 429896
51(09)/И 90
Заглавие : Историко-математические исследования: научное издание. Вторая сер. Вып. 5 (40)
Выходные данные : Москва: Янус-К, 2000
Колич.характеристики :391, [1] с
Примечания : Библиогр.
ISBN, Цена 5-8037-0052-5: 30.00 р.
УДК : 51(100+470)(09)(082) + 929
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): история математики--математическая логика--геделя теорема--математика--математическое образование--персоналии
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 246282
51.01(075)+1Н212.2+017.7:1+017.7:51/И 20
Автор(ы) : Иванов, Евгений Михайлович
Заглавие : Геделевский аргумент : учебное пособие
Выходные данные : Саратов: Научная книга, 2004
Колич.характеристики :63, [1] с
Примечания : Библиогр.
ISBN, Цена 5-93888-389-X: 35.00 р.
УДК : 130.3(075.8) + 510.2(075.8)
Предметные рубрики: философия-- философия духовной жизни
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): геделевский аргумент--искусственный интеллект--сознание--метафизика--мозг--мышление--человек и машина--геделя теорема--ум--формализация--смысл--алгоритмические проблемы
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 982403
51.01(075)/У 77
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики : [учеб. пособие] . -2-е изд.
Выходные данные : Москва: ФИЗМАТЛИТ, 2004
Колич.характеристики :125, [3] с
Примечания : Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - На обл. авт. не указаны
ISBN, Цена 5-9221-0278-8: 95.37 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория--доказательств теория--геделя теорема
Найти похожие
4.

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

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

Вид документа : Однотомное издание
Шифр издания : 87/Р97-151634
Автор(ы) : Рюэль Д.
Заглавие : Случайность и хаос : научное издание
Выходные данные : Ижевск: Регуляр. и хаотич. динамика, 2001
Колич.характеристики :192 с
ISBN (в пер.), Цена 5-93972-095-1: 20.00 р.
УДК : 530.182
Предметные рубрики: физика-- теоретическая физика
Ключевые слова (''Своб.индексиров.''): нелинейная динамика--случайность--хаос--детерминированный хаос--турбулентность--геделя теорема
Аннотация: В книге в популярной форме представлены основные идеи нелинейной динамики, детерминирования хаоса, получившие особое развитие в последние десятилетия.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 51(082)
Заглавие : Математика XX века. Взгляд из Петербурга : научное издание
Выходные данные : Москва: Издательство МЦНМО, 2010
Колич.характеристики :184 с.: портр.
Разночтения заглавия :Загл., сост. каталогизатором: Математика двадцатого века. Взгляд из Петербурга
Примечания : Библиогр. в конце ст.
ISBN, Цена 978-5-94057-586-3: 349.00 р.
УДК : 51(082) + 929
Предметные рубрики: математика-- математика, 20 в.
Ключевые слова (''Своб.индексиров.''): математические события--персоналии--математики--обобщенные функции--ли алгебра--ферма теорема--васильева-гусарова инварианты--дифференциальная топология--резонанс--хаос--геделя теорема--ленинградская математическая школа--петербургская математическая школа
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 32.81
Автор(ы) : Манин Ю. И.
Заглавие : Вычислимое и невычислимое
Выходные данные : Москва: Советское радио, 1980
Колич.характеристики :128 с.: ил.
Серия: Кибернетика
Цена : 0.45 р.
ББК : 32.81
Предметные рубрики: Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): геделя теорема--диофантовы множества--информация--искусственный интеллект--машинный перевод--теорема геделя--эвм
Аннотация: Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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