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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :4
 В других БД по вашему запросу найдено:ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") (2)ЭБС "IPRBOOKS" (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ершов, Ю. Л.$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Г 65
Автор(ы) : Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф.
Заглавие : Введение в логику и методологию науки : учеб. пособие
Выходные данные : М.; Новосибирск: Интерпракс; Ин-т математики СО РАН, 1994
Колич.характеристики :256 с.: ил.; 21 см
Примечания : Библиогр.: с. 239-241. - Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
ISBN, Цена 5-86134-009-9: б/ц
ГРНТИ : 27.01.33
УДК : 51+001.8(075.8)
ББК : 87.4
Предметные рубрики: Математика-- Математическая логика
Наука-- Методология науки
Ключевые слова (''Своб.индексиров.''): математическая логика--методология математики--базисные понятия--аксиоматические системы--эмпирические теории--проблема индукции--теория измерений--основания математики--программа гильберта
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 512/Е 80
Автор(ы) : Ершов Ю. Л.
Заглавие : Кратно нормированные поля
Выходные данные : Новосибирск: Научная книга, 2000
Колич.характеристики :340 с. ; 21см
Серия: Сибирская школа алгебры и логики
ISBN, Цена 5-88119-028-9: 40.00 р.
ГРНТИ : 27.17
УДК : 512
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): алгебра--теория нормированных полей--кратно нормированные поля--нормированные поля
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 519/Е 80
Автор(ы) : Ершов Ю. Л.
Заглавие : Определимость и вычислимость . -2-е изд.,испр.и доп.
Выходные данные : М.: Экономика, 2000
Колич.характеристики :318 с. ; 20см
ISBN, Цена 5282020211: 62.00 р.
ГРНТИ : 27.41
УДК : 519.6
ББК : 22.19
Предметные рубрики: Математика-- Вычислительная математика
Ключевые слова (''Своб.индексиров.''): математика--вычислительная математика--определимость--вычислимость--ограниченные кванторы--теория допустимых множеств--теорема гёделя--теорема о неполноте--теорема ганди--динамическая логика
Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов.
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 510/Ш 47
Автор(ы) : Шенфилд Д.
Заглавие : Математическая логика : научное издание
Выходные данные : М.: Наука, 1975
Колич.характеристики :528 с. ; 20 см
Серия: Математическая логика и основания математики
Цена : 2.16 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): теория рекурсии--теория первого порядка--теория моделей--натуральные числа--теория множеств
Аннотация: В этой книге значительно расширен курс математической логики, часть материала взята из курса по теории рекурсии.
Найти похожие

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

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