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

Базы данных


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

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

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X.
   Вып. 156 : Структурные алгоритмические свойства вычислимости. - 1996. - 152, [4] с. - Библиогр. - ISBN Б. и. : 1500.00 р.
УДК
519.68(082)

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

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

    Соар, Роберт И..
    Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств [Текст] = 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

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

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

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

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

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


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

    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. высш. учеб. заведений / А. Н. Гамова ; Саратовский государственный университет им. Н. Г. Чернышевского. - 3-е изд. , доп. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2006. - 84 с. : ил. - ISBN 5-292-03595-5 : 5 р.
ББК 22.12я73

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

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



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

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



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

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

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

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



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

    Яблонский, С. В.
    Введение в дискретную математику [Текст] : учеб. пособие для вузов / С. В. Яблонский. - 2-е изд., перераб. и доп. - М. : Наука, 1986. - 384 с. : ил. ; 20см. - Библиогр.:с.370-372. - 0.95 р.
Предм.указ.:с.373-379
ГРНТИ
27.41.41.01.33
УДК
519.1(075.8)
ББК 22.18

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

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

    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику [Текст] : учеб. пособие для вузов / С. В. Яблонский ; Московский государственный университет им. М. В. Ломоносова. - 4-е изд., стер. - Москва : Высшая школа, 2006. - 392 с. - (Классический университетский учебник). - Библиогр.: с. 370 - 372. - Предм. указ.: с. 373 - 380. - Указ.: с. 381 - 384. - ISBN 5-06-005683-X : 346.90 р.
ББК 22.176я73 + 22.18я73

Рубрики: Математика--Комбинаторный анализ--Математическая кибернетика

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



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

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