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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 517/К 49
Автор(ы) : Клини С. К.
Заглавие : Математическая логика : научное издание
Выходные данные : М.: Мир, 1973
Колич.характеристики :480 с. ; 22 см
Примечания : Указ.: с. 471-478
Цена : 2.50 р.
ГРНТИ : 27.03
УДК : 517.11
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Ключевые слова (''Своб.индексиров.''): исчисление высказываний--исчисление предикатов--вычислимость--разрешимость--теория моделей--счетные множества
Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 517/М 38
Автор(ы) : Эббинхауз Г.-Д., Якобс К., Ман Ф.-К., Хермес Г.
Заглавие : Машины Тьюринга и рекурсивные функции : научное издание
Выходные данные : М.: Изд-во "Мир", 1972
Колич.характеристики :264 с.: ил., табл.; 20 см
Серия: Современная математика
Примечания : Библиогр. в конце глав. - Указ.: с. 248-250. - Предм. указ.: с. 251-262
Цена : 0.89 р.
ГРНТИ : 27.25
УДК : 517.11
Предметные рубрики: Математика-- Теория функций
Ключевые слова (''Своб.индексиров.''): алгоритмы--машины тьюринга--перечислимость--разрешимость--рекурсивные функции--математическая логика--множества
Аннотация: Книга содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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