| № | Дата |
Автор |
Заглавие |
|---|
|
1999 |
|
Квантовый компьютер и квантовые вычисления : [Сб. ст. / Гл. ред. В.А.Садовничий. — [Т. 2: Переводы / Предисл. В.А.Садовничего |
|
2003 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля : О компьютерах, мышлении и законах физики / Пер. с англ. под общ. ред. Малышенко В.О |
|
2007 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Рекурсивные функции / С. С. Марченков |
|
2008 |
Матрос, Дмитрий Шаевич (доктор педагогических наук ; 1946—2011) |
Теория алгоритмов : учебник для студентов высших учебных заведений, обучающихся по специальности 050202.65(030100) - информатика / Д. Ш. Матрос, Г. Б. Поднебесова |
|
2010 |
Соболев, Михаил Сергеевич |
Моделирование многокомпонентных систем при помощи взаимодействующих Х-машин : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Соболев Михаил Сергеевич ; [Московский физико-технический институт (государственный университет)] |
|
1981 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
О существенной сложности тьюринговых вычислений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Математическая кибернетика / Мощенский Владимир Андреевич ; Вычислительный центр АН СССР |
|
2021 |
Колдаев, Виктор Дмитриевич (доктор технических наук ; 1950—2020) |
Основы алгоритмизации и программирования : учебное пособие : для студентов учреждений среднего профессионального образования, обучающихся по группе специальностей 09.00.00 "Информатика и вычислительная техника" / В. Д. Колдаев ; под редакцией Л. Г. Гагариной |
|
2021 |
Буркхардт, Мартин (культуролог ; род. 1957) |
Краткая история цифровизации : [перевод с немецкого] / Мартин Буркхардт |
|
2004 |
Рыбалов, Александр Николаевич |
Сложность вычислений в алгебраических системах : автореферат диссертации на соискание ученой степени кандидата физико-матетатических наук : 01.01.06 / Рыбалов Александр Николаевич ; [Омский государственный университет] |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2003 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Тени разума в поисках науки о сознании / Пер. с англ. Логунова А.Р., Зубченко Н.А. Ч. 1, Понимание разума и новая физика |
|
2009 |
Крупский, Владимир Николаевич (кандидат физико-математических наук) |
Теория алгоритмов : учебное пособие для высших учебных заведений по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии" / В. Н. Крупский, В. Е. Плиско |
|
2011 |
Файзрахманов, Марат Хайдарович |
Тьюринговые скачки в иерархии Ершова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Файзрахманов Марат Хайдарович ; [Федеральное государственное автономное образовательное учреждение высшего профессионального образования "Казанский (Приволжский) федеральный университет"] |
|
2010 |
Царев, Роберт Олегович (физик-инженер ; род. 1968) |
Диофантовая структуродинамика / Царев Р. О., Царев О. Б. ; [научный редактор Царев О. Б.]. — Вып. 3 |
|
2012 |
Игошин, Владимир Иванович (кандидат физико-математических наук ; доктор педагогических наук ; род. 1948) |
Теория алгоритмов : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности 050201.65 ― математика / В. И. Игошин |
|
2017 |
Walicki, Michał (математика) |
Introduction to mathematical logic : extended edition / Michal Walicki |
|
2003 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля : О компьютерах, мышлении и законах физики / Р.Пенроуз ; Пер. с англ. под общ. ред. В.О.Малышенко |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров / Л. П. Лисовик. — Т. 1, кн. 1: Типы языков и машин : главы 1―4 |
|
2004 |
|
Введение в квантовые компьютеры / Г.П.Берман [и др.] ; перевод с английского В.Е.Порсева ; под редакцией А.А.Кокина |
|
2002 |
Хопкрофт, Джон Э. |
Введение в теорию автоматов, языков и вычислений / Пер. с англ. Васылык О.И. и др.; Под ред. Ставровского А.Б |
|
1995 |
Dewdney, A. K. |
Der Turing Omnibus : Eine Reise durch die Informatik mit 66 Stationen |
|
2006 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Трансдьюсеры, I / Л. П. Лисовик |
|
2014 |
Забуга, Александр Александрович |
Теоретические основы информатики : для бакалавров и специалистов : учебное пособие по дисциплине "Информатика" для студентов высших учебных заведений / А. А. Забуга |
|
2019 |
Тьюринг, Алан (1912—1954) |
Может ли машина мыслить? = Can the Machine Think? : перевод с английского / А. Тьюринг. Общая и логическая теория автоматов = General and Logical Theory of Automata : перевод с английского / Дж. фон Нейман |
|
2023 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Избранные главы дискретной математики / С. С. Марченков |
|
2004 |
Гайнутдинова, Аида Фаритовна |
Сравнительная сложность квантовых и классических моделей вычислений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Гайнутдинова Аида Фаритовна ; [Научно-исследовательский институт математики и механики им. Н.Г.Чеботарева при Казанском государственном университете] |
|
2003 |
Ишмухаметов, Шамиль Талгатович |
Минимальные покрытия тьюринговых степеней : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Ишмухаметов Шамиль Талгатович ; [Гос. образоват. учреждение высш. проф. образования Ульян. гос. ун-т] |
|
2005 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля : о компьютерах, мышлении и законах физики / Р.Пенроуз ; [перевод с английского под общей редакцией В.О.Малышенко] |
|
2008 |
Винокуров, Никита Алексеевич |
Практика и теория программирования : в 2 кн. : учебное пособие для вузов / Н. А. Винокуров, А. В. Ворожцов. — Кн. 1, ч. 1-2 |
|
2008 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля = The emperor's new mind : о компьютерах, мышлении и законах физики / Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко ; [предисл. Г. Г. Малинецкий] |
|
2011 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля : о компьютерах, мышлении и законах физики / Р. Пенроуз ; перевод с английского под общей редакцией В. О. Малышенко ; [предисловие Г. Г. Малинецкого, с. 4―24] |
|
2017 |
Березун, Даниил Андреевич |
Трассирующая нормализация : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Березун Даниил Андреевич ; [Санкт-Петербургский государственный университет] |
|
2009 |
Шиханович, Юрий Александрович (кандидат педагогических наук ; математик ; 1933—2011) |
Минимум по теории алгоритмов для нематематиков : учебное пособие / Ю. А. Шиханович |
|
2019 |
Шапорев, Сергей Дмитриевич (доктор физико-математических наук) |
Математическая логика : курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев |
|
2019 |
Солтис, Майкл |
Введение в анализ алгоритмов : [перевод с английского] / Майкл Солтис ; Калифорнийский университет Нормандские острова |
|
2006 |
Иванов-Погодаев, Илья Анатольевич |
Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Иванов-Погодаев Илья Анатольевич ; [Московский государственный университет им. М. В. Ломоносова] |
|
2005 |
Вагарина, Наталия Сергеевна (кандидат физико-математических наук) |
Универсальные автоматы как модели функционального восстановления поведения дискретных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Вагарина Наталия Сергеевна ; [Саратовский государственный университет им. Н.Г.Чернышевского] |
|
2008 |
Хопкрофт, Джон Э. |
Введение в теорию автоматов, языков и вычислений : перевод с английского / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2014 |
Колдаев, Виктор Дмитриевич (доктор технических наук ; 1950—2020) |
Структуры и алгоритмы обработки данных : учебное пособие : для студентов, обучающихся по специальностям: 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 230101 "Вычислительные машины, комплексы, системы и сети", 080801 "Прикладная информатика в экономике" / В. Д. Колдаев |
|
2015 |
Гамова, Алла Николаевна (кандидат физико-математических наук) |
Сложность вычислений : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Саратовский государственный университет им. Н. Г. Чернышевского |
|
2020 |
Тьюринг, Алан (1912—1954) |
Может ли машина мыслить? = Can the machine think? / А. Тьюринг. Общая и логическая теория автоматов = General and logical theory of automata : [классика кибернетики в новом, современном оформлении] / Дж. фон Нейман ; перевод с английского Ю. А. Данилова ; под редакцией и с предисловием С. Я. Яновской ; вступительная статья Б. В. Бирюкова |
|
2019 |
Тьюринг, Алан (1912—1954) |
Игра в имитацию : о шифрах, кодах и искусственном интеллекте : [перевод с английского] / Алан Тьюринг |
|
1990 |
Будько, Александр Евгеньевич (кандидат физико-математических наук ; род. 1957) |
Об оценках сложности одноленточных тьюринговых вычислений : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: (01.01.09) / АН БССР, Ин-т математики |
|
1989 |
Албертс, Марис Янович |
Сложностные соотношения вычислений на альтернирующих и вероятностных машинах Тьюринга : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09) / АН БССР, Ин-т математики |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное излож. предмета] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2002 |
Falkowski, Bernd-Jurgen |
Business computing : Grundlagen u. Standardsoftware |
|
2019 |
Колдаев, Виктор Дмитриевич (доктор технических наук ; 1950—2020) |
Основы логического проектирования : учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины, комплексы, системы и сети", "Системы автоматизированного проектирования" / В. Д. Колдаев |
|
2020 |
Губайловский, Владимир Алексеевич (программист ; писатель ; род. 1960) |
Искусственный интеллект и мозг человека / Владимир Губайловский |
|
2000 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Обобщенный метод нитей и некоторые его применения / В. А. Мощенский |
|
1992 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Некоторые сложные тьюринговы вычисления / В.А.Мощенский |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ