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

[Текст] : учебное пособие по направлению "Информатика и вычислительная техника" специальности "Программное обеспечение вычислительной техники и автоматизирированных систем", а также специальности "Информационные системы и технологии" / А. А. Набебин, Ю. П. Кораблин. - Москва : Научный мир, 2008. - 343 с. ; 22 см. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 (в пер.) : 270.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)^V3

ББК В12я73

Аннотация: Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Для студентов вузов, специализирующихся в области прикладной математики, вычислительной техники, программирования, информатики.

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

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

[Текст] : учебное пособие по направлению 230200 "Информационные системы и технологии" / М. В. Ульянов. - Москва : Физматлит, 2008. - 303 с. : ил. - (Информационные и компьютерные технологии). - Библиогр. в конце гл. - ISBN 978-5-9221-0950-5 : 381.43 р.

ГРНТИ	50.05	27.03
УДК	519.712(075.8)^V3

ББК З 973.2-018я73 + В127я73

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

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

[Текст] : монография / С. С. Скиена. - 2-е изд. - Санкт-Петербург : БХВ-Петербург, 2011. - 719 с. : ил. - Предм. указ.: с. 713-719. - Библиогр.: с. 675-712. - Пер. изд. : The algorithm design manual / S. S. Skiena. - ISBN 978-5-9775-0560-4 : 510.00 р.

ГРНТИ

27.03

50.05

ББК З 973.2-018я7 + В127я7

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

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

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

[Text] : сборник / ed. by Mikhail J. Atallah. - Boca Raton ; London ; New York : CRC Press, 1999. - 1 vol. (var. pag.) : il. - Bibliogr. at the end of the chapters. - Ind. at the end of the book. - ISBN 0-8493-2649-4 : Б. ц.
Перевод заглавия: Руководство по алгоритмам и теории вычислений
   Перевод заглавия: Руководство по алгоритмам и теории вычислений

ГРНТИ

27.03

50.05

ББК В127я82 + В173.1я82 + З 973.2-018я82

Аннотация: This book contains information obtained from authentic and highly regarded sources. Reprinted material is quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable efforts have been made to publish reliable data and information, but the author and the publisher cannot assume responsibility for the validity of all materials or for the consequences of their use. Neither this book nor any part may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, microfilming, and recording, or by any information storage or retrieval system, without prior permission in writing from the publisher.

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

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

[Текст] : монография / В. В. Целищев ; Институт философии и права (Новосибирск), Сибирское отделение РАН. - Новосибирск : Параллель, 2008. - 172,[1] с. : ил. ; 22 см. - (Новая философия математики). - Библиогр.: с. 168-172. - 400 экз. - ISBN 978-5-98901-053-0 : 140.00 р.

ГРНТИ	27.03
УДК	51:1^V3

ББК В127,0

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

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Институт философии и права (Новосибирск); Сибирское отделение РАН
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)