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

Базы данных


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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.12я73/Г 18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений . -3-е изд. , доп.
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2006
Колич.характеристики :84 с.: ил.
Коллективы : Саратовский государственный университет им. Н. Г. Чернышевского
ISBN, Цена 5-292-03595-5: 5 р.
ББК : 22.12я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра--алгоритмы--вычислимые функции--издания саратова--математика--пособия для вузов
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Найти похожие
5.

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

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

Вид документа : Однотомное издание
Шифр издания : 519(075)/Я 14
Автор(ы) : Яблонский С. В.
Заглавие : Введение в дискретную математику : учеб. пособие для вузов . -2-е изд., перераб. и доп.
Выходные данные : М.: Наука, 1986
Колич.характеристики :384 с.: ил.; 20см
Примечания : Библиогр.:с.370-372. - Предм.указ.:с.373-379
Цена : 0.95 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.18
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): комбинаторный анализ--алгебра логики--к-значные логики--детерминированные функции--вычислимые функции--графы--сети--теория кодирования--дизъюнктивные формы--синтез схем
Аннотация: Книга является введением в дискретную математику - раздел прикладной математики. Она написана на основе курса лекций автора.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 22.176я73/Я 14
Автор(ы) : Яблонский, Сергей Всеволодович
Заглавие : Введение в дискретную математику : учеб. пособие для вузов . -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
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)