Search Results - (( mathematical logic and algorithm theory ) OR ( matematika logic and algorithm theory ))

Handbook of mathematical formulas and integrals by Jeffrey, Alan

“… It provides quick access to important formulas, relations, and methods from algebra, trigonometric and exponential functions, combinatorics, probability, matrix theory, calculus and vector calculus…”
Get full text

Chair of Mathematical Logic and Theory of Algorithms by Semenov, A. L., Babenko, M. A., Belov, A. Ya, Vereshchagin, N. K., Vishnikin, M. E., Zolin, E. E., Krupski, V. N., Kuznetsov, S. L., Lyubetsky, V. A., Onoprienko, A. A., Pentus, M. R., Soprunov, S. F., Sorokin, A. A., Shekhtman, V. B., Yavorskaya, T. L.

“…The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University…”
Get full text

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra by Cox, David, Little, John, OSHEA, Donal

“… Written at a level appropriate to undergraduates, this book covers such topics as the Hilbert Basis Theorem, the Nullstellensatz, invariant theory, projective geometry, and dimension theory…”
Get full text

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets by Reisig, Wolfgang

“… which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms…”
Get full text

Insight into Fuzzy Modeling by Nov k, Vil m, Perfilieva, Irina, Dvor k, Anton n

“…Providesa unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost…”
Get full text

A course of Mathematical Logic and Theory of Algorithms as a mathematical background of modern cryptology by Epishkina, Anna, Kogos, Konstantin, Nikiforova, Natalia

“…The purpose of this work is to show that the course, Mathematical Logic and Theory of Algorithms, lectured by the authors in National Research Nuclear University MEPhI…”
Get full text

Algorithmic theory of solvable groups by Roman’kov, V. A.

“… Attention is paid to various aspects of modern theory related to the complexity of algorithms, their practical implementation, random choice, asymptotic properties…”
Get full text

INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS» by Sinko, Y. I.

“…In this article the basic principles of training technique of future teachers of mathematics to foundations of mathematical logic and theory of algorithms in the Kherson State University with the use…”
Get full text

Randomness through computation: some answers, more questions by Zenil, Hector

“… It explores the connections of Randomness to other areas of scientific knowledge, especially its fruitful relationship to Computability and Complexity Theory, and also to areas such as Probability…”
Get full text

Mathematical Logic and Its Applications 2020

“… Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M…”
Get full text

The Role of the Scientific Council “Cybernetics” of the USSR Academy of Sciences/the Russian Academy of Sciences in the Development of National Cybernetics and Computer Technology by Amirdjanov, G. P., Gurevich, I. B., Kostyuk, F. V., Kulberg, N. S., Rudchenko, T. A., Semenov, A. L., Sotnikov, A. N., Trusova, Yu. O., Uvarov, A. Yu, Vardanyan, V. A., Yakovleva, T. V., Yashina, V. V., Zakharova, A. S.

“…The review presents the history of the creation and work of the Scientific Council “Cybernetics” (SCC)—the center for development of cybernetics in the USSR…”
Get full text

Hybrid Feedback Control by Sanfelice, Ricardo G

“…: the temperature changes continuously, but the control algorithm toggles the heater on or off intermittently, triggering a discrete jump within the algorithm…”
Get full text

Training the IT students skills in the digital educational environment by Andrianov, I A, Rzheutskaya, S U, Sukonschikov, A A, Davydova, E N, Zaslavskiy, A A

“… An example of using the resource for teaching the course "Mathematical logic and theory of algorithms" is given…”
Get full text

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Palka, Ewa

Get full text

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Mendelson, Elliott

Get full text

The Bounded and Precise Word Problems for Presentations of Groups by Ivanov, S. V.

“…We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for…”
Get full text

Management of product characteristics uncertainty based on formal logic and characteristics properties model by Dantan, J.Y., Qureshi, A.J., Antoine, J.F., Eisenbart, B., Blessing, L.

“…; a mathematical implementation through set theory and probabilistic approach; and an algorithm for design space evaluation and tolerancing…”
Get full text

Problems in set theory, mathematical logic, and the theory of algorithms

Get full text

Cybernetics in function of ambitious future of agriculture by Todosijević-Lazović, Snežana

“… Mathematical logic and theory of algorithms (base of digitalization) have benefited from cybernetics…”
Get full text

Hybrid genetic algorithm and a fuzzy logic classifier for heart disease diagnosis by Reddy, G. Thippa, Reddy, M. Praveen Kumar, Lakshmanna, Kuruva, Rajput, Dharmendra Singh, Kaluri, Rajesh, Srivastava, Gautam

“… The objective of adaptive genetic algorithm with fuzzy logic (AGAFL) model is to predict heart disease which will help medical practitioners in diagnosing heart disease at early stages…”
Get full text