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

[Текст] : сборник научных трудов / НИИ мат.- информ. основ обучения Новосибирского госуниверситета; Отв. ред. Чуваков. - Новосибирск : НИИ МИОО НГУ. : сборник научных трудов. - 1995. - 186 с. : ил. - Библиогр. в конце ст. . - ISBN 5-88119-002-5 : 60.00 р.

УДК

510.6

517.9

519.2

519.6

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

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

[Текст] : сб. науч. тр. / АН СССР. Сиб. отд-ние. Ин-т математики; Науч. редакторы: Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : [б. и.], 1990. - 188 с. - (Вычислительные системы, ISSN 0568-661X ; вып.133). - Библиогр. в конце ст. - 1.00 р.
Аннотация: В сборнике содержатся статьи, посвященные теории абстрактных типов данных и проблемам семантического прграммирования. Исследуются проблемы конструктивности позитивных типов данных в терминах универсальных и универсальных хорновских предложений, вопросы полиномиальной автоустойчивости структур и различные аксиоматизации теории множеств и вопросы семантики. Изучена обобщенная вычислимость над вещественными числами, и изложены основные идеи и язык по реализации в рамках СИГМА-проекта математических разработок семантического программирования. Материалы сборника представляют интерес для специалистов по математической и прикладной логике, по теоретическому программированию и разработчиков логических систем программирования, а также для студентов и аспирантов указанных специальностей.

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

[Текст] : монография / П. Грэй; Пер.с англ.Х.И.Килова и Г.Е.Минца. ; Под ред.Г.В.Орловского и А.О.Слисенко. - Перевод издания: Logic, algebra and databases / P.M.D.Gray. - Москва : Машиностроение, 1989. - 359 с. : ил + табл. - Библиогр: с.348-358.%ISBN 5-217-00178-Х. - 1.80 р.

УДК	УДК 681.3.06%ББК 32.965

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

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

[Текст] : сборник статей / Под ред. С.Б. Яблонского. - Москва : Физматлит, 1988 - . : Сборник статей. - 1998. - 368 с. : ил. + табл. - Библиогр. в конце ст. - ISBN 5-02-015121-1 : 34.50 р.

УДК	519.6(082)

Аннотация: Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики", которой в 1998 г. исполняется 40 лет. В выпуске представлены оригинальные и обзорные статьи ведущих ученых по магистральным направлениям современной науки, показывающие исторический путь и перспективы развития отдельных научных направлений, наиболее интересные результаты талантливых молодых авторов в области математической логики, теории программирования, сложности управляющих систем, информационных свойств преобразований сигналов, методов принятия решений. Выпуск 6 - 1996 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

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

[Текст] : сборник научных трудов / Науч. ред.Ю.Л.Ершов, С.С.Гончаров ; РАН; Сиб. отд-ние; Ин-т математики им. С.Л.Соболева. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; вып.161). - Библиогр. в конце ст. - 5.00 р.ББК В173.1я43 + В127я43

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

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

[Текст] : монография / С.С. Гончаров, Ю.Л.Ершов; РАН; Сиб. отд-ние; Новосиб. госун-т; Ин-т дискрет. математики и информатики. - Новосибирск : Научная книга, 1999. - 345 с. : ил. - (Сибирская школа алгебры и логики / Гл. ред. серии Ю.Л. Ершов). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1 : 70.00 р.ББК В122

Аннотация: Шестой том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers. Представлена теория конструктивных (рекурсивных) моделей на основе методов, подходов и результатов, полученных в рамках Сибирской школы алгебры и логики, а также некоторые близкие результаты других математиков. Для исследователей в области математической логики и приложений.

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

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

[Текст] : монография / В.А. Горбунов; РАН; Сиб. отд-ние;Ин-т математики им. С.Л.Соболева; Новосиб. госун-т. - Новосибирск : Научная книга, 1999. - 366 с. : ил. - (Сибирская школа алгебры и логики / Гл. ред. серии Ю.Л. Ершов). - Библиогр.: с.339-366. - ISBN 5-88119-015-7 : 50.00 р.

УДК

512

Аннотация: Пятый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers. Теория квазимногообразий изложена на основе единого алгебраического подхода, развитого в работах автора и его учеников. Изложены вопросы, связанные с конечно определенными и подпрямо неразложимыми системами в квазимногообразиях, проблемой Биркгофа-Мальцева о строении решеток квазимногообразий, базисами квазитождеств алгебраических систем. Изложение сопровождается задачами и упражнениями, используемыми также в основном материале книги. Для специалистов по алгебре. Доступна аспирантам и студентам математических специальностей.

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

[Текст] : сборник статей / Под ред. О.Б. Лупанова. - Москва : Физматлит, 1988 - . : Сборник статей. - 1999. - 320 с. : ил., табл. - Библиогр. в конце ст. - ISBN 5-02-015318-4 : 63.00 р.

УДК	519.6(082)

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

Полный текст на сайте РФФИ

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

[Текст] : В двух томах. Т. 1. Обзорные статьи / Под ред. А.Г.Куроша и др. - Москва : Физматлит, 1959. - 1002 с. - Указ.: с. 987-1002. - 4.38 р.ББК Я19


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

[Текст] : сборник статей / Под ред. О.Б. Лупанова. - Москва : Физматлит, 1988 - . : Сборник статей. - 2000. - 272 с. - Библиогр. в конце ст. - ISBN 5-9221-0070-Х : 79.00 р.

УДК	519.6(082)

Аннотация: Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Выпуск посвящен памяти С.В.Яблонского. В нем представлены работы специалистов, долгое время сотрудничавших с С.В.Яблонским, и его учеников. Эти работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем. Выпуск 8 - 1999 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

Полный текст на сайте РФФИ

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

[Текст] : монография / Ю.Л. Ершов; Ин-т математики СО РАН; Новосиб. гос. ун-т; Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - Новосибирск : Научная книга, 2000. - 318 с. - Библиогр.: с.306-314. - ISBN 5-282-02021-1 : 75.00 р.

УДК	519.6%ББК22.19

Аннотация: Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю.Л.Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian scool of Algebra and Logic" (Kluwer Academic / Plenium Publishers"). Второе издание (исправленное и дополненное) приурочено к 60-лнтию акад. Ю.Л.Ершова. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

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

[Текст] : сборник статей / Под ред. О.Б. Лупанова. - Москва : Физматлит, 1988 - . : сборник научных трудов, Вып.10. - 2001. - 272 с. - Библиогр.: с.256-272. - Вып. посвящается 90-летию со дня рождения Алексея Андреевича Ляпунова. - ISBN 5-9221-0221-4 : 192.50 р.

ГРНТИ

28

ББК В18 + З81я431

Аннотация: Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Выпуск посвящён 90-летию со дня рождения А.А.Ляпунова. Представленные в нём работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем, математической биологии, предложена схема и алгоритм нового тестирующего тренажёра для операторов по визуальному управлению в космосе. Выпуск 9 - 2000 г. Дляпециалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и её приложений.

Полный текст на сайте РФФИ

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

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

[Текст] : сборник статей / Под ред. О.Б. Лупанова. - Москва : Физматлит, 1988 - . : Сборник статей. - 2002. - 288 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0376-8 : 27.00 р.

УДК	519.6(082)

ББК В18

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

Держатели документа:
ИВМ СО РАН : 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)

[Текст] / Ин-т философии РАН. - Москва : Наука, 1993 - . - 2003. - 311 с. - Библиогр. в конце ст. - ISBN 5-02-006257-X : 123.50 р.

УДК

16

ББК В1

Аннотация: В юбилейном 10-м выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики, а также статьи, подготовленные по пленарным докладам, прочитанным на 4 Международной конференции "Смирновские чтения" (Москва, май 2003), Здесь же опубликован библиографический указатель (на русском и английском языках) работ, изданных с 1993 по 2003 г. включительно. Сборник предназначен для всех интересующихся логикой и ее приложениями в различных научных дисциплинах.

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

[Текст] : монография / В.В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Нонпарель, 2004. - 340 с. : ил. - (Новая философия математики). - Библиогр.: с. 334-339. - ISBN 5-93089-020-X : 80.00 р.

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

ББК Ю251.4 + В1

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

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

[Текст] : монография / Ю.Г. Гладких. - Москва : МГУ им. М.В.Ломоносова, 2006. - 128 с. : ил. - Библиогр.: с. 120-125. - ISBN 5-211-04989-6 : 93.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю4

Аннотация: Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок. Для научных работников и студентов, интересующихся современными проблемами теоретической логики и методологии науки.

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

[Text] : научное издание / Азиатская конф. по логике (9 ; 2005 ; Новосибирск) . - Новосибирск : Новосибирский государственный университет, 2005. - 142 p. - Библиогр. в конце докл. - В надзаг.: Новосиб. гос. ун-т, Ин-т математики им. С. Л. Соболева. - Англ. - ISBN 5-94356-283-4 : 52.00 р.ББК В12я431


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

[Текст] : Монография / Б.В. Бирюков. - 2-е изд., испр. и доп. - Москва : УРСС ; Москва : КомКнига, 2005. - 136 с. - ISBN 5-484-00053-X : 312.76 р.

УДК

16^V3

ББК В12в + Ю4г(4Г)6д.Фреге,Г. + Ю4г(4Г)6д.Шредер,Э.

Аннотация: В данном издании рассматривается драматическая история математической логики, связанная с понятием "универсума рассуждения" - предметной области в логике. Освещается коллизия взглядов двух выдающихся логиков конца XIX - начала XX вв. - Г. Фреге и Э. Шредера. Логические построения первого, настаивавшего на всеобщем характере логического универсума, привели к противоречивости его системы ("парадокс Рассела"). Подход второго вылился в исторически первую логическую теорию типов предметов. Показано, что спор Фреге и Шредера отражал диалектическую природу логико-онтологического принципа тождества. Книга рассчитана на широкий круг читателей, интересующихся философскими проблемами современной науки, специалистов в области философии и логики, преподавателей высших учебных заведений, аспирантов и студентов: философов, историков математики и логиков.

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

[Текст] : Монография / А.С. Карпенко ; Отв. ред. В.К. Финн. - 2-е изд., испр. - Москва : ЛКИ ; Москва : URSS, 2007. - 256 с. : табл. - Указ. имен. и предм.: с. 244-252. - Библиогр.: с. 223-243. - ISBN 978-5-382-00027-5 : 142.45 р.

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

ББК В12

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

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

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