Сводный каталог книг

/ А. Н. Мелихов. - М. : Наука, 1971. - 416 с. : с черт. - (Теоретические основы технической кибернетики). - Библиогр.: с. 381-413 (662 назв.). - Предм. указ.: с. 4141-416. - 9000 экз. - 1.62 р., 1.62 р.

ГРНТИ	28.25
УДК	62-50

ББК З81в631.6

Аннотация: В монографии рассматриваются вопросы преобразования ориентированных графов и излагается систематический подход к логическому проектированию автоматов методами теории графов. Описываются свойства теоретико-множественных и алгебраических операций над графами и решаются задачи разложения сложных графов на более простые по различным операциям. Определяются основные понятия теории автоматов и формулируются алгоритмы абстрактного анализа и синтеза автоматов. Книга рассчитана на специалистов в области теоретической кибернетики и вычислительной техники, студентов и аспирантов соответствующих специальностей.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

/ В. И. Емельянов, Ю. В. Владимирова. - Москва : Физический факультет МГУ, 2012. - 176 с. - Библиогр.: с. 176. - 300 экз. - ISBN 978-5-8279-0108-2 : 160.00 р., 160.00 р.

ГРНТИ	29.05.15	28.25
УДК	530.145(075.8)

ББК В314 + З 815 + В318я73 + З 815я73

Аннотация: Книга представляет собой краткое введение в квантовую информатику для читателей, не изучавших предварительно квантовую механику. В первой части книги проводится изложение основ волновой квантовой механики и ее приложений к описанию энергетических спектров электронов в атомах, полупроводниках и низкоразмерных наноструктурах. Она завершается рассмотрением полупроводниковых транзисторов (битов) в классических компьютерах. Во второй части производится переход к матричному представлению квантовой механики. Рассмотрены спин и двухуровневые атомы, реализующие квантовые биты (кубиты). Рассмотрены два режима функционирования двухуровневых атомов, взаимодействующих с электромагнитным полем: режим вынужденного излучения в лазерах и нестационарные когерентные атомные процессы. Проведена аналогия второго режима с режимом функционирования кубитов при квантовых вычислениях. Рассмотрены квантовые логические операторы, квантовые схемы, простейшие квантовые коммуникационные протоколы и квантовые алгоритмы, демонстрирующие экспоненциально большие ресурсы квантовых вычислений. Дан обзор современного состояния проблемы физической реализации квантового компьютера с использованием в качестве кубитов спинов, атомов, фотонов, а также макроскопических квантовых сверхпроводников. Книга может служить пособием для студентов физико-математических специальностей, а также представлять интерес для широкого круга читателей, интересующихся современными проблемами физики.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Владимирова, Юлия Викторовна
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

[Рукопись] / Д.Э. Хопкрофт, Раджив. Мотвани, Джеффри. Ульман. - 2-е изд. - Москва : Вильямс, 2002. - 528 с. : ил. - (Теория вычислений). - Библиогр. в конце глав. - Предм. указ.: с. 523-527. - ISBN 5-8459-0261-4 : 244.40 р.

ГРНТИ

50.05.09

28.25

ББК З-815

Аннотация: Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения. Книга будет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Мотвани, Раджив; Ульман, Джеффри
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / А.И. Лобанов, И.Б. Петров. - 2-е изд. - Москва : МФТИ, 2004 - . - 2004. - 168 с. : ил. - Библиогр. в конце глав. - ISBN 5-7417-0230-9 : 74.80 р.

ГРНТИ

28.19

28.25.15

ББК В193.2 + З81

Аннотация: В первой части рассматриваются как дискретные модели динамических систем (разностные отображения и клеточные автоматы), так и системы ОДУ. Особое внимание уделено приближенным методам решения ОДУ (численным и асимптотическим). Приведены коэффициенты современных методов Рунге-Кутты, хорошо зарекомендовавшие себя при решении нежестких задач. Обсуждаются также проблемы качественного анализа динамических систем. Для студентов и преподавателей вузов, а также специалистов по математическому моделированию.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Петров, Игорь Борисович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] = Automated control. Reconfigurable structures : монография / С. В. Шидловский. - Томск : ТГУ, 2006. - 284 с. : ил. - Библиогр. в конце гл. - ISBN 5-94621-186-2 : 240.00 р.

ГРНТИ	28.25
УДК	681.5^V3

ББК З815

Аннотация: Излагаются алгоритмы и способы создания управляющих систем, построенных на базе логических структур и обладающих высокой надежностью за счет изменения внутренней структуры. На основе многофункциональных логических модулей решены проблемы вычисления систем булевых формул определенных классов, отображены вопросы автоматизированного синтеза и исследования функциональных свойств многофункциональных логических модулей и построенных на их основе изотропных и квазиизотропных сред с помощью разработанной логической системы имитационного моделирования Cell System. Подробно освещен вопрос об использовании логических устройств с перестраиваемой структурой в задачах автоматического регулирования. Для специалистов в области систем управления и автоматизации технологических процессов и производств, может быть полезна для студентов, аспирантов, инженеров и научных работников, занимающихся вопросами автоматического управления.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В. Н. Петрушин, М. В. Ульянов. - Москва : Физматлит, 2010. - 224 с. : ил. - Библиогр. в конце глав. - ISBN 978-5-9221-1264-2 : 528.00 р.

ГРНТИ

28.25.23

ББК В19

Аннотация: В пособии рассматриваются основные вопросы, связанные с применением аппарата теории вероятностей и математической статистики к исследованию и анализу компьютерных алгоритмов. Вводятся новые оценки качества компьютерных алгоритмов - информационная чувствительность и доверительная трудоёмкость, актуальные при проектировании информационных и программных систем. Пособие иллюстрировано целым рядом примеров, содержит вопросы и задачи по материалу каждой главы, и может использоваться в качестве современного дополнения к существующей учебной литературе по данной проблематике. Учебное пособие ориентировано на специалистов в области информатики и анализа алгоритмов, разработчиков алгоритмического обеспечения, и предназначено для студентов, аспирантов и преподавателей вузов, специализирующихся в области математической информатики, разработки, анализа и исследования компьютерных алгоритмов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Ульянов, М.В.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / А.Ю. Пономарева, М.К. Чирков. - Санкт-Петербург : ВВМ, 2012. - 101 с. : ил. - (Теория автоматных моделей). - Библиогр.: с. 97-98. - В надзаг.: Санкт-Петербургский государственный университет, Математико-механический факультет. - ISBN 978-5-9651-0646-2 : 30.00 р.

ГРНТИ

28.25

ББК З 815в641

Аннотация: Содержание монографии охватывает основные вопросы абстрактного анализа, синтеза и оптимизации стационарных обобщенных недетерминированных конечных автоматов. Подробно рассматриваются основные понятия теории и свойства таких автоматов, индуцируемых ими недетерминированных отображений и представляемых ими языков. Особенное внимание уделено методам решения задач абстрактного анализа, синтеза и оптимизации абстрактной структуры таких автоматов. Приводятся иллюстрирующие примеры. Монография рассчитана как на специалистов в области математического моделирования, кибернетики и информатики, так и на аспирантов и студентов старших курсов соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Чирков, М.К.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / [ed.]: B. MacLennan. - Hershey ; New York : Information science reference, 2011. - XXIV,366 p. : ill. ; 29 cm. - (Premier reference source). - перевод с английского. - Bibliogr. at the end of the chapters. - Ind.: p. 360-366. - ISBN 978-1-60960-186-7 (в пер.) : 300.00 р.
Перевод заглавия: Теоретические и технологические достижения в нанотехнологии и молекулярных вычислениях: междисциплинарные усилия
   Перевод заглавия: Теоретические и технологические достижения в нанотехнологии и молекулярных вычислениях: междисциплинарные усилия

ГРНТИ

28.25

50.01

ББК З 815 + З 856

Аннотация: Nanotechnology and molecular computation are two of the fastest advancing areas in recent years. Gaining attention over the past few decades, these fields are steadily becoming cornerstones of our developing culture in the 21st century. Theoretical and Technological Advancements in Nanotechnology and Molecular Computation: Interdisciplinary Gains compiles research in areas where nanoscience and computer science meet. This book explores current and future trends that discus areas such as, cellular nanocomputers, DNA self-assembly, and the architectural design of a “nano-brain.” The authors of each chapter have provided in-depth insight into the current state of research in nanotechnology and molecular computation as well as identified successful approaches, tools and methodologies in their research.

оглавление


Доп.точки доступа:
MacLennan, Bruce \ed.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] = CAN THE MACHINE THINK : с приложеним статьи Дж. фон Неймана "Общая и логическая теория автоматов" / А. М. Тьюринг ; пер. с англ. Ю. А. Данилова, Под ред. и авт. предисл. С. А. Яновской, авт. предисл. Б. В. Бирюков. - 2-е изд., испр. и доп. - Москва : ЛЕНАНД ; Москва : URSS, 2016. - 128 с. - (Науки об искусственном ; № 14). - Имен. указ. С. 112. - ISBN 978-5-9710-2758-4 (в пер.) : 286.00 р.

ГРНТИ

28.25

50.07.03

ББК З815я43 + З97я43

Аннотация: Настоящая книга, содержащая работы Алана Тьюринга и Джона фон Неймана, стоявших у истоков создания первых «мыслящих машин» ЭВМ, относится к классике философско-кибернетического направления науки. В ней раскрывается ряд не утративших своей актуальности вопросов из области информатики и искусственного интеллекта. Некоторая временная дистанция помогает определить, какие из утверждений авторов не оправдали себя, а какие заняли достойное место в науке (например, «игра в имитацию»). Книга будет интересна широкому кругу читателей, интересующихся проблемами логики и искусственного интеллекта в его историческом и философском контексте.

Аннотация


Доп.точки доступа:
Данилов, Ю.А. \пер.\; Яновская, С.А. \ред., авт. предисл.\; Бирюков, Б.В. \авт. предисл.\; Turing Alan Mathison
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)