Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

В текущей базе данных найдено документов :19

В других БД по вашему запросу найдено:

Электронный каталог (9)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=рекурсивные функции<.>)

Общее количество найденных документов : 19
Показаны документы с 1 по 19

Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит.
Ч. 3 : Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л. - 1982. - 359, [1] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.

УДК

510.57(035.5)

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

Кл.слова (ненормированные):
рекурсии теория -- рекурсивные функции -- математическая логика -- алгоритмические проблемы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

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

УДК

510.57(075)

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

Кл.слова (ненормированные):
вычислимые функции -- Тьюринга машина -- рекурсивные функции
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Шень, А.
Найти похожие

Марченков, Сергей Серафимович.
Элементарные рекурсивные функции [Текст] : научное издание / С. С. Марченков. - Москва : МЦНМО, 2003. - 111, [1] с. - Библиогр. - ISBN 5-94057-098-4 : 50.00 р.

УДК

510.57

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

Кл.слова (ненормированные):
рекурсивные функции -- элементарные функции -- стековые регистровые машины -- предикаты ограниченно арифметические -- Гжегорчика классы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Матрос, Дмитрий Шаевич.
Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р.
Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика

УДК

510.5(075.8)

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи
Аннотация: Учебник по курсу "Теория алгоритмов" для педагогических вузов по спец. "Информатика", полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность вычислений, NP-полные задачи. Каждая тема сопровождается тестовыми заданиями и упражнениями.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Поднебесова, Галина Борисовна
Найти похожие

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

Найти похожие

Крупский, Владимир Николаевич.
Теория алгоритмов [Текст] : учеб. пособие для студентов вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Изд. центр "Академия", 2009. - 205, [3] с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 203 (19 назв.). - ISBN 978-5-7695-5293-9 (в пер.) : 365.20 р.
Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"

УДК

510.5(075.8)

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Плиско, Валерий Егорович
Найти похожие

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

УДК

510.57(075.8)

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

Кл.слова (ненормированные):
вычислимые функции -- рекурсивные функции -- вычислительная сложность -- перечислимые множества
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Найти похожие

Игошин, Владимир Иванович.
Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика

УДК

510.5(075.8)

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Игошин, Владимир Иванович.
Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Издательский центр "Академия", 2013. - 315, [5] с. - (Среднее профессиональное образование. Математика и естественно-научные дисциплины). - Библиогр.: с. 309-314 (107 назв.). - ISBN 978-5-7695-9362-8 (в пер.) : 310.00 р.
Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"

УДК

510.5(075.32)

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

10.

Математические вопросы кибернетики [Текст] : сборник статей / С. В. Яблонский. - М. : Наука, 1991 - .
Вып.3. - 1991. - 228 с. ; 27см. - ISBN 5020143235 : 4.60 р.

ГРНТИ	27.47.01.33
УДК	519.7(082)

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
математическая кибернетика -- филогенетические деревья -- биологическая эволюция -- булевы функции -- рекурсивные функции -- линейные автоматы -- имплицирующий вектор -- контактные схемы
Аннотация: В данный выпуск включены оригинальные работы и обзорные статьи, отражающие современное состояние математической кибернетики и наиболее интересные результаты исследований.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Яблонский, С.В.
Найти похожие

11.

Фалевич, Б. Я.
Теория алгоритмов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению "Информатика и вычислительная техника" / Б. Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. ; 21 см. - Библиогр.: с. 160 (16 назв.). - ISBN 5-217-03249-9 : 88.00,130.55 р.
Допущено М-вом образования РФ

ГРНТИ	27.47.01.33
УДК	510.5(075.8)

ББК 22.12

Рубрики: Математика--Теория алгоритмов

Кл.слова (ненормированные):
математика -- теория информации -- алгоритмы -- машина Тьюринга -- рекурсивные функции -- теория множеств -- алгорифмы Маркова -- алгорифмы Тьюринга -- теория графов -- массовые проблемы -- предикаты
Аннотация: Освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость, массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций и т. д.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

12.

Справочная книга по математической логике [Текст] : в 4 ч. - М. : Наука, 1982 - .
Ч. 3 : теория рекурсии / под ред. Дж. Барвайса; пер. с англ. С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. : ил. ; 21 см. - 2.00 р.

ГРНТИ	27.03.01.33
УДК	517.11(083)

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
РЕКУРСИЯ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ -- АЛГОРИТМЫ -- ТЕОРИЯ ПОЛЕЙ -- ИНДУКЦИИ -- РЕКУРСИВНЫЕ МЕТОДЫ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: В справочнике изложена теория рекурсии, алгоритмические проблемы в теории полей, а также рекурсия в высших типах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Барвайс, Дж.
Дворников, С. Г.
Лавров, И. А.
Найти похожие

13.

Мальцев, А. И.
Алгоритмы и рекурсивные функции [Текст] : научное издание / А. И. Мальцев. - М. : Наука, 1965. - 391 с. ; 20 см. - 1.22 р.

ГРНТИ	27.03	27.47
УДК	518.5

Рубрики: Математика--Теория алгоритмов

Кл.слова (ненормированные):
МНОЖЕСТВА -- РЕКУРСИВНЫЕ ФУНКЦИИ -- НУМЕРАЦИЯ ПОСТА -- АЛГОРИТМЫ ТЬЮРИНГА
Аннотация: Уже на самых ранних ступенях математики в ней стали возникать различные вычислительные процессы чисто механического характера; с их помощью искомые величины ряда задач вычислялись последовательно из данных исходных величин по определенным правилам и инструкциям. Со временем все такие процессы в математике получили название алгоритмов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

14.

Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : ИЦ "Академия", 2008. - 304 с. : рис. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - ISBN 978-5-7695-5272-4 : 291.50 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

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

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- МАШИНА ТЬЮРИНГА -- РЕКУРСИВНЫЕ ФУНКЦИИ
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

15.

Минский, М.
Вычисления и автоматы [Текст] : монография / М. Минский ; пер. с англ.: Б. Л. Овсиевича, Л. Я. Розенблюма. - М. : Мир, 1971. - 364 с. : ил. ; 22 см. - Библиогр.: с. 353-358. - 1.64 р.

ГРНТИ	50.03
УДК	62-50

Рубрики: Автоматика

Кл.слова (ненормированные):
АБСТРАКТНЫЕ МОДЕЛИ -- МАШИНЫ ТЬЮРИНГА -- РЕКУРСИВНЫЕ ФУНКЦИИ -- КАНОНИЧЕСКИЕ СИСТЕМЫ -- МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- НЕЙРОННЫЕ СЕТИ
Аннотация: В книге изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Овсиевич, Б. Л.
Розенблюм, Л. Я.
Найти похожие

16.

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. пер. / под ред. В. А. Козмидиади, А. А. Мучника. - М. : Мир, 1970. - 432 с. : ил. ; 21 см. - (Б-ка "Кибернетического Сборника"). - Библиогр. в конце ст. - 1.94 р.

ГРНТИ	27.03
УДК	510.6

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

Кл.слова (ненормированные):
АЛГОРИТМЫ АДАПТАЦИИ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- ВЫЧИСЛИТЕЛЬНЫЕ УСТРОЙСТВА -- КОНЕЧНЫЕ АВТОМАТЫ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
Аннотация: Содержит работы по актуальным проблемам математической логики. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Козмидиади, В. А.
Мучник, А. А.
Найти похожие

17.

Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость [Текст] / Х. Роджерс ; пер. с англ.: В. А. Душского, М. И. Кановича, Е. Ю. Ногиной ; под ред. В. А. Успенского = Theory of recursive functions and effective computability / H. Rogers : научное издание. - М. : Изд-во "Мир", 1972. - 624 с. : ил. ; 22 см. - Библиогр.: с. 587-599. - 3.46 р.
Тит. л. парал. с англ. яз.

ГРНТИ	27.25
УДК	517.5

Рубрики: Математика--Теория функций

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ НАУКИ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- МНОЖЕСТВА -- АРИФМЕТИЧЕСКАЯ ИЕРАРХИЯ -- АЛГОРИТМЫ -- ТЕОРЕМЫ
Аннотация: Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Душский, В. А.
Канович, М. И.
Ногина, Е. Ю.
Успенский, В. А.
Найти похожие

18.

Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г.-Д. Эббинхауз [и др.] ; пер. с нем. Э. Г. Белаги. - М. : Изд-во "Мир", 1972. - 264 с. : ил., табл. ; 20 см. - (Современная математика). - Библиогр. в конце глав. - Указ.: с. 248-250. - Предм. указ.: с. 251-262. - 0.89 р.

ГРНТИ	27.25
УДК	517.11

Рубрики: Математика--Теория функций

Кл.слова (ненормированные):
АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ПЕРЕЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА
Аннотация: Книга содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Эббинхауз, Г.-Д.
Якобс, К.
Ман, Ф.-К.
Хермес, Г.
Белага, Э. Г.
Найти похожие

19.

Петер, Р.
Рекурсивные функции [Текст] / Р. Петер ; пер.с нем. В. А. Успенского ; под ред. А. Н. Колмогорова = Rekursive funktionen / R. Peter. - М. : Изд-во иностр. лит., 1954. - 264 с. ; 23 см. - Библиогр.: с. 250-255. - 11.15 р.
Тит. л. парал. на нем. яз.

ГРНТИ	27.25
УДК	517.5

Рубрики: Математика--Теория функций

Кл.слова (ненормированные):
ТЕОРЕТИКО-ЧИСЛОВЫЕ ФУНКЦИИ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- ВОЗВРАТНАЯ РЕКУРСИЯ -- ОДНОВРЕМЕННАЯ РЕКУРСИЯ -- ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ -- МНОГОКРАТНЫЕ РЕКУРСИИ -- ТРАНСФИНИТНЫЕ РЕКУРСИИ -- ВЫЧИСЛЯЕМЫЕ ФУНКЦИИ
Аннотация: Автор книги Rozsa Peter является известным венгерским математиком, принимавшим значительное участие в самых первых шагах создания современной теории рекурсивных функций. Ее исследования 1932-1935 гг., посвященные главным образом выяснению действительного объема класса примитивно-рекурсивных функций, в значительной мере содействовали также и кристаллизации более широкого понимания "рекурсивности", нашедшего свое отражение в понятиях обще-рекурсивной и частично-рекурсивной функций. Предлагаемая советскому читателю книга Р. Петер явилась в мировой литературе первым опытом систематического изложения теории рекурсивных функций в форме монографии. В книге нашли широкое отражение дальнейшие работы по рекурсивным функциям как самой Р. Петер, так и ряда других венгерских математиков.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Успенский, В. А.
Колмагоров, А. Н.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)