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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 645711
681.142(08)/В 94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 152: Теория вычислений и языки спецификаций
Выходные данные : Новосибирск, 1995
Колич.характеристики :219 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-86134-012-9: 2000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): семантическое программирование--естественные языки--тьюринга машина--вычислительные автоматы--немонотонные логики--базы данных--петри сети
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 709124
518/С 97
Автор(ы) : Сэвидж, Джон Э.
Заглавие : Сложность вычислений: Пер. с англ. : научное издание
Параллельн. заглавия :The Complexity of Computing
Выходные данные : Москва: Факториал, 1998
Колич.характеристики :368 с
Примечания : Библиогр.
ISBN, Цена 5-88688-039-9 (в пер.): 30.00 р.
ISBN, Цена 0-471-75517-6: Б.ц.
УДК : 519.6
Предметные рубрики: математика-- вычислительная математика
Ключевые слова (''Своб.индексиров.''): вычисления--автоматы--тьюринга машина--функции--комбинационная сложность--память--универсальные вычислительные машины--эвм--сложности теория--вычислительная сложность--вычислительные неравенства--компьютеры
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 823619
51.013+51.017+017.7:51/Г 18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий . -2-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2000
Колич.характеристики :78, [2] с
Примечания : Библиогр.
ISBN, Цена 5-292-02515-1: 25.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Найти похожие
4.

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

Вид документа : Однотомное издание
Шифр издания : 470023
51.01+62-50+017.7:51+017.7:6/М 23
Автор(ы) : Мансуров, Владимир Николаевич
Заглавие : Конструктивные и развивающиеся формальные системы : научное издание
Выходные данные : Саратов: Издательство Саратовского университета, 1989
Колич.характеристики :192, [4] c.
ISBN, Цена 5-292-00519-3: 14.00 р.
УДК : 510.2 + 519.71
Предметные рубрики: математика-- математическая логика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): формальные системы--конструктивные формальные системы--эпи-системы--бинарные системы--тьюринга машина--алгоритмические языки
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 215574
51.01+518.8/К 63
Заглавие : Комбинаторика и логика : учебное пособие
Выходные данные : Москва: Бюро "Квантум", 2003
Колич.характеристики :128 c.
Примечания : Прил. к журн."Квант", №1/2003
ISBN, Цена 5-85843-041-4: 103.50 р.
УДК : [510.6+519.1](082)
Предметные рубрики: математика-- математическая логика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): комбинаторика--математическая логика--тьюринга машина--поста машина--алгоритмические проблемы
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 285759
518.8+017.7:51/С 44
Автор(ы) : Скобелев, Владимир Георгиевич, Сытник, Александр Александрович
Заглавие : Дискретная математика : учеб. пособие
Выходные данные : Саратов: Издательство Саратовского университета, 2003
Колич.характеристики :242, [2] с
ISBN, Цена 5-292-02985-8: 35.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--булевы функции--множества--графов теория--тьюринга машина
Аннотация: Изложены основные понятия теории множеств, теории отношений, комбинаторики, теории булевых функций, современной алгебры, теории графов, а также представлены две формальные модели вычислений - равнодоступная адресная машина (РАМ) и машины Тьюринга.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 368316
51.017/Г 83
Автор(ы) : Григорьев, Владимир Николаевич, Кожанов, Сергей Львович, Ляшков, Константин Иванович
Заглавие : Оценка сложности вычислительных алгоритмов : учеб. пособие для студентов мех.-мат. фак.
Выходные данные : Саратов: Издательство Саратовского университета, 1990
Колич.характеристики :13, [3] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 15 (4 назв.)
ISBN, Цена 5-292-00831-1: 5.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--вычислительная сложность--тьюринга машина
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 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-полные задачи. Каждая тема сопровождается тестовыми заданиями и упражнениями.
Найти похожие
10.

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Сложность вычислений : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2015
Колич.характеристики :79, [4] с.: ил., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 81 (6 назв.)
ISBN, Цена 978-5-292-04343-0: 235.95 р.
УДК : 510.6(075.8) + 519.6(075.8)
Предметные рубрики: математика-- математическая логика-- вычислительная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--тьюринга машина--вычислительная сложность--приближенные вычисления
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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