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

[Текст] : сборник научных трудов / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева ; [Редкол.: Загоруйко Н.Г. (гл. ред.) и др.]. - Новосибирск : Институт математики им. С.Л. Соболева, 1995. - 220 с. : ил. - (Вычислительные системы, ISSN 0568-661X ; вып.152). - Библиогр. в конце ст. - 14.58 р.
Аннотация: Сборник посвящен логическим методам синтеза и спецификации программ. Содержит информацию о разработке концепции семантического программирования. Большое внимание уделено проблеме спецификации программных систем и комплексов на языке, близком к естественному языку, базирующемуся на объектно-ориентированном его фрагменте. Описывается задача тестирования систем аксиом при наличии шумов. Изучается проблема моделирования в химических процессах машины Тьюринга и построения на этой базе вычислительных автоматов. Освещено изучение немотонных логик и решение задачи их расширения. Знакомит с моделированием работы сетей и баз данных в них на основе конкретной реализации. Сборник рассчитан на специалистов по прикладной логике, теории алгоритмов, формализации естественного языка и созданию сетей и баз данных.

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

[Текст] : Сборник статей / Российская академия наук ; Российская академия наук; Под ред. С.И. Адяна. - Москва : Наука, 2003. - 207 с. - (Труды Математического института им. В.А. Стеклова ; вып. 242). - Библиогр.: с. 135. - К 100-летию академика П. С. Новикова. - Несколько статей на англ. яз. - ISBN 5-02-032604-6 : 141.00 р., 57.50 р.

ГРНТИ	27.03.19	27.17
УДК	510.6^V3	512^V3

ББК В12 + В15 + В1я43 + В12я43 + В15я43

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

Труды Математического института имени В. А. Стеклова,
том 242

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

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

[Текст] : учебное пособие / Г.П. Гаврилов, А.А. Сапоженко. - Изд. 2-е, перераб. и доп. - Москва : Наука, 1992. - 408 с. : ил., табл. - Библиогр.: с. 403. - Предм. указ.: с. 404-406. - ISBN 5-02-013991-2 : Б. ц.

ГРНТИ

27.03

ББК В12я73

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

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

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

[Текст] / Э. З. Любимский, В. В. Мартынюк, Н. П. Трифонов ; ред. Э. З. Любимский. - Москва : Наука. Главная редакция физико-математической литературы, 1980. - 607 с. : ил ; 22. - Предм. указ.: с. 603-607. - 60000 экз. - (в пер.) : 1.50 р., 1.50 р.
Допущено Министерством высшего и среднего специального образования СССР в качестве учебного пособия для студентов вузов, обучающихся по специальности "Прикладная математика"

ГРНТИ

27.41.77

ББК В185я73

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

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

Доп.точки доступа:
Мартынюк, Виктор Владимирович; Трифонов, Николай Павлович; Любимский, Эдуард Зиновъевич \ред.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

[Текст] : учебное пособие / А. К. Гуц. - Изд. стереотип. - Москва : ЛИБРОКОМ ; Москва : URSS, 2015. - 120 с. : ил., портр., табл. ; 22 . - Библиогр.: с. 114-117. - ISBN 978-5-397-04775-3 : 215.00 р.

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

ББК В12я73

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

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)