Computational complexity of the word problem in modal algebras (original) (raw)
Related papers
Сложность умножения в некоторых групповых алгебрах
Дискретная математика, 2005
Сложность умножения в некоторых групповых алгебрах © 2005 г. В. Б. Алексеев, А. Д. Поспелов В данной работе представлены некоторые результаты из сравнительно новой облас ти теории сложности алгоритмов-алгебраической теории сложности. Рассматривает ся сложность умножения (билинейная сложность) в групповых алгебрах. В 6-мерной групповой алгебре С(5з) над полем комплексных чисел, базисом которой являются подстановки третьего порядка, найден билинейный алгоритм для умножения с муль типликативной сложностью 9 (вместо тривиальных 36) и доказано, что эта оценка неулучшаема. Доказан ряд утверждений о структуре групповой алгебры С (S3), в част ности, показано, что алгебра С (S3) разлагается в прямое произведение алгебры матриц второго порядка и двух одномерных алгебр. Работа выполнена при поддержке Российского фонда фундаментальных исследо ваний, проект 03-01-00783.
A Modular Extension for a Computer Algebra System
Programming and Computer Software, 2020
Computer algebra systems are complex software systems that cover a wide range of scientific and practical problems. However, the absolute coverage cannot be achieved. Often, it is required to create a user extension for an existing computer algebra system. In this case, the extensibility of the system should be taken into account. In this paper, we consider a technology for extending the SymPy computer algebra system with a low-level module that implements a random number generator.
The complexity of an educational material is proportional to time (or quantity of words), which is necessary for an explanation of this material to the schoolchild with the given level of knowledge. For the estimation of the complexity of some issues of the mathematics school course the method of decomposition of operations on elementary actions, the pair comparisons method were used, and the content-analysis of some paragraphs of textbook was carried out. Thus it was taken into account: the information volumes of the paragraph; the quantities of mathematical symbols in the formulas; the quantities of the new terms which are not included in given level of knowledge; the information volumes of their defi nitions.As a result of the estimation of the didactic complexity of the 27 paragraphs of the school mathematics course we established: during training at school the complexity of issues on mathematics grows approximately in 150-200 times.
Terminological system of the polycode text theory
Russian Language Studies
The formation of the terminological system of the polycode text theory as part of the lexical system of the Russian language is the current interest of Russian scientists’ research. The purpose of the proposed study is to overview the existing terms describing a complex text that combines series of semiotically heterogeneous codes to express a common idea. The relevance of the research is explained by the need to create a unified system of terms to describe the polycode text. The material of the study are scientific works devoted to the polycode text; the authors give quotes from scientific works that have the greatest influence on the formation of the theory of polycode text. The study considers terminological pairs: polycode - creolized text; linear - nonlinear text; polycode - polymodal text; iconic - non-verbal components of a polycode text; primary - secondary polycode text; and a separate term “paragraphemic means of a polycode text.” Currently, the polycode text is implemente...
Derivational Analysis of Terms of Computational Linguistics
Bulletin of Science and Practice, 2020
Describes the derivational analysis of the English terminology of computational linguistics. The study is conducted on a compilation of computer terms with a total volume of 744 units, compiled on the basis of computer and linguistic glossaries and dictionaries. The analysis was done based on the classification of L. Tkacheva. Made it possible to identify the most productive methods of term formation, as well as their structural types. The study may be of interest to researchers in the field of computational linguistics and translation activities.
Computational linguistic studies: Grammatical systems
2018
Нова редакція Українського правопису подає уточнені й доповнені правила написання загальних і власних назв українського та іншомовного походження, деталізовані правила вживання розділових знаків. В усіх розділах оновлено ілюстративний матеріал. Для всіх, хто прагне писати, дотримуючись норм сучасної літературної мови. СХВАЛИВ Кабінет Міністрів України (Постанова № 437 від 22 травня 2019 р.) СХВАЛИЛИ: спільною постановою Президія Національної академії наук України (протокол № 22/10 від 24 жовтня 2018 р.) та рішенням Колегія Міністерства освіти і науки України (протокол № 10/4-13 від 24 жовтня 2018 р.) ЗАТВЕРДИЛА Українська національна комісія з питань правопису (протокол № 5 від 22 жовтня 2018 р.) Українська національна комісія з питань правопису своїм рішенням від 12 липня 2019 р. визначила Видавництво «Наукова думка» НАН України установою, яка уповноважена випустити у світ авторизоване видання Українського правопису в редакції 2019 р.
Primitive Programing Algebra of Computable Functions at Records
2015
Background. The research is conducted in the context of compositional approach to programming. Problematic of the research is development of scientific foundations of programmer’s problems solution genesis. Its basis is concept of composition. Objective. The objective of the research is general method development for function classes’ algebraic characteristics obtaining and application of the method for description of pragmatically important class of partially recursive functions on records. Methods. Creations made in the paper are based on software analysis algebraic methods and compositional programming methodic. Problems of computable functions’ characteristics obtaining, problems of generative sets and bases finding, which are one of the most important questions in programmer’s problematic, are strictly stated and solved in the context of so called “program algebras”. Results. In the paper method of mentioned problems solution was proposed in context of primitive program algebra...
Problem Units of the Phonological System in the Slovak Literary Language
Stephanos. Peer reviewed multilanguage scientific journal
Аннотация: В статье рассматривается судьба проблемных единиц фонологической системы словацкого литературного языка -вокалической фонемы [ä] и консонантной фонемы [ľ], которые имеют значительные сходства в своей истории в новом литературном языке, но разные конечные результаты. Обе эти фонемы по разным причинам не были кодифицированы Л. Штуром, но одновременно введены в литературный язык в компромиссной «Краткой словацкой грамматике» 1852 г. Закрепление обеих фонем в литературном языке первоначально происходило сложно, причем с бóльшим успехом приживалась фонема [ä], так как в орфографии обозначающая ее буква довольно быстро стала употребляться в соответствии с кодификацией, а соответствующий звук стал знаком сценического произношения. В дальнейшем, однако, этот процесс приостановился, и звук ä, а также соответствующая фонема стали утрачиваться. В настоящее время мы наблюдаем заключительную фазу этого процесса. Закрепление фонемы [ľ] в словацком литературном языке протекало неравномерно под влиянием орфографии. В настоящее время нормой является произношение ľ в позиции абсолютного конца слова, перед согласным и перед гласным непереднего ряда, в которых мягкость обозначается на письме, и произношение l перед гласными переднего ряда и i-образными дифтонгами, где мягкость специальным знаком не обозначается. Норма, однако, существенно расходится с действующей кодификацией, которая требует произносить ľ в обоих случаях.