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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 458178
681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 156: Структурные алгоритмические свойства вычислимости
Выходные данные : Новосибирск: Б. и., 1996
Колич.характеристики :152, [4] с
Примечания : Библиогр.
ISBN, Цена Б. и.: 1500.00 р.
УДК : 519.68(082)
Предметные рубрики: математика-- вычислительная математика
Ключевые слова (''Своб.индексиров.''): вычислимость--алгебраические системы--вещественные числа--вычислимые функции
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 481670
51.017+51.018/С54
Автор(ы) : Соар, Роберт И.
Заглавие : Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств
Параллельн. заглавия :Recursively Enumerable Sets and Degrees
Выходные данные : Казань: Изд-во Казан. мат. о-ва, 2000
Колич.характеристики :576 с
Примечания : Библиогр.
ISBN, Цена 5-900975-22-3: 55.00 р.
ISBN, Цена 3-540-15299-7: Б.ц.
ISBN, Цена 0-387-15299-7: Б.ц.
УДК : 510.22 + 510.57
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): вычислимые функции--вычислимо перечислимые множества--степени--решетки--рекурсия
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 794677
51.017/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3: Вычислимые функции
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 1999
Колич.характеристики :173, [3] с
Примечания : Авт. и загл. кн. указаны на тит. л.
ISBN, Цена 5-900916-39-1: 40.00 р.
УДК : 510.57(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): вычислимые функции--тьюринга машина--рекурсивные функции
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 645909
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Основы теории алгоритмов : лекции для студентов, изучающих информатику и информ. технологии
Выходные данные : Саратов: Издательский центр "Наука", 2008
Колич.характеристики :96, [1] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 92-94 (72 назв.)
ISBN, Цена 978-5-91272-541-8: 85.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--вычислимые функции--рекурсивные функции--перечислимость
Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Экземпляры : всего : ОХФ(2), ОУОЕН(1)
Свободны : ОХФ(2), ОУОЕН(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 153388
Автор(ы) : Кочетков, Юрий Юрьевич
Заглавие : Вычислимые функции : учеб. пособие
Выходные данные : Москва: [Б. и.], 2008
Колич.характеристики :53, [3] с
Коллективы : Гос. образоват. учреждение высш. проф. образования "Московский государственный институт электроники и математики (технический университет"
Примечания : Библиогр.: с. 53 (3 назв.)
ISBN, Цена 978-5-94506-201-6: 158.84 р.
УДК : 510.57(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): вычислимые функции--рекурсивные функции--вычислительная сложность--перечислимые множества
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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