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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -4-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :304 с.: рис.; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 301 (22 назв.). - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-5272-4: 291.50 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--машина тьюринга--рекурсивные функции
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 518/М 21
Автор(ы) : Мальцев А. И.
Заглавие : Алгоритмы и рекурсивные функции : научное издание
Выходные данные : М.: Наука, 1965
Колич.характеристики :391 с. ; 20 см
Цена : 1.22 р.
ГРНТИ : 27.03 + 27.47
УДК : 518.5
Предметные рубрики: Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множества--рекурсивные функции--нумерация поста--алгоритмы тьюринга
Аннотация: Уже на самых ранних ступенях математики в ней стали возникать различные вычислительные процессы чисто механического характера; с их помощью искомые величины ряда задач вычислялись последовательно из данных исходных величин по определенным правилам и инструкциям. Со временем все такие процессы в математике получили название алгоритмов.
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 517(083)/С 74
Заглавие : Справочная книга по математической логике: в 4 ч. Ч. 3 : Теория рекурсии
Выходные данные : М.: Наука, 1982
Колич.характеристики :360 с.: ил.; 21 см
Цена : 2.00 р.
ГРНТИ : 27.03.01.33
УДК : 517.11(083)
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Ключевые слова (''Своб.индексиров.''): рекурсия--рекурсивные функции--рекурсивные определения--алгоритмы--теория полей--индукции--рекурсивные методы--математика--математическая логика
Аннотация: В справочнике изложена теория рекурсии, алгоритмические проблемы в теории полей, а также рекурсия в высших типах.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 51/П 78
Заглавие : Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций : сб. пер.
Выходные данные : М.: Мир, 1970
Колич.характеристики :432 с.: ил.; 21 см
Серия: Б-ка "Кибернетического Сборника"
Примечания : Библиогр. в конце ст.
Цена : 1.94 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы адаптации--рекурсивные функции--вычислительная система--вычислительные устройства--конечные автоматы--вычислительные машины
Аннотация: Содержит работы по актуальным проблемам математической логики. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями.
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 517.5/П 29
Автор(ы) : Петер Р.
Заглавие : Рекурсивные функции
Параллельн. заглавия :Rekursive funktionen/ R. Peter
Выходные данные : М.: Изд-во иностр. лит., 1954
Колич.характеристики :264 с. ; 23 см
Примечания : Библиогр.: с. 250-255. - Тит. л. парал. на нем. яз.
Цена : 11.15 р.
ГРНТИ : 27.25
УДК : 517.5
Предметные рубрики: Математика-- Теория функций
Ключевые слова (''Своб.индексиров.''): теоретико-числовые функции--рекурсивные функции--возвратная рекурсия--одновременная рекурсия--элементарные функции--многократные рекурсии--трансфинитные рекурсии--вычисляемые функции
Аннотация: Автор книги Rozsa Peter является известным венгерским математиком, принимавшим значительное участие в самых первых шагах создания современной теории рекурсивных функций. Ее исследования 1932-1935 гг., посвященные главным образом выяснению действительного объема класса примитивно-рекурсивных функций, в значительной мере содействовали также и кристаллизации более широкого понимания "рекурсивности", нашедшего свое отражение в понятиях обще-рекурсивной и частично-рекурсивной функций. Предлагаемая советскому читателю книга Р. Петер явилась в мировой литературе первым опытом систематического изложения теории рекурсивных функций в форме монографии. В книге нашли широкое отражение дальнейшие работы по рекурсивным функциям как самой Р. Петер, так и ряда других венгерских математиков.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 517/Р 60
Автор(ы) : Роджерс Х.
Заглавие : Теория рекурсивных функций и эффективная вычислимость : научное издание
Параллельн. заглавия :Theory of recursive functions and effective computability/ H. Rogers
Выходные данные : М.: Изд-во "Мир", 1972
Колич.характеристики :624 с.: ил.; 22 см
Примечания : Библиогр.: с. 587-599. - Тит. л. парал. с англ. яз.
Цена : 3.46 р.
ГРНТИ : 27.25
УДК : 517.5
Предметные рубрики: Математика-- Теория функций
Ключевые слова (''Своб.индексиров.''): математические науки--рекурсивные функции--множества--арифметическая иерархия--алгоритмы--теоремы
Аннотация: Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Ф 19
Автор(ы) : Фалевич Б. Я.
Заглавие : Теория алгоритмов : учеб. пособие для студ. вузов, обучающихся по направлению "Информатика и вычислительная техника"
Выходные данные : М.: Машиностроение, 2004
Колич.характеристики :160 с.: ил.; 21 см
Примечания : Библиогр.: с. 160 (16 назв.). - Допущено М-вом образования РФ
ISBN, Цена 5-217-03249-9: 88.00,130.55 р.
ГРНТИ : 27.47.01.33
УДК : 510.5(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--теория информации--алгоритмы--машина тьюринга--рекурсивные функции--теория множеств--алгорифмы маркова--алгорифмы тьюринга--теория графов--массовые проблемы--предикаты
Аннотация: Освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость, массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций и т. д.
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 62-50/М 62
Автор(ы) : Минский М.
Заглавие : Вычисления и автоматы : монография
Выходные данные : М.: Мир, 1971
Колич.характеристики :364 с.: ил.; 22 см
Примечания : Библиогр.: с. 353-358
Цена : 1.64 р.
ГРНТИ : 50.03
УДК : 62-50
Предметные рубрики: Автоматика
Ключевые слова (''Своб.индексиров.''): абстрактные модели--машины тьюринга--рекурсивные функции--канонические системы--математические модели--нейронные сети
Аннотация: В книге изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста.
Найти похожие
10.

Вид документа : Продолжающееся издание
Шифр издания : 519/М 34
Автор(ы) :
Заглавие : Математические вопросы кибернетики: Сборник статей/ С. В. Яблонский. Вып.3
Выходные данные : М.: Наука, 1991
Колич.характеристики :228 с. ; 27см
ISBN, Цена 5020143235: 4.60 р.
ГРНТИ : 27.47.01.33
УДК : 519.7(082)
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--филогенетические деревья--биологическая эволюция--булевы функции--рекурсивные функции--линейные автоматы--имплицирующий вектор--контактные схемы
Аннотация: В данный выпуск включены оригинальные работы и обзорные статьи, отражающие современное состояние математической кибернетики и наиболее интересные результаты исследований.
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 375415
51.017/М 30
Автор(ы) : Марченков, Сергей Серафимович
Заглавие : Элементарные рекурсивные функции : научное издание
Выходные данные : Москва: МЦНМО, 2003
Колич.характеристики :111, [1] с
Примечания : Библиогр.
ISBN, Цена 5-94057-098-4: 50.00 р.
УДК : 510.57
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): рекурсивные функции--элементарные функции--стековые регистровые машины--предикаты ограниченно арифметические--гжегорчика классы
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 990068
Автор(ы) : Матрос, Дмитрий Шаевич, Поднебесова, Галина Борисовна
Заглавие : Теория алгоритмов : учебник
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2008
Колич.характеристики :202, [6] с.: рис., табл.
Серия: Педагогическое образование
Примечания : Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
ISBN (в пер.), Цена 978-5-94774-226-8: 173.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--np-полные задачи
Аннотация: Учебник по курсу "Теория алгоритмов" для педагогических вузов по спец. "Информатика", полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность вычислений, NP-полные задачи. Каждая тема сопровождается тестовыми заданиями и упражнениями.
Найти похожие
13.

Вид документа : Многотомное издание
Шифр издания : 093518
51.017/С 74
Заглавие : Справочная книга по математической логике: В 4 ч. Ч. 3: Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л.
Выходные данные : Москва: Наука. Гл. ред. физ.-мат. лит., 1982
Колич.характеристики :359, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена Б. и.: 30.00 р.
УДК : 510.57(035.5)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): рекурсии теория--рекурсивные функции--математическая логика--алгоритмические проблемы
Найти похожие
14.

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

Вид документа : Однотомное издание
Шифр издания : 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 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :317, [3] с
Серия: Высшее образование
Примечания : Библиогр.: с. 306-311 (110 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
ISBN (в пер.), Цена 978-5-16-005205-2: 231.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы--гильберта десятая проблема--геделя теорема--тарского теорема--разрешимые множества--перечислимые множества--маркова нормальные алгоритмы
Найти похожие
17.

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

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

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

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