A572345-ОХФ, A873360-ОХФ Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит. Ч. 3 : Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л. - 1982. - 359, [1] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): рекурсии теория -- рекурсивные функции -- математическая логика -- алгоритмические проблемы Экземпляры всего: 2 ОХФ (2) |
A882421-ОХФ, A882422-ОХФ Комбинаторика и логика [Текст] : учебное пособие. - Москва : Бюро "Квантум", 2003. - 128 c. - ISBN 5-85843-041-4 : 103.50 р. Прил. к журн."Квант", №1/2003
Рубрики: математика--математическая логика--комбинаторный анализ--теория графов Кл.слова (ненормированные): комбинаторика -- математическая логика -- Тьюринга машина -- Поста машина -- алгоритмические проблемы Экземпляры всего: 2 ОХФ (2) |
A884402-ОХФ, A884403-ОХФ Иванов, Евгений Михайлович. Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
Рубрики: философия--философия духовной жизни математика--математическая логика Кл.слова (ненормированные): геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы Держатели документа: ЗНБ СГУ Экземпляры всего: 2 ОХФ (2) |
Учебная литература, A966687-ОХФ, A966688-ОХФ, A966689-ОХФ, Пентус, Анна Евгеньевна. Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р., 300.00 р., 336.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика вычислительная техника--информационные технологии Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- формальные языки -- контекстно-свободные языки (кс-языки) -- контекстно-свободные грамматики -- автоматные языки -- алгоритмические проблемы -- математическая лингвистика -- регулярные выражения Доп. точки доступа: Пентус, Мати Рейнович Экземпляры всего: 27 ОХФ (3), ОУОЕН (24) |
A989305-ОХФ Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы Экземпляры всего: 1 ОХФ (1) |
A989710-ОХФ-ЧЗ-4 Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Издательский центр "Академия", 2013. - 315, [5] с. - (Среднее профессиональное образование. Математика и естественно-научные дисциплины). - Библиогр.: с. 309-314 (107 назв.). - ISBN 978-5-7695-9362-8 (в пер.) : 310.00 р. Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |