Výsledky vyhľadávania - "НЕРАЗРЕШИМОСТЬ"

The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable ; Проблема разрешимости позитивной теории произвольной группы алгоритмически неразрешима

Autori: Valeriy Georgievich Durnev Alena Igorevna Zetkina Валерий Георгиевич Дурнев a ďalší

Prispievatelia: Valeriy Georgievich Durnev Alena Igorevna Zetkina Валерий Георгиевич Дурнев a ďalší

Zdroj: Chebyshevskii Sbornik; Том 24, № 1 (2023); 40-49 ; Чебышевский сборник; Том 24, № 1 (2023); 40-49 ; 2226-8383 ; 10.22405/2226-8383-2023-24-1

Predmety: алгоритмическая неразрешимость, positive group theory, positive group class theory, algorithmic solvability, algorithmic insolubility, позитивная теория группы, позитивная теория класса групп, алгоритмическая разрешимость

Popis súboru: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1472/1053; Адян С. И. Алгоритмическая неразрешимость проблем распознавания некоторых свойств; групп // Докл. АН СССР. 1955. Т. 103, № 4. С. 533–535.; Адян С. И. Неразрешимость некоторых алгоритмических проблем теории групп // Труды; ММО. 1957. Т. 6. С. 231-298.; Rabin M. O. Recursive unsolvability of group theoretic problems // Ann. of Math. 1958. Vol. 67; № 1. P. 172-194.; Collings D. J. On recognizing Hopf groups // Arh. Math. 1969. Vol. 20. P. 235-240.; Miller C. F. III. Decision problems for groups – servey and reflections // Math. Sci. Res. Inst.; Publ. 1992. Vol. 23. P. 1-59.; Miller C. F. III, Schupp P.E. Embeddings into Hopfian groups // Journal Algebra, 1971. Vol. 17.; P. 171-176.; Miller C. F. III. On group-theoretic decision problems and their classification // Ann. of Math.; Studies. 1971. Vol. 68. Princeton University Press.; Мерзляков Ю. И. Позитивные формулы на свободных группах. // Алгебра и логика. 1966.; Т. 5, вып. 4. С. 25-42.; Sacerdote G. S. Almost all free products of groups have the same positive theory // Journal; Algebra. 1973. Vol. 27, № 3. P. 475-485.; Перязев Н. А. Позитивная неотличимость алгебраических систем и полнота позитивных; теорий // Матем. заметки. 1985. Т. 38, № 2. С. 208-212.; Перязев Н. А. Позитивные теории свободных моноидов // Алгебра и логика. 1993. Т. 32; № 2. С. 148- 159.; Ремеслеников В. Н. ∃-свободные группы // Сиб. матем. журнал. 1989. Т. 30, № 6. С. 193-; Маканин Г. С. Разрешимость универсальной и позитивной теорий свободной группы //; Изв. АН СССР. Серия матем. 1984. № 2. С. 35-749.; Матиясевич Ю.В. Диофантовость перечислимых множеств // Докл. АН СССР. 1970.; Т. 130, № 3. С. 495-498.; Мальцев А. И. Об одном соответствии между кольцами и группами // Матем. сб. 1960.; Т. 50, № 2. С. 257-266.; Борисов В. В. Простые примеры групп с неразрешимой проблемой тождества // Матем.; заметки. 1969. Т. 6, вып. 5. С. 521-532.; https://www.chebsbornik.ru/jour/article/view/1472

Dostupnosť: https://www.chebsbornik.ru/jour/article/view/1472
https://doi.org/10.22405/2226-8383-2023-24-1-40-49

Теория автоматов, языков и вычислений

Prispievatelia: Сибирский федеральный университет Институт математики и фундаментальной информатики Семенова, Дарья Владиславовна a ďalší

Predmety: ТЕОРИЯ АВТОМАТОВ, ФОРМАЛЬНЫЕ ГРАММАТИКИ, НЕРАЗРЕШИМОСТЬ, 519.71(07), КОНЕЧНЫЕ АВТОМАТЫ, СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ, ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ, ФОРМАЛЬНЫЕ ЯЗЫКИ, РЕГУЛЯРНЫЕ ВЫРАЖЕНИЯ И ЯЗЫКИ, ТЕОРИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ

Prístupová URL adresa: https://openrepository.ru/article?id=450714

Meaningfulness. Knowability. Verifiability ; Осмысленность. Познаваемость. Проверяемость

Autori: Фролов, К. Г.

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112 ; Логико-философские штудии; Том 15, № 2 (2017); 104-112 ; 2223-3954 ; 2071-9183

Predmety: meaningfulness, verificationism, semantics, algorithmically unsolvability, matrix mortality problem, Champernowne constant, осмысленность, верификационизм, семантика, алгоритмическая неразрешимость, смертность матриц, число Чамперноуна

Popis súboru: application/pdf

Relation: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518; https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

Dostupnosť: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

О задаче контроля целостности программного обеспечения удаленного недоверенного хоста ; About the task of integrity control of the software of a remote unreliable host

Autori: Бородин Андрей Викторович Andrei V. Borodin Старовойтов Алексей Андреевич a ďalší

Zdroj: Relevant lines of scientific research: theory and practice; № 3; 119-123 ; Актуальные направления научных исследований: перспективы развития; № 3; 119-123

Predmety: целостность, обфускация, integrity, доверенная аппаратная компонента, доверенный хост, изолированная программная среда, криптографическая хеш-функция, неразрешимость, удаленный хост, entrusted hardware component, entrusted host, isolated software environment, cryptographic hash function, undecidable, obfuskation, distant host

Popis súboru: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-9500768-8-6; https://interactive-plus.ru/e-articles/431/Action431-464620.pdf; 1. Бородин А.В. Линейные конгруэнтные последовательности максимального периода в задачах обфускации программ / А.В. Бородин // Кибернетика и программирование. – 2016. – №6. – С. 1–19. – DOI:10.7256/2306–4196.2016.6.18499.; 2. Бородин А.В. Обфускация пула констант как задача построения минимальной системы целочисленных линейных комбинаций / А.В. Бородин, Е.Д. Долгушев // Образование, наука, бизнес: развитие и перспективы: Материалы III международной научно-практической конференции (6 мая 2016 г.). – Саратов: Изд-во ЦПМ «Академия Бизнеса», 2016. – С. 8–13.; 3. Бородин А.В. Феномен компьютерных вирусов: элементы теории и экономика существования / А.В. Бородин. – Йошкар-Ола: Марийский государственный технический университет, 2004. – 144 с.; 4. Девянин П.Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками / П.Н. Девянин. – М.: Техносфера, 2013. – 338 c.; 5. Козлова К.А. Пул переменных программы как объект-хранилище с рандомизацией карты памяти / К.А. Козлова, А.В. Бородин // Инженерные кадры – будущее инновационной экономики России: Материалы II Всероссийской студенческой конференции (Йошкар-Ола, 21–25 ноября 2016 г.). – Йошкар-Ола: Поволжский государственный технологический университет, 2016. – №4. – С. 49–51.; 6. Конявский В.А. Управление защитой информации на базе СЗИ НСД «Аккорд» / В.А. Конявский. – М.: Радио и связь, 1999. – 325 c.; 7. Львович И.Я. Перспективные тренды развития науки: техника и технологии: Т. 1 / И.Я. Львович, В.А. Некрасов, А.П. Преображенский [и др.]. – Одесса: Куприенко С.В., 2016 – 197 с.; 8. Обратная разработка // Википедия. Свободная энциклопедия [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/%D0%9E %D0%B1%D1%80%D0%B0%D1%82%D0%BD%D0%B0%D1%8F_%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0.; 9. P2P – Следующий этап развития информационных систем // Хабрахабр [Электронный ресурс]. – Режим доступа: https://habrahabr.ru/post/239225/.; 11. Maozhen L. The Grid: Core Technologies / L. Maozhen, M. Baker. – John Wiley & Sons, Ltd, 2005. – 452 p.

Dostupnosť: https://interactive-plus.ru/files/Books/Cover-431.jpg?req=464620
https://interactive-plus.ru/article/464620/discussion_platform
https://doi.org/10.21661/r-464620

Meaningfulness. Knowability. Verifiability

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112
Логико-философские штудии; Том 15, № 2 (2017); 104-112

Predmety: meaningfulness, verificationism, semantics, algorithmically unsolvability, matrix mortality problem, Champernowne constant, осмысленность, верификационизм, семантика, алгоритмическая неразрешимость, смертность матриц, число Чамперноуна

Popis súboru: application/pdf

Prístupová URL adresa: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

ВАРИАНТ МАШИНЫ ТЬЮРИНГА С «ПОДСМАТРИВАЮЩЕЙ» ГОЛОВКОЙ

Autori: Тлюстен, Валерий

Predmety: МАШИНЫ ТЬЮРИНГА, МИНИМАЛЬНЫЕ МАШИНЫ ТЬЮРИНГА, АЛГОРИТМИЧЕСКАЯ ВЫЧИСЛИМОСТЬ, УНИВЕРСАЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ФОРМАЛИЗМЫ, АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ, ПРОБЛЕМА ОСТАНОВА

Popis súboru: text/html

Dostupnosť: http://cyberleninka.ru/article/n/variant-mashiny-tyuringa-s-podsmatrivayuschey-golovkoy
http://cyberleninka.ru/article_covers/15716327.png

ЗАДАЧИ НА ПОСТРОЕНИЕ, НЕРАЗРЕШИМЫЕ ЦИРКУЛЕМ И ЛИНЕЙКОЙ, И ИХ РЕШЕНИЕ В КОМПЬЮТЕРНОЙ СРЕДЕ

Autori: Ларин, Сергей Майер, Валерий

Predmety: НЕРАЗРЕШИМОСТЬ ЦИРКУЛЕМ И ЛИНЕЙКОЙ, АЛГЕБРАИЧЕСКИЙ МЕТОД, КОМПЬЮТЕРНАЯ СРЕДА, ПОЧТИ РАЗРЕШИМОСТЬ ЦИРКУЛЕМ И ЛИНЕЙКОЙ, АЛГЕБРАИЧЕСКИЕ ЧИСЛА

Popis súboru: text/html

Dostupnosť: http://cyberleninka.ru/article/n/zadachi-na-postroenie-nerazreshimye-tsirkulem-i-lineykoy-i-ih-reshenie-v-kompyuternoy-srede
http://cyberleninka.ru/article_covers/14762063.png

К ИНТЕРПРЕТАЦИИ ТЕОРЕМ ГЕДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ

Autori: Бессонов, Александр

Predmety: ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ, НЕРАЗРЕШИМОСТЬ, ПРЕДИКАТ НЕДОКАЗУЕМОСТИ, ТРЕТЬЯ ТЕОРЕМА О НЕПОЛНОТЕ, ПРЕДСТАВЛЕНИЕ ЗНАНИЯ, GODEL'S THEOREMS

Popis súboru: text/html

Dostupnosť: http://cyberleninka.ru/article/n/k-interpretatsii-teorem-gedelya-o-nepolnote-arifmetiki
http://cyberleninka.ru/article_covers/14004208.png

О КОНЕЧНО ОПРЕДЕЛЕННЫХ ТОТАЛЬНО СИММЕТРИЧЕСКИХ КВАЗИГРУППАХ

Autori: Шабунин, Леонид

Predmety: КВАЗИГРУППА, КОНЕЧНО ОПРЕДЕЛЕННАЯ АЛГЕБРА, ГРАФ, ЭЛЕМЕНТАРНАЯ ТЕОРИЯ, НЕРАЗРЕШИМОСТЬ

Popis súboru: text/html

Dostupnosť: http://cyberleninka.ru/article/n/o-konechno-opredelennyh-totalno-simmetricheskih-kvazigruppah
http://cyberleninka.ru/article_covers/14921649.png

Вариант машины Тьюринга с «Подсматривающей» головкой

Zdroj: Вестник Адыгейского государственного университета. Серия 4: Естественно-математические и технические науки.

Predmety: МАШИНЫ ТЬЮРИНГА, МИНИМАЛЬНЫЕ МАШИНЫ ТЬЮРИНГА, АЛГОРИТМИЧЕСКАЯ ВЫЧИСЛИМОСТЬ, УНИВЕРСАЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ФОРМАЛИЗМЫ, АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ, ПРОБЛЕМА ОСТАНОВА

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article/n/variant-mashiny-tyuringa-s-podsmatrivayuschey-golovkoy
http://cyberleninka.ru/article_covers/15716327.png

Задачи на построение, неразрешимые циркулем и линейкой, и их решение в компьютерной среде

Zdroj: Вестник Красноярского государственного педагогического университета им. В.П. Астафьева.

Predmety: НЕРАЗРЕШИМОСТЬ ЦИРКУЛЕМ И ЛИНЕЙКОЙ, АЛГЕБРАИЧЕСКИЙ МЕТОД, КОМПЬЮТЕРНАЯ СРЕДА, ПОЧТИ РАЗРЕШИМОСТЬ ЦИРКУЛЕМ И ЛИНЕЙКОЙ, АЛГЕБРАИЧЕСКИЕ ЧИСЛА

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article/n/zadachi-na-postroenie-nerazreshimye-tsirkulem-i-lineykoy-i-ih-reshenie-v-kompyuternoy-srede
http://cyberleninka.ru/article_covers/14762063.png

К интерпретации теорем Геделя о неполноте арифметики

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология.

Predmety: ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ, НЕРАЗРЕШИМОСТЬ, ПРЕДИКАТ НЕДОКАЗУЕМОСТИ, ТРЕТЬЯ ТЕОРЕМА О НЕПОЛНОТЕ, ПРЕДСТАВЛЕНИЕ ЗНАНИЯ, GODEL'S THEOREMS

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article_covers/14004208.png
http://cyberleninka.ru/article/n/k-interpretatsii-teorem-gedelya-o-nepolnote-arifmetiki

О конечно определенных тотально симметрических квазигруппах

Zdroj: Вестник Чувашского университета.

Predmety: КВАЗИГРУППА, КОНЕЧНО ОПРЕДЕЛЕННАЯ АЛГЕБРА, ГРАФ, ЭЛЕМЕНТАРНАЯ ТЕОРИЯ, НЕРАЗРЕШИМОСТЬ

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article_covers/14921649.png
http://cyberleninka.ru/article/n/o-konechno-opredelennyh-totalno-simmetricheskih-kvazigruppah

АНАЛИТИЧЕСКАЯ ТЕОЛОГИЯ: ДЕДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О НЕРАЗРЕШИМОСТИ В ЛОГИЧЕСКИ ФОРМАЛИЗОВАННОЙ АКСИОМАТИЧЕСКОЙ ТЕОРИИ СИГМА ФОРМУЛЫ [DX], ПРЕДСТАВЛЯЮЩЕЙ В РЕЛЕВАНТНОЙ ТЕИСТИЧЕСКОЙ ИНТЕРПРЕТАЦИИ УТВЕРЖДЕНИЕ О БЫТИИ БОГА

Predmety: непротиворечивость-теории, недоказуемость-утверждения-о-существовании-Бога, неразрешимость-формулыв-теории, формальная-теория, недоказуемостьотрицания-утверждения-о-существовании-Бога

Элементы поэтики постмодернизма в рок-поэзии Бориса Гребенщикова

Autori: Пологова, И.Д.

Predmety: Б. Гребенщиков, постмодернизм, рок-поэзия, постмодернистская игра, смысловая неразрешимость, приём шоковой терапии

Relation: Dspace\SGAU\20180703\70328

Dostupnosť: http://repo.ssau.ru/handle/Yazyk-i-reprezentaciya-kulturnyh-kodov/Elementy-poetiki-postmodernizma-v-rokpoezii-Borisa-Grebenshikova-70328

Элементы поэтики постмодернизма в рок-поэзии Бориса Гребенщикова

Témy: Б. Гребенщиков, постмодернизм, рок-поэзия, постмодернистская игра, смысловая неразрешимость, приём шоковой терапии, Article

URL: http://repo.ssau.ru/handle/Yazyk-i-reprezentaciya-kulturnyh-kodov/Elementy-poetiki-postmodernizma-v-rokpoezii-Borisa-Grebenshikova-70328

Meaningfulness. Knowability. Verifiability

Additional Titles: Осмысленность. Познаваемость. Проверяемость

Autori: Фролов, К. Г.

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112; Логико-философские штудии; Том 15, № 2 (2017); 104-112; 2223-3954; 2071-9183

Témy: meaningfulness; verificationism; semantics; algorithmically unsolvability; matrix mortality problem; Champernowne constant, осмысленность; верификационизм; семантика; алгоритмическая неразрешимость; смертность матриц; число Чамперноуна, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528
http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518
http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518

О задаче контроля целостности программного обеспечения удаленного недоверенного хоста

Autori: Бородин Андрей Викторович ФГБОУ ВО «Поволжский государственный технологический университет» Borodin Andrei Victorovich a ďalší

Zdroj: Relevant lines of scientific research: theory and practice; № 3;; Актуальные направления научных исследований: перспективы развития; № 3;

Témy: целостность, обфускация, integrity, доверенная аппаратная компонента, доверенный хост, изолированная программная среда, криптографическая хеш-функция, неразрешимость, удаленный хост, entrusted hardware component, entrusted host, isolated software environment, cryptographic hash function, undecidable, obfuskation, distant host, text, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Article

URL: https://interactive-plus.ru/e-articles/431/Action431-464620.pdf
https://interactive-plus.ru/e-articles/431/Action431-464620.pdf
1. Бородин А.В. Линейные конгруэнтные последовательности максимального периода в задачах обфускации программ / А.В. Бородин // Кибернетика и программирование. – 2016. – №6. – С. 1–19. – DOI: 10.7256/2306–4196.2016.6.18499.
2. Бородин А.В. Обфускация пула констант как задача построения минимальной системы целочисленных линейных комбинаций / А.В. Бородин, Е.Д. Долгушев // Образование, наука, бизнес: развитие и перспективы: Материалы III международной научно-практической конференции (6 мая 2016 г.). – Саратов: Изд-во ЦПМ «Академия Бизнеса», 2016. – С. 8–13.
3. Бородин А.В. Феномен компьютерных вирусов: элементы теории и экономика существования / А.В. Бородин. – Йошкар-Ола: Марийский государственный технический университет, 2004. – 144 с.
4. Девянин П.Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками / П.Н. Девянин. – М.: Техносфера, 2013. – 338 c.
5. Козлова К.А. Пул переменных программы как объект-хранилище с рандомизацией карты памяти / К.А. Козлова, А.В. Бородин // Инженерные кадры – будущее инновационной экономики России: Материалы II Всероссийской студенческой конференции (Йошкар-Ола, 21–25 ноября 2016 г.). – Йошкар-Ола: Поволжский государственный технологический университет, 2016. – №4. – С. 49–51.
6. Конявский В.А. Управление защитой информации на базе СЗИ НСД «Аккорд» / В.А. Конявский. – М.: Радио и связь, 1999. – 325 c.
7. Львович И.Я. Перспективные тренды развития науки: техника и технологии: Т. 1 / И.Я. Львович, В.А. Некрасов, А.П. Преображенский [и др.]. – Одесса: Куприенко С.В., 2016 – 197 с.
8. Обратная разработка // Википедия. Свободная энциклопедия [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/%D0%9E %D0%B1%D1%80%D0%B0%D1%82%D0%BD%D0%B0%D1%8F_%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0.
9. P2P – Следующий этап развития информационных систем // Хабрахабр [Электронный ресурс]. – Режим доступа: https://habrahabr.ru/post/239225/.
10. Katz J. Introduction to Modern Cryptography. Second Edition / J. Katz, Y. Lindell. – CRC Press, 2015. – 603 p.
11. Maozhen L. The Grid: Core Technologies / L. Maozhen, M. Baker. – John Wiley & Sons, Ltd, 2005. – 452 p.