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

Базы данных


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

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

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

Кл.слова (ненормированные):
семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети
Экземпляры всего: 1
ОХФ (1)
Найти похожие
2.
A866730-ОХФ
    Сэвидж, Джон Э..
    Сложность вычислений: Пер. с англ. [Текст] = The Complexity of Computing / Дж. Э. Сэвидж ; . - Москва : Факториал, 1998. - 368 с. - Библиогр. - ISBN 5-88688-039-9 (в пер.). - ISBN 0-471-75517-6 : 30.00 р.
УДК
519.6

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

Кл.слова (ненормированные):
вычисления -- автоматы -- Тьюринга машина -- функции -- комбинационная сложность -- память -- универсальные вычислительные машины -- ЭВМ -- сложности теория -- вычислительная сложность -- вычислительные неравенства -- компьютеры
Экземпляры всего: 1
ОХФ (1)
Найти похожие
3.
A870312-ОХФ, A872397-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
УДК
[510.5+510.63](075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний
Экземпляры всего: 2
ОХФ (2)
Найти похожие
4.
A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
УДК
[510.5+510.63](075.8)

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

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

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

Кл.слова (ненормированные):
вычислимые функции -- Тьюринга машина -- рекурсивные функции


Доп. точки доступа:
Шень, А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
6.
A882053-ОХФ
    Мансуров, Владимир Николаевич.
    Конструктивные и развивающиеся формальные системы [Текст] / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.
УДК
510.2
519.71

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

Кл.слова (ненормированные):
формальные системы -- конструктивные формальные системы -- ЭПИ-системы -- бинарные системы -- Тьюринга машина -- алгоритмические языки
Экземпляры всего: 1
ОХФ (1)
Найти похожие
7.
A882421-ОХФ, A882422-ОХФ
   
    Комбинаторика и логика [Текст] : учебное пособие. - Москва : Бюро "Квантум", 2003. - 128 c. - ISBN 5-85843-041-4 : 103.50 р.
Прил. к журн."Квант", №1/2003
УДК
[510.6+519.1](082)

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

Кл.слова (ненормированные):
комбинаторика -- математическая логика -- Тьюринга машина -- Поста машина -- алгоритмические проблемы
Экземпляры всего: 2
ОХФ (2)
Найти похожие
8.
Учебные отделы, A883052-ОХФ, A884391-ОХФ, A884392-ОХФ,
    Скобелев, Владимир Георгиевич.
    Дискретная математика [Текст] : учеб. пособие / В. Г. Скобелев, А. А. Сытник. - Саратов : Издательство Саратовского университета, 2003. - 242, [2] с. - ISBN 5-292-02985-8 : 35.00 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- Булевы функции -- множества -- графов теория -- Тьюринга машина


Доп. точки доступа:
Сытник, Александр Александрович
Экземпляры всего: 11
ОХФ (3), ОУОЕН (8)
Найти похожие
9.
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 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.
A973162-ОХФ
    Григорьев, Владимир Николаевич.
    Оценка сложности вычислительных алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1990. - 13, [3] с. - Библиогр.: с. 15 (4 назв.). - ISBN 5-292-00831-1 : 5.00 р.
УДК
510.5(075.8)

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

Кл.слова (ненормированные):
алгоритмов теория -- вычислительная сложность -- Тьюринга машина


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

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи


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



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

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

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность


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

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

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

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

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

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

Кл.слова (ненормированные):
математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления



Экземпляры всего: 33
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (30)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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