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

Базы данных


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

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

Рубрики: математика--вычислительная математика

Кл.слова (ненормированные):
вычислимость -- алгебраические системы -- вещественные числа -- вычислимые функции
Экземпляры всего: 2
ОХФ (2)
Найти похожие
2.
A903036-ОХФ
    Соар, Роберт И..
    Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств [Текст] = Recursively Enumerable Sets and Degrees / Р. И. Соар ; . - Казань : Изд-во Казан. мат. о-ва, 2000. - 576 с. - Библиогр. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 55.00 р.
УДК
510.22
510.57

Рубрики: математика--математическая логика

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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
вычислимые функции -- Тьюринга машина -- рекурсивные функции


Доп. точки доступа:
Шень, А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
4.
Учебные отделы, A980462-ОХФ, A980463-ОХФ,
    Игошин, Владимир Иванович.
    Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 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 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Держатели документа:
ЗНБ СГУ



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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
вычислимые функции -- рекурсивные функции -- вычислительная сложность -- перечислимые множества



Экземпляры всего: 1
ОХФ (1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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