В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 - . [Т.] 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 - . [Т.] 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 - . [Т.] 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 - . [Т.] 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 Г 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) |
В12 К 608 Колмогоров, Андрей Николаевич. Введение в математическую логику : Учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 118, [2] с. : ил. ; 22 см. - Библиогр.: с. 120. - 29500 экз.. - 0.25 р. Содержание: Начальные понятия математической логики и теория множеств . - С .10-51 Логико-математические языки. Логические законы . - С .52-94 Формальные аксиоматические теории . - С .95-115
Рубрики: Логика математическая--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
В12 К 608 Колмогоров, Андрей Николаевич. Введение в математическую логику : Доп. гл.: Учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 117, [2] с. ; 22 см. - Библиогр.: с. 119. - 13150 экз.. - 0.25 р. Содержание: Теория множеств . - С .15-55 Элементы теории алгоритмов . - С .56-88 Элементы теории доказательств . - С .89-118
Рубрики: Логика математическая--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
В12 К 262 Карпенко, Александр Степанович. Логики Лукасевича и простые числа / А. С. Карпенко; [При сотрудничестве В. И. Шалака; Отв. ред. В. К. Финн]. - М. : Наука, 2000. - 318, [1] с. : ил. ; 23 см. - Парал. тит. л. на англ. яз. - Библиогр.: с. 283-308. - Имен. указ.: с. 309-316. - 700 экз.. - ISBN 5-02-013048-6 (в пер.) : 48.00 р., 48.00 р.
Рубрики: Логика математическая Числа простые (мат.) Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Шалак, В. И.; Финн, В. К. \ред.\ Экземпляры всего: 4 ЕА (4) Свободны: ЕА (4) |
В12 Л 136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2003. - 255 с. ; 21 см. - Библиогр.: с. 248-249.- Предм. указ.: с. 250-255. - Из содерж.:Теория множеств ; Математическая логика ; Теория алгоритмов. - ISBN 5-9221-0026-2 : 112.50 р. Загл. на корешке не указ
Рубрики: Логика математическая Множеств теория Алгоритмов теория Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 53 ЕА (53) Свободны: ЕА (53) |
В12 Е 804 Ершов, Юрий Леонидович. Математическая логика : Учеб. пособие [для вузов] / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Авт. на корешке не указ. - Предм. указ.: с. 335-336. - 2000 экз.. - ISBN 5-8114-0533-2 (в пер.) : 159.00 р., 156.00 р., 159.00 р. Содержание: Исчисление высказываний . - С .15-64 Теория множеств . - С .65-95 Истинность на алгебраических системах . - С .96-118 Исчисление предикатов . - С .119-151 Теория моделей . - С .152-203 Теория доказательств . - С .204-240 Алгоритмы и рекурсивные функции . - С .241-334
Рубрики: Логика математическая--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 3 ЕА (3) Свободны: ЕА (3) |
В12 Л 136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов : [Сб.: Учеб. пособие для вузов] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. ; 22 см. - Библиогр.: с. 248-249.- Предм. указ.: с. 250-255. - Загл. на корешке не указ. - ISBN 5-9221-0026-2 : 112.50 р. Содержание: Теория множеств . - С .7-49 Математическая логика . - С .50-123 Теория алгоритмов . - С .124-154
Рубрики: Логика математическая Множеств теория Алгоритмов теория Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 11 ЕА (11) Свободны: ЕА (11) |
В12 К 608 Колмогоров, Андрей Николаевич. Математическая логика : Учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - 2-е изд., стер. - М. : УРСС, 2005. - 238 с. : ил. ; 22 см. - (Классический университетский учебник). - Библиогр.: с. 115-116, 228. -Имен. указ.: с. 229. -Предм. указ.: с. 230-236. - 1500 экз.. - ISBN 5-354-01003-9 (в пер.) Содержание: Начальные понятия математической логики и теории множеств . - С .13-51 Логико-математические языки. Логические законы . - С .52-91 Формальные аксиоматические теории . - С .91-110 Теория множеств . - С .127-166 Элементы теории алгоритмов . - С .167-198 Элементы теории доказательств . - С .199-227
Рубрики: Логика математическая--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова (М.) Экземпляры всего: 4 ГА (1), ЕА (3) Свободны: ГА (1), ЕА (3) |
В12 Г 490 Гиндикин, Семен Григорьевич. Алгебра логики в задачах / С. Г. Гиндикин. - М. : Наука, 1972. - 287, [1] с. : ил. ; 21 см. - Библиогр.: с. 282-284. - Предм. указ.: с. 285-288. - 50000 экз.. - (в пер.) : 0.76 р., 3000.00 р., 50.00 р., 110.00 р. Экслибрис: Экз.374828: Штамп синего цв. Из личной библиотеки профессора Е. А. Горина
Рубрики: Логика математическая Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
В12 Б 733 Богаченко, Надежда Федоровна. Элементы логики высказываний и теории множеств : учеб.-метод. пособие [для вузов] / Н. Ф. Богаченко, О. Т. Данилова, Р. Т. Файзуллин ; [авт. ред.] ; Ом. гос. ун-т им. Ф. М. Достоевского, Фак. компьютер. наук, Каф. информ. безопасности. - Омск : Наследие. Диалог-Сибирь, 2005. - 135 с. : ил. ; 21 см. - На обороте тит. л. авт. указаны как сост.- На обл. авт. не указаны. - Библиогр.: с. 133-134. - 100 экз.. - 61.90 р. Содержание: Высказывания. Логические операции над высказываниями . - С .14-63 Общие сведения из теории множеств . - С .63-132
Рубрики: Логика математическая--Учебные издания Множеств теория--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Данилова, Ольга Тимофеевна; Файзуллин, Рашит Тагирович; Омский государственный университет им. Ф. М. Достоевского (Омск). Факультет компьютерных наук, Кафедра информационной безопасности Экземпляры всего: 82 ДФ (1), ЕА (81) Свободны: ДФ (1), ЕА (81) |
В1 М 340 Математический институт им. В. А. Стеклова (Л.). Ленинградское отделение. Записки научных семинаров / Акад. наук СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние. - М. : [б. и.], 1967 - 1995. Т. 4 : Исследования по конструктивной математике и математической логике : 1 / под ред. А. О. Слисенко. - 1967. - 218 с. : ил. ; 22 см. - Библиогр. в конце ст. - 1000 экз.. - 0.54 р. Содержание: Давыдов, Г. В. Метод установления выводимости в классическом исчислении предикатов / Г. В. Давыдов Давыдов, Г. В. О корректировании недоказуемых формул / Г. В. Давыдов. - С .18-29 Демут, Освальд. Интеграл Лебега в конструктивном анализе / О. Демут. - С .30-43 Косовский, Н. К. Достаточные условия неполноты для формализаций частей арифметики / Н. К. Косовский. - С .44-57 Лифшиц, В. А. Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами / В. А. Лифшиц. - С .58-64 Лифшиц, В. А. Некоторые классы сведения и неразрешимые теории / В. А. Лифшиц. - С .65-68 Лифшиц, В. А. Дедуктивная общезначимость и классы сведения / В. А. Лифшиц. - С .69-77 Лифшиц, В. А. Проблема разрешимости для некоторых конструктивных теорий равенства / В. А. Лифшиц. - С .78-85 Лифшиц, В. А. О конструктивных группах / В. А. Лифшиц. - С .86-95 Маслов, С. Ю. Обратимый секвенциальный вариант конструктивного исчисления предикатов / С. Ю. Маслов. - С .96-111 Минц, Г. Е. Подбор термов в кванторных правилах конструктивного исчисления предикатов / Г. Е. Минц. - С .112-122 Минц, Г. Е. Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов / Г. Е. Минц. - С .123-133 Минц, Г. Е. Варьирование тактик поиска вывода в секвенциальных исчислениях / Г. Е. Минц. - С .134-151 Минц, Г. Е. Погружающие операции, связанные с "семантикой" С. Крипке / Г. Е. Минц. - С .152-159 Минц, Г. Е. О погружающих операциях / Г. Е. Минц, В. П. Оревков. - С .160-167 Оревков, В. П. Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную / В. П. Оревков. - С .168-173 Плюшкевичус, Р. А. Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода / Р. А. Плюшкевичус. - С .174-188 Рогава, М. Г. О секвенциальных вариантах прикладных исчислений предикатов / М. Г. Рогава. - С .189-200 Слисенко, А. О. О максимальных регуляторах непрерывности конструктивных функций / А. О. Слисенко. - С .201-208 Фрейдзон, Р. И. О представимости алгоритмически разрешимых предикатов машинами Рабина / Р. И. Фрейдзон. - С .209-218
Рубрики: Математика--Сборники Логика математическая--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Слисенко, А. О. \ред.\; Математический институт им. В. А. Стеклова(Л.). Ленинградское отделениеАкадемия наук СССР(Л.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт им. В. А. Стеклова (Л.). Ленинградское отделение. Записки научных семинаров / Акад. наук СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние. - Л. : Наука, 1967 - 1995. Т. 16 : Исследования по конструктивной математике и математической логике : 3 : сб. работ / под ред. А. О. Слисенко. - 1969. - 186, [1] с. : ил. ; 26 см. - Библиогр. в конце ст. - 700 экз. Содержание: Давыдов, Г. В. Машинный алгорифм установления выводимости на основе обратного метода / Г. В. Давыдов [и др.]. - С .8-19 Другие авторы: Маслов С. Ю., Минц Г. Е., Оревков В. П., Слисенко А. О. Гельфонд, М. Г. О конструктивных псевдофункциях / М. Г. Гельфонд. - С .20-27 Голота, Я. Я. Сети меток и выводимость в интуиционистском исчислении высказываний / Я. Я. Голота. - С .28-43 Голота, Я. Я. Некоторые приемы, упрощающие построение сетей меток / Я. Я. Голота. - С .44-53 Замов, Н. К. Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций / Н. К. Замов, В. И. Шаронов. - С .54-64 Заславский, И. Д. О псевдофункциях Шеннона / И. Д. Заславский. - С .65-76 Канович, М. И. Об оценках сложности разрешения алгорифмов / М. И. Канович. - С .77-80 Канович, М. И. Об оценке сложности некоторых массовых проблем анализа / М. И. Канович, Б. А. Кушнер. - С .81-90 Косовский, Н. К. Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства / Н. К. Косовский. - С .91-96 Косовский, Н. К. Интегрируемые. FR-конструкторы над вероятностным пространством / Н. К. Косовский. - С .97-104 Косовский, Н. К. Законы больших чисел в конструктивной теории вероятностей / Н. К. Косовский. - С .105-113 Лифшиц, В. А. О множестве нулей конструктивного степенного ряда в вещественной области / В. А. Лифшиц. - С .114-125 Маслов, С. Ю. Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе / С. Ю. Маслов. - С .126-136 Маслов, С. Ю. Связь между тактиками обратного метода и метода резолюций / С. Ю. Маслов. - С .137-146 Минц, Г. Е. О семантике модальной логики / Г. Е. Минц. - С .147-151 Оревков, В. П. О неудлиняющих применениях правил для равенства / В. П. Оревков. - С .152-156 Оревков, В. П. Некоторые свойства гомеоморфизмов конструктивных метрических пространств / В. П. Оревков. - С .157-164 Петри, Н. В. Две теоремы о сложности алгорифмов и вычислений / Н. В. Петри. - С .165-174 Плюшкевичене, А. Ю. Устранение правил типа сечения в аксиоматических теориях с равенством / А. Ю. Плюшкевичене. - С .175-184
Рубрики: Математика--Сборники Логика математическая--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Слисенко, А. О. \ред.\; Оревков, В. П.; Слисенко, А. О.; Математический институт им. В. А. Стеклова(Л.). Ленинградское отделение; Академия наук СССР(Л.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 М 340 Математический институт им. В. А. Стеклова (Л.). Ленинградское отделение. Записки научных семинаров / Акад. наук СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние. - Л. : Наука, 1967 - 1995. Т. 20 : Исследования по конструктивной математике и математической логике : 4 : сб. работ / под ред.: Ю. В. Матиясевича, А. О. Слисенко. - 1971. - 294 с. : ил. ; 26 см. - Библиогр. в конце ст. - 800 экз. Содержание: Варпаховский, Ф. Л. Об одном классе реализуемых формул логики высказываний / Ф. Л. Варпаховский. - С .8-23 Давыдов, Г. В. Синтез метода резолюций с обратным методом / Г. В. Давыдов. - С .24-35 Заславский, И. Д. Еще один конструктивный вариант теоремы Коши / И. Д. Заславский, Г. С. Цейтин. - С .36-39 Кипнис, М. М. О реализациях предикатных формул / М. М. Кипнис. - С .40-48 Косовский, Н. К. О диофантовых представлениях последовательности решений уравнения Пелля / Н. К. Косовский. - С .49-59 Косовский, Н. К. Об алгоритмических последовательностях из начального класса иерархии Гжегорчика / Н. К. Косовский. - С .60-66 Лифшиц, В. А. Об исследовании конструктивных функций методом заполнений / В. А. Лифшиц. - С .67-79 Маслов, С. Ю. Распространение обратного метода на исчисление с равенством / С. Ю. Маслов. - С .80-96 Матиясевич, Ю. В. Достаточное условие сходимости монотонных последовательностей / Ю. В. Матиясевич. - С .97-103 Матиясевич, Ю. В. О распознавании в реальное время отношения вхождения / Ю. В. Матиясевич. - С .104-114 Минц, Г. Е. Бескванторные и однокванторные системы / Г. Е. Минц. - С .115-133 Минц, Г. Е. Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики / Г. Е. Минц. - С .134-144 Оревков, В. П. Эквивалентность двух определений непрерывности / В. П. Оревков. - С .145-159 Оревков, В. П. О непрерывности конструктивных функционалов / В. П. Оревков. - С .160-169 Оревков, В. П. О биконъюнктивных классах сведения / В. П. Оревков. - С .170-174 Плюшкевичене, А. Ю. О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством / А. Ю. Плюшкевичене. - С .175-185 Плюшкевичене, А. Ю. Об устранении правил типа сечения аксиоматических систем Робинсона и Пресбургера / А. Ю. Плюшкевичене. - С .186-199 Слисенко, А. О. Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы / А. О. Слисенко. - С .200-207 Толстова, Ю. Н. О некотором ослаблении интуиционистской логики / Ю. Н. Толстова. - С .208-219 Фрейдзон, Р. И. Регулярные аппроксимации рекурсивных предикатов / Р. И. Фрейдзон. - С .220-233 Цейтин, Г. С. Приведенная форма нормальных алгоритмов и теорема о линейном ускорении / Г. С. Цейтин. - С .234-242 Цейтин, Г. С. Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов / Г. С. Цейтин. - С .243-262 Цейтин, Г. С. Псевдофундаментальная последовательность, не эквивалентная монотонной / Г. С. Цейтин. - С .263-271 Шкловский, А. И. Некоторые вопросы графической регулярности / А. И. Шкловский. - С .272-281
Рубрики: Математика--Сборники Логика математическая--Сборники Математика конструктивная--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Матиясевич, Ю. В. \ред.\; Слисенко, А. О. \ред.\; Математический институт им. В. А. Стеклова(Л.). Ленинградское отделение; Академия наук СССР(Л.) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |