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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 578062
681.142(08)/В 94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991
Колич.характеристики :192 с
ISBN, Цена 5-7623-0102-8: 4.80 р.
УДК : 510 + 004
Предметные рубрики: математика-- математическая логика
вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 656480
51.01/Г 47
Автор(ы) : Гильберт, Давид
Заглавие : Основания математики: [в 2 т.]/ Д. Гильберт, П. Бернайс. - (Математическая логика и основания математики). [Т. 1]: Логические исчисления и формализация арифметики
Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1979
Колич.характеристики :557, [3] с
ISBN (в пер.), Цена [Б. и.]: 35.00 р.
УДК : 510
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--исчисления высказываний--рекурсии
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 382496
51.01/Г 47
Автор(ы) : Гильберт, Давид
Заглавие : Основания математики: [в 2 т.]/ Д. Гильберт, П. Бернайс. - (Математическая логика и основания математики). [Т. 2]: Теория доказательств
Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1982
Колич.характеристики :652, [4] с
ISBN (в пер.), Цена [Б. и.]: 40.00 р.
УДК : 510
Предметные рубрики: математика-- математический анализ
Ключевые слова (''Своб.индексиров.''): математическая логика--формализм
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 510/Т 65
Автор(ы) : Трауб Д. Ф.
Заглавие : Информация, неопределённость, сложность : пер. с англ.
Выходные данные : М., 1988
Колич.характеристики :184 с.: ил.; 20см
ISBN, Цена 5-03-000991-4: 1.50 р.
ГРНТИ : 27.03
УДК : 510
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--неопределенность--пространство--уравнение--численные методы--алгоритм--информация--кодирование--бинарные отношения--бисекция--булевы функции--аппроксимация--погрешности
Аннотация: Рассмотрены способы учёта неопределённости в случае, когда пространство решений не снабжено ни нормой, ни метрикой.
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 51/Э 63
Автор(ы) : Энгелер Э.
Заглавие : Метаматематика элементарной математики : научное издание
Выходные данные : М.: Мир, 1987
Колич.характеристики :128 с. ; 20 см
Цена : 0.50 р.
ГРНТИ : 27.15
УДК : 510
Предметные рубрики: МАТЕМАТИКА-- ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математика--элементарная математика--метаматематика--континиум--алгоритмика--ламбда-исчисление
Аннотация: Изложены проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма.
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 51/Л 19
Автор(ы) : Лакатос И.
Заглавие : Доказательства и опровержения : как доказываются теоремы
Выходные данные : М.: Наука, 1967
Колич.характеристики :152 с.: ил.; 19 см
Коллективы : Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 146-151
Цена : 0.50 р.
ГРНТИ : 27.03
УДК : 510
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): теорема эйлера--многогранники--доказательства--математическая истина--понятия
Аннотация: Книга посвящена математической логике, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при этом парадоксах.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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