Introduction to Automata Theory, Languages, and Computation
The fundamentals of the theory of automata, formal languages, and regular, context-free grammar. Discussion of the principle of Turing, which formalize the concept of soluble and insoluble problems, the definition of time and space evaluation algorithms.
Подобные документы
Approximations in Scientic Computation, сomputer Arithmetic, mathematical Software. Linear Systems, solving Linear Systems, Iterative Methods for Linear Systems. Linear Least Squares, eigenvalues and Singular Values, Nonlinear Equations, optimization.
учебное пособие, добавлен 25.11.2013The importance of research approach to a choice of model and to the search of alternative decisions. Some various methodically important approaches to the decision of elementary problems of search of the minimal speed allowing in "vacuum" conditions.
статья, добавлен 21.06.2018Yangian for gln is the associative algebra historically first example of the quantum group. Bethe subalgebras in Yangians, theories and concepts used in this problem. Analysis and proof of lemmas. The Cartan subalgebra of the regular diagonal matrices.
тезисы, добавлен 17.11.2015The basics of cryptography and its levels of reliability. Secret key cryptosystem and symmetric ciphers, message authentication codes. Fundamentals of discrete mathematics, homomorphisms and isomorphisms. Modular arithmetic and function Euler's Totient.
учебное пособие, добавлен 19.03.2014The article is devoted to the study of the place of plot mathematical problems in the course mathematics of the primary school of Ukraine; determination of results in teaching problem solving; clarification of the essence of the problem-solving process.
статья, добавлен 16.09.2022Fundamentals of Probability and Judgement. Random variables and probability distributions. Bayes’ Theorem and Elicitation. Aleatory, epistemic uncertainty. Roles within the elicitation process. The naive intuitive statistician metaphor. "The middle way".
учебное пособие, добавлен 25.11.2013The self regulation of the parameters of the algorithm is a major step towards the establishment of the method as a general tool of nonlinear data analysis. Algorithms for the general task of extracting nonlinear principal manifolds from high dimensional.
статья, добавлен 08.02.2013The mathematical principles of the operation of cryptocurrencies. Mathematical formulas for calculating the public key from the private key. Properties of elliptic curves and the principle of their application during the creation of cryptocurrency.
статья, добавлен 10.05.2023- 59. Matrixes least squares method: examples of its application in macro-economics and TV-media business
Fundamentals of the method of least squares for the case of vector and matrix of observations. Advantages of MNCs to predict performance in the telemedia business. MNCs use algorithm for the matrix of observations with the ability to scale the data.
статья, добавлен 29.06.2016 - 60. Algorithms to determine solvability of linear integro-differential equations with analytic functions
Further, we found sufficient conditions on linear Volterra integro-differential equations of the third kind to be correct in analytical functions which generalize the well-known fact of correctness of a Volterra integral equation of the second kind.
статья, добавлен 12.08.2020 Моделирование на основе временных рядов. Формальные критерии аппроксимации и статистические гипотезы. Изучение моделей с переменной структурой. Проверка на значимость коэффициентов регрессии. Руководство по использованию программы Time Series Processing.
методичка, добавлен 26.05.2012Study of the content of Galileo's revolution in science, which introduced into science the analytical method typical of the general modern thinking. Familiarization with the method of determining the laws of motion of objects using time functions.
статья, добавлен 10.04.2023The methods developed by Hamilton 1989 and Chib 1996 to identied multiple-equation models. It details Bayesian estimation and inference for a class of models with different degrees of time variation and discuss analytical and computational difculties.
статья, добавлен 28.06.2013The Cartesian product of copies. The set of all nonnegative real numbers. The algebra of polar operators (poles). Definition of a binary operation. Polarized elements, extension of the algebra of poles to the whole plane. Classes of equivalence.
статья, добавлен 27.06.2016Characteristic of a Krull–Schmidt Theorem for nonassociative algebras. Definition of the upper annihilating series. Study of some families of nilpotent evolution algebras. Classification of four- and five-dimensional nilpotent evolution algebras.
статья, добавлен 24.01.2017Determination of diameter of a opening, corner of a opening and focal distance of an optical-type antenna. Calculation of a space directional diagram and determination of parameters of the parabolic antenna. Constructive calculation of the antenna.
реферат, добавлен 09.11.2015Absolute value of a complex number, and conjugate complex number. Integral powers and roots of complex numbers. Taylor’s and Laurent’s theorems. Evaluation of integral of meromorphic function. Fundamental elementary functions of complex variables.
методичка, добавлен 11.10.2014- 68. Equation
The concept, nature and purpose of mathematics. The process of identifying the "unknowns" in the process of solving the equation. Characteristic and distinctive features of types of equations, examples of possible solutions. Features Diophantine equation.
презентация, добавлен 07.11.2016 The calculation of fuzzy controllers, subject to the definition of control actions on the controller output for given membership functions. Algorithm Mumdanee for an indistinct conclusion. The linguistic rule of management of an indistinct regulator.
статья, добавлен 30.07.2016Correct solution of the location problems as one of most important tools of the operations research. The aim of location problem involves the location of one or more new facilities in the plane, when the number of possible locations is usually infinite.
статья, добавлен 14.02.2018The article describes the main additional constructions used in planimetry. And also examples of tasks for a basic and advanced course of the geometry of 7-9 classes are considered for solving where the method of additional construction is used.
статья, добавлен 25.02.2021The problem of rationality of a generic cubic fourfold as one of the classic problems of birational geometry. Semiorthogonal decompositions, equivariant derived categories. Projective bundles, blow-ups and double coverings. The fano variety of lines.
контрольная работа, добавлен 26.08.2016Bayesian hierarchical models for data analysis in this context. At the first stage of the model, survival times can he modelled via the Cox partial likelihood, using a justification due to Kalbfleisch. A questionable parametric assumptions are avoided.
статья, добавлен 10.09.2012The study of optimal control problems for linear parabolic equations with unbounded coefficients in the main part of elliptic operator. The peculiarities of this type of equations. Setting of the optimal control problem and its preliminary analysis.
статья, добавлен 23.06.2016Conditions for nite sequences of positive numbers to be certain parts of spectra of the Dirichlet-Dirichlet, Dirichlet-Neumann, Neumann-Dirichlet and Neumann-Neumann boundary value problems generated by the same Stieltjes string recurrence relations.
статья, добавлен 19.02.2016