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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (8)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=Геделя теорема<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: философия-- философия духовной жизни
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): геделевский аргумент--искусственный интеллект--сознание--метафизика--мозг--мышление--человек и машина--геделя теорема--ум--формализация--смысл--алгоритмические проблемы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

2.

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

3.

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

4.

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

5.

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

6.

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

7.

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

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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