В12 Л 694 Логика и комбинаторика : [Сб. ст. / Сост. А. А. Егоров]. - М. : Бюро Квантум, 2002. - 126, [1] с. : рис., табл. ; 20 см. - (Приложение к журналу "Квант" ; № 5). - 4000 экз.. - ISBN 5-85843-040-6 : 45.00 р. Содержание: Гасте, В. С чего начинается логика? / В. Гасте. - С .5-15 Цинман, Л. Логические задачи и алгебра высказываний / Л. Цинман. - С .15-26 Шапиро, А. Логика и парламент / А. Шапиро. - С .26-39 Пахомов, В. Демократия с точки зрения математики / В. Пахомов. - С .39-54 Болтянский, В. Информация и математика / В. Болтянский, А. Савин. - С .54-64 Габович, Е. Задача коммивояжера / Е. Габович. - С .64-80 Виленкин, Н. Комбинаторика / Н. Виленкин. - С .80-90 Цаленко, М. Комбинаторные задачи информационного поиска / М. Цаленко. - С .90-101 Болтянский, В. Плоские графы / В. Болтянский. - С .101-109 Башмаков, М. Паросочетания и транспортные сети / М. Башмаков. - С .109-122 Семенов, С. Рукопись, найденная в Сарагосе / С. Семенов. - С .122-127
Рубрики: Логика математическая--Сборники Комбинаторика--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Егоров, А. А. \сост.\ Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР ; Л. : Изд-во АН СССР, 1945 - . [Т.] 17 : Структура В-множеств / Л. В. Келдыш; [Отв. ред. И. Г. Петровский]. - 1945. - 74, [2] с. : ил. ; 25 см. - Библиогр.: с. 74. - 3000 экз.. - 0.70 р.
Рубрики: Математика--Сборники Множеств теория--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР, 1945 - . [Т.] 40 : R-множества / А. А. Ляпунов; [Отв. ред. И. Г. Петровский]. - 1953. - 67, [1] с. : ил. ; 25 см. - Библиогр.: с. 66-67. - Из содерж.:R-операции ; Принцип сравнения индексов ; R-множества ; О построении измеримых множеств ; Т-операция с постоянной базой ; О bs-операциях, сохраняющих измеримость и свойство Бэра. - 2000 экз.. - 0.28 р.
Рубрики: Математика--Сборники Множеств теория--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Бэр, Рене Луи (фр. математик ; 1874-1932) \о нем\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР ; Л. : Изд-во АН СССР, 1945 - . [Т.] 42 : Теория алгорифмов / А. А. Марков; [Отв. ред. И. Г. Петровский]. - 1954. - 374, [1] с. : ил. ; 25 см. - Библиогр.: с. 373-374. - Из содерж.:Буквы, алфавиты, слова ; Понятие алгорифма ; Построение нормальных алгорифмов ; Универсальный алгорифм ; Основные теоремы невозможности алгорифмов ; Неразрешимость некоторых массовых проблем. - 2500 экз.. - 1.88 р.
Рубрики: Математика--Сборники Алгорифмов теория--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР, 1945 - . [Т.] 44 : Об алгоритмической неразрешимости проблемы тождества слов в теории групп / П. С. Новиков; [Отв. ред. И. Г. Петровский]. - 1955. - 143 с. : ил. ; 25 см. - Библиогр.: с. 141. - Из содерж.:Проходные буквы ; Квадратично-проходные буквы ; Центрально-симметрическая группа ; Доказательство основной теоремы. - 2500 экз.. - 0.63 р.
Рубрики: Математика--Сборники Логика математическая--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР, 1945 - . [Т.] 51 : Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики / [Отв. ред. С. В. Яблонский]. - 1958. - 362 с. : ил. ; 26 см. - Библиогр. в конце ст. - Из содерж.:Функциональные построения в к-значной логике / С. В. Яблонский. Об отделимости подмножеств вершин n-мерного единичного куба / Ю. И. Журавлев. О возможностях синтеза схем из произвольных элементов / О. Б. Лупанов. Об одном свойстве функций, реализуемых неплоскими бесповторными схемами / А. В. Кузнецов. О бесповторных контактных схемах и бесповторных суперпозициях функций алгебры логики / А. В. Кузнецов. К теории бесповторных контактных схем / Б. А. Трахтенброт. Логические способы контроля работы электрических схем / И. А. Чегис, С. В. Яблонский. - 3500 экз.. - 1.66 р.
Рубрики: Математика--Сборники Логика математическая--Сборники Кибернетика--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Яблонский, Сергей Всеволодович; Журавлев, Ю. И.; Лупанов, О. Б.; Кузнецов, А. В.; Трахтенброт, Б. А.; Чегис, И. А.; Яблонский, Сергей Всеволодович \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР ; Л. : Изд-во АН СССР, 1945 - . [Т.] 52 : Проблемы конструктивного направления в математике. 1 : Сб. работ / Под ред. Н. А. Шанина. - 1958. - 348, [1] с. : ил. ; 26 см. - Библиогр. в конце ст. - 2500 экз.. - 1.86 р. Содержание: Нагорный, Н. М. Некоторые обобщения понятия нормального алгорифма / Н. М. Нагорный. - С .7-65 Нагорный, Н. М. О минимальном алфавите алгорифмов над данным алфавитом / Н. М. Нагорный. - С .66-74 Детловс, В. К. Эквивалентность нормальных алгорифмов и рекурсивных функций / В. К. Детловс. - С .75-139 Орловский, Э. С. Некоторые вопросы теории алгорифмов / Э. С. Орловский. - С .140-171 Цейтин, Г. С. Ассоциативное исчисление с неразрешимой проблемой эквивалентности / Г. С. Цейтин. - С .172-190 Воробьев, Н. Н. Новый алгорифм выводимости в конструктивном исчислении высказываний / Н. Н. Воробьев. - С .193-225 Шанин, Н. А. О конструктивном понимании математических суждений / Н. А. Шанин. - С .226-312 Марков, А. А. О конструктивных функциях / А. А. Марков. - С .315-347
Рубрики: Математика--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Шанин, Н. А. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Изд-во АН СССР ; Л. : Изд-во АН СССР, 1945 - . [ Т.] 67 : Проблемы конструктивного направления в математике. 2 : (Конструктив. мат. анализ): Сб. работ / Под ред. Н. А. Шанина. - 1962. - 502, [1] с. : ил. ; 26 см. - Библиогр. в конце ст. - Из содерж.:О конструктивной математике / А. А. Марков. Конструктивные вещественные числа и конструктивные функциональные пространства / Н. А. Шанин. Алгоритмические операторы в конструктивных метрических пространствах / Г. С. Цейтин. Теоремы о среднем значении в конструктивном анализе / Г. С. Цейтин. Некоторые свойства конструктивных вещественных чисел и конструктивных функций / И. Д. Заславский. О сингулярных покрытиях и связанных с ними свойствах конструктивных функций / И. Д. Заславский, Г. С. Цейтин. - 4000 экз.. - 2.83 р.
Рубрики: Математика--Сборники Математика конструктивная--Сборники Анализ конструктивный--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Марков, А. А.; Шанин, Н. А.; Цейтин, Г. С.; Заславский, И. Д.; Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Шанин, Н. А. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Наука ; Л. : Наука, 1945 - . [Т.] 72 : Проблемы конструктивного направления в математике : Сб. работ: Посвящ. Андрею Андреевичу Маркову к его шестидесятилетию, [Вып. 3] / Под ред. Н. А. Шанина. - 1964. - 544, [3] с. : ил., портр. ; 27 см. - Библиогр. в конце ст. - 2400 экз.. - (в пер.) : 3.51 р. Содержание: Маслов, С. Ю. Некоторые свойства аппарата канонических исчислений Э. Л. Поста / С. Ю. Маслов. - С .5-56 Маслов, С. Ю. О "Тау"-проблеме Э. Л. Поста / С. Ю. Маслов. - С .57-68 Цейтин, Г. С. Один способ изложения теории алгорифмов и перечислимых множеств / Г. С. Цейтин. - С .69-98 Заславский, И. Д. Граф-схемы с памятью / И. Д. Заславский. - С .99-194 Воробьев, Н. Н. Конструктивное исчисление высказываний с сильным отрицанием / Н. Н. Воробьев. - С .195-227 Идельсон, А. В. Исчисления конструктивной логики с подчиненными переменными / А. В. Идельсон. - С .228-343 Заславский, И. Д. К вопросу об обобщениях принципа конструктивного подбора / И. Д. Заславский, Г. С. Цейтин. - С .344-347 Шанин, Н. А. К вопросу о конструктивном понимании опорных формул. 1 / Н. А. Шанин. - С .348-382 Минц, Г. Е. О предикатных и операторных вариантах построения теории конструктивной математики / Г. Е. Минц. - С .383-436 Оревков, В. П. О конструктивных отображениях круга в себя / В. П. Оревков. - С .437-461 Оревков, В. П. Некоторые вопросы теории полиномов с конструктивными вещественными коэффициентами / В. П. Оревков. - С .462-487 Слисенко, А. О. О некоторых алгорифмических задачах, связанных с арифметическими операциями над дуплексами / А. О. Слисенко. - С .488-523 Слисенко, А. О. Пример неразрывного, но не непрерывного конструктивного оператора в метрическом пространстве / А. О. Слисенко. - С .524-532 Слисенко, А. О. О конструктивных не сепарабельных пространствах / А. О. Слисенко. - С .533-536 Цейтин, Г. С. Три теоремы о конструктивных функциях / Г. С. Цейтин. - С .537-543
Рубрики: Математика--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Шанин, Н. А. \ред.\; Марков, Андрей Андреевич (математик ; 1903-1979) \о нем\; Пост, Эмиль Леон (амер. логик, математик ; 1897-1954) \о нем\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - Л. : Наука, 1945 - . [Т.] 93 : Проблемы конструктивного направления в математике. 4 : Сб. работ / Под ред. В. П. Оревкова, Н. А. Шанина. - 1967. - 262, [2] с. : ил. ; 26 см. - Библиогр. в конце ст. - 2500 экз.. - 1.57 р. Содержание: Маслов, С. Ю. Понятие строгой представимости в общей теории исчислений / С. Ю. Маслов. - С .3-42 Маслов, С. Ю. Представление перечислимых множеств локальными исчислениями / С. Ю. Маслов. - С .43-49 Матиясевич, Ю. В. Простые примеры неразрешимых канонических исчислений / Ю. В. Матиясевич. - С .50-88 Идельсон, А. В. Об алгорифмах, накрывающих данный алгорифм / А. В. Идельсон. - С .89-105 Идельсон, А. В. Замечания об исчислениях конструктивной логики с подчиненными переменными и аксиомой полной индукции / А. В. Идельсон. - С .106-112 Лифшиц, В. А. О конструктивных математических теориях, согласованных с классической логикой / В. А. Лифшиц. - С .113-122 Фан, Динь Зиеу. Об одном языке конструктивной математики, связанном с системами множеств / Фан Динь Зиеу. - С .123-141 Оревков, В. П. О конструктивных отражениях конечных полиэдров / В. П. Оревков. - С .142-163 Оревков, В. П. О некоторых типах непрерывности конструктивных операторов / В. П. Оревков. - С .164-186 Слисенко, А. О. Арифметические операции на некоторых множествах дуплексов / А. О. Слисенко. - С .187-207 Слисенко, А. О. О построении максимальных регуляторов непрерывности конструктивных функций / А. О. Слисенко. - С .208-249 Фан, Динь Зиеу. О замкнутых и открытых множествах в конструктивных топологических пространствах / Фан Динь Зиеу. - С .250-256 Минц, Г. Е. Исправления и дополнения к статье "О предикатных и операторных вариантах построения теорий конструктивной математики" / Г. Е. Минц. - С .257-258 Исправления к сборнику "Проблемы конструктивного направления в математике. 3" . - С .259-263
Рубрики: Математика--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Оревков, В. П. \ред.\; Шанин, Н. А. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - Л. : Наука, 1945 - . [Т.] 98 : Логические и логико-математические исчисления. 1 : Сб. работ / Под ред. В. П. Оревкова. - 1968. - 201, [2] с. : ил. ; 26 см. - Библиогр. в конце ст. - 2500 экз.. - 1.17 р. Содержание: Лифшиц, В. А. Специализация формы вывода в исчислении предикатов с равенством и функциональными символами. 1 / В. А. Лифшиц. - С .5-25 Маслов, С. Ю. Обратный метод установления выводимости для логических исчислений / С. Ю. Маслов. - С .26-87 Минц, Г. Е. О некоторых исчислениях модальной логики / Г. Е. Минц. - С .88-111 Минц, Г. Е. О построении консервативных логических выводов / Г. Е. Минц. - С .112-120 Минц, Г. Е. Разрешимость проблемы выводимости в LJ для класса формул, не содержащих отрицательных вхождений кванторов / Г. Е. Минц. - С .121-130 Оревков, В. П. О гливенковских классах секвенций / В. П. Оревков. - С .131-154 Плюшкевичус, Р. А. Секвенциальный вариант исчисления конструктивной логики для нормальных формул, не содержащих структурных правил / Р. А. Плюшкевичус. - С .155-202
Рубрики: Математика--Сборники Логика математическая--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Оревков, В. П. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - Л. : Наука, 1945 - . [Т.] 113 : Проблемы конструктивного направления в математике. 5 : Сб. работ / Под ред. В. П. Оревкова, Н. А. Шанина. - 1970. - 258, [5] с. : ил. ; 26 см. - Библиогр. в конце ст. - 3100 экз.. - 1.42 р. Содержание: Косовский, Н. К. Некоторые вопросы конструктивной теории нормированных алгебр Буля / Н. К. Косовский. - С .3-38 Кушнер, Борис Абрамович. Некоторые массовые проблемы, связанные с интегрированием конструктивных функций / Б. А. Кушнер. - С .39-72 Слисенко, А. О. Некоторые вопросы аппроксимации максимальных регуляторов непрерывности / А. О. Слисенко. - С .73-78 Фрейдзон, Р. И. Об одной характеристике сложности рекурсивных предикатов / Р. И. Фрейдзон. - С .79-101 Цейтин, Г. С. О верхних границах перечислимых множеств конструктивных вещественных чисел / Г. С. Цейтин. - С .102-172 Шурыгин, В. А. Конструктивные множества с равенством и их отображения / В. А. Шурыгин. - С .173-259
Рубрики: Математика--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Петровский, Иван Георгиевич \ред.\; Никольский, С. М. \ред.\; Оревков, В. П. \ред.\; Шанин, Н. А. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - Л. : Наука, 1945 - . [Т.] 121 : Логические и логико-математические исчисления. 2 : Сб. работ / Под ред. В. П. Оревкова. - 1972. - 163, [1] с. : ил. ; 26 см. - Библиогр. в конце ст. - 3900 экз.. - 1.00 р. Содержание: Замов, Н. К. Об ограничении сложности термов в методе резолюций / Н. К. Замов. - С .5-13 Маслов, С. Ю. Обратный метод и тактики установления выводимости для исчисления с функциональными знаками / С. Ю. Маслов. - С .14-56 Маслов, С. Ю. Разрешимые классы, сводящиеся к однокванторному классу / С. Ю. Маслов, В. П. Оревков. - С .57-66 Минц, Г. Е. Сколимовский метод в интуиционистских исчислениях / Г. Е. Минц. - С .67-99 Оревков, В. П. Неразрешимые классы формул для конструктивного исчисления предикатов. 1 / В. П. Оревков. - С .100-108 Плюшкевичене, А. Ю. Секвенциальный вариант арифметической системы Р. Робинсона, не содержащий правил типа сечения / А. Ю. Плюшкевичене. - С .109-135 Рогава, М. Г. Секвенциальные варианты прикладных исчислений предикатов для структурных правил вывода / М. Г. Рогава. - С .136-164
Рубрики: Математика--Сборники Логика математическая--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Никольский, С. М. \ред.\; Оревков, В. П. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - Л. : Наука, 1945 - . [Т.] 129 : Проблемы конструктивного направления в математике. 6 : Сб. работ / Под ред. В. П. Оревкова, Н. А. Шанина. - 1973. - 266, [3] с. : ил. ; 26 см. - Библиогр. в конце ст. - 1700 экз.. - 1.52 р. Содержание: Косовский, Н. К. Конструктивные варианты законов больших чисел / Н. К. Косовский. - С .3-23 Оревков, В. П. О сложности разложения алгебраических иррациональностей в непрерывные дроби / В. П. Оревков. - С .24-29 Слисенко, А. О. Распознавание предиката симметрии многоголовчатыми машинами Тьюринга со входом / А. О. Слисенко. - С .30-202 Шанин, Н. А. Об иерархии способов понимания суждений в конструктивной математике / Н. А. Шанин. - С .203-266
Рубрики: Математика--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Никольский, С. М. \ред.\; Оревков, В. П. \ред.\; Шанин, Н. А. \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Наука, 1945 - . [Т.] 133 : Математическая логика, теория алгоритмов и теория множеств : Посвящ. акад. П. С. Новикову к его семидесятилетию / [Отв. ред. С. М. Никольский]. - 1973. - 271, [2] с. : ил., портр. ; 27 см. - Библиогр. в конце ст. - 3000 экз.. - (в пер.) : 1.75 р. Содержание: Гиленко, И. Д. О научной и педагогической деятельности Петра Сергеевича Новикова / И. Д. Гиленко, Е. А. Щегольков. - С .5-11 Ляпунов, А. А. О работах П. С. Новикова в области дискретной теории множеств / А. А. Ляпунов. - С .11-22 Адян, С. И. О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры / С. И. Адян. - С .23-32 Арсенин, В. Я. Об одном способе приближенных решений интегральных уравнений первого рода типа сверток / В. Я. Арсенин. - С .33-51 Барздинь, Я. М. О частотном решении проблемы вхождения в рекурсивно перечислимое множество / Я. М. Барздинь. - С .52-58 Белякин, Н. В. Обобщенные вычисления / Н. В. Белякин. - С .59-64 Бочвар, Н. В. Об операторах логической аппроксимации / Н. В. Бочвар, В. И. Фуксов. - С .65-77 Булитко, В. К. О графах с заданными окружениями вершин / В. К. Булитко. - С .78-94 Гладкий, А. В. Математические методы изучения естественных языков / А. В. Гладкий. - С .95-108 Гуревич, Г. А. К проблеме сопряженности для групп с одним определяющим соотношением / Г. А. Гуревич. - С .109-120 Козлова, З. И. R-операция с полной глубиной цепей над несчетными семействами множеств / З. И. Козлова. - С .121-126 Лупанов, О. Б. О сложности универсальной параллельно-последовательной сети глубины 3 / О. Б. Лупанов. - С .127-131 Ляпунов, А. А. О методе трансфинитных индексов в теории операций над множествами / А. А. Ляпунов. - С .132-148 Мучник, А. А. Регулярные линейные и вероятностные события / А. А. Мучник, А. Н. Маслов. - С .149-168 Осипова, В. А. К проблеме сопряженности в полугруппах / В. А. Осипова. - С .169-182 Сметанич, Я. С. О восстановлении слов / Я. С. Сметанич. - С .183-202 Тайманов, А. Д. О некоторых работах, связанных с дескриптивной теорией множеств и топологией / А. Д. Тайманов. - С .203-213 Тайманов, А. Д. О продолжении линейных операторов / А. Д. Тайманов. - С .214-220 Трихтенброт, Б. А. Частотные вычисления / Б. А. Трихтенброт. - С .221-232 Фридман, А. А. Решение проблемы сопряженности в одном классе групп / А. А. Фридман. - С .233-242 Шкира, В. В. Об универсальных функциях для некоторых классов рекурсивных функций и множеств / В. В. Шкира. - С .243-250 Щегольков, Е. А. Униформизация множеств некоторых классов / Е. А. Щегольков. - С .251-262 Яблонский, Сергей Всеволодович. О построении тупиковых кратных экспериментов для автоматов / С. В. Яблонский. - С .263-272
Рубрики: Математика--Сборники Логика математическая--Сборники Алгоритмов теория--Сборники Множеств теория--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Никольский, С. М. \ред.\; Адян, С. И. \ред.\; Новиков, Петр Сергеевич (математик ; 1901-1975) \о нем\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт имени В. А. Стеклова (М.). Труды ... / Акад. наук СССР. - М. : Наука, 1945 - . [Т.] 168 : Алгебра, математическая логика, теория чисел, топология : Сб. обзор. ст., 1: К 50-летию Ин-та / [Редкол.: И. М. Виноградов (гл. ред.) и др.]. - 1984. - 248, [1] с. : ил. ; 27 см. - Библиогр. в конце ст. - 1750 экз.. - (в пер.) : 3.70 р. Содержание: Виноградов, Иван Матвеевич. Метод тригонометрических сумм в теории чисел / И. М. Виноградов, А. А. Карацуба. - С .4-30 Степанов, С. А. Диофантовы уравнения / С. А. Степанов. - С .31-45 Фаддеев, Дмитрий Константинович. Теория Галуа (в МИАНе) / Д. К. Фаддеев. - С .46-71 Паршин, Алексей Николаевич. Арифметика алгебраических многообразий (в отделе алгебры МИАН) / А. Н. Паршин, И. Р. Шафаревич. - С .72-97 Тюрин, Андрей Николаевич. Исследования по геометрии алгебраических многообразий в отделе алгебры МИАН / А. Н. Тюрин. - С .98-109 Минин, Ю. И. Некоторые приложения алгебраической геометрии / Ю. И. Минин. - С .110-131 Кострикин, Алексей Иванович. Алгебры Ли и конечные группы / А. И. Кострикин. - С .132-154 Суслин, А. А. Алгебраическая К-теория (в МИАНе) / А. А. Суслин. - С .155-170 Адян, Сергей Иванович. Исследования по проблеме Бернсайда и связанным с ней вопросам / С. И. Адян. - С .171-196 Адян, Сергей Иванович. Исследования по алгоритмическим вопросам алгебры / С. И. Адян, Г. С. Маканин. - С .197-217 Матиясевич, Ю. В. Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел / Ю. В. Матиясевич. - С .218-235 Понтрягин, Лев Семенович. О моих работах по топологии и топологической алгебре / Л. С. Понтрягин. - С .236-249
Рубрики: Математика--Сборники Алгебра--Сборники Логика математическая--Сборники Чисел теория--Сборники Топология--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Никольский, С. М. \ред.\; Волков, Е. А. \ред.\; Виноградов, Иван Матвеевич \ред.\; Адян, С. И. \ред.\; Мищенко, Е. Ф. \ред.\; Шафаревич, Игорь Ростиславович \ред.\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В12 К 568 Ковриженко, Георгий Андреевич. Системы счисления и двоичная арифметика : От счета на пальцах до ЭВМ / Г. А. Ковриженко. - Киев : Радянська школа, 1984. - 76, [3] с. : ил. ; 20 см. - Библиогр.: с. 78. - 30000 экз.. - 30.00 р.
Рубрики: Исчислений теория Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В12 Г 977 Гуц, Александр Константинович. Математическая логика и теория алгоритмов : [Учеб. пособие для вузов] / А. К. Гуц ; Ом. гос. ун-т. Фак. компьютер. наук. Каф. кибернетики. - Омск : Наследие. Диалог-Сибирь, 2003. - 107 с. : фот., ил. ; 21 см. - Библиогр.: с. 105-107. - 200 экз.. - ISBN 5-8239-0126-7 : 28.25 р., 28.25 р. Содержание: Логика . - С .7-76 Алгоритмы . - С .77-104
Рубрики: Логика математическая--Учебные издания Алгоритмов теория Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Омский государственный университет (Омск). Факультет компьютерных наук. Кафедра кибернетики Экземпляры всего: 3 ДФ (1), ЕА (2) Свободны: ДФ (1), ЕА (2) |
В18 К 608 Колмогоров, Андрей Николаевич. Теория информации и теория алгоритмов / А. Н. Колмогоров; [Сост.: А. Н. Ширяев; Редкол.: Ю. В. Прохоров (отв. ред.) и др.]. - М. : Наука, 1987. - 303, [1] с. : портр. ; 23 см. - Библиогр. в тексте. - 5700 экз.. - (в пер.) : 1.60 р., 130.00 р. Экслибрис: Экз.376322: Штамп синего цв. Из личной библиотеки профессора Е. А. Горина
Рубрики: Информации теория Алгоритмов теория Держатели документа: Омский государственный университет. Библиотека : Омск-77 пр. Мира, 55 А Доп.точки доступа: Прохоров, Ю. В. \ред.\; Боголюбов, Николай Николаевич \ред.\; Никольский, С. М. \ред.\; Обухов, А. М. \ред.\; Тихомиров, В. М. \ред.\; Ширяев, А. Н. \ред.\; Ширяев, А. Н. \сост.\; Колмогоров, Андрей Николаевич (математик ; 1903-1987) \о нем\ Экземпляры всего: 3 ЕА (3) Свободны: ЕА (3) |
В12 К 608 Колмогоров, Андрей Николаевич. Введение в математическую логику : Учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 118, [2] с. : ил. ; 22 см. - Библиогр.: с. 120. - 29500 экз.. - 0.25 р. Содержание: Начальные понятия математической логики и теория множеств . - С .10-51 Логико-математические языки. Логические законы . - С .52-94 Формальные аксиоматические теории . - С .95-115
Рубрики: Логика математическая--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |