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

Базы данных


Электронный каталог - результаты поиска

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Экземпляры : всего : ОХФ(5)
Свободны : ОХФ(4)
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- математическая логика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): формальные системы--конструктивные формальные системы--эпи-системы--бинарные системы--тьюринга машина--алгоритмические языки
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
7.

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

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

Вид документа : Однотомное издание
Шифр издания : 621580
51.01351.017017.7:51/Г 186
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -3-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2006
Колич.характеристики :83, [2] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 84 (6 назв.). - Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
ISBN, Цена 5-292-03595-5: 35.00, 30.00, р.
УДК : 510.5(075.8) + 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие
10.

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

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

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

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

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

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

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

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