Výsledky vyhledávání - (( mathematical logic and algorithm theory ) OR ( matematika logic and algorithm theory ))

Handbook of mathematical formulas and integrals Autor 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…”
Získat plný text

Chair of Mathematical Logic and Theory of Algorithms Autor 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…”
Získat plný text

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra Autor 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…”
Získat plný text

Insight into Fuzzy Modeling Autor 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…”
Získat plný text

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets Autor 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…”
Získat plný text

Randomness through computation: some answers, more questions Autor 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…”
Získat plný text

A course of Mathematical Logic and Theory of Algorithms as a mathematical background of modern cryptology Autor 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…”
Získat plný text

Algorithmic theory of solvable groups Autor 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…”
Získat plný text

INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS» Autor 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…”
Získat plný text

Hybrid Feedback Control Autor 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…”
Získat plný 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…”
Získat plný 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 Autor 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…”
Získat plný text

Training the IT students skills in the digital educational environment Autor 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…”
Získat plný text

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

Získat plný text

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

Získat plný text

The Bounded and Precise Word Problems for Presentations of Groups Autor 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…”
Získat plný text

Management of product characteristics uncertainty based on formal logic and characteristics properties model Autor 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…”
Získat plný text

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

Získat plný text

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

“… Mathematical logic and theory of algorithms (base of digitalization) have benefited from cybernetics…”
Získat plný text

Hybrid genetic algorithm and a fuzzy logic classifier for heart disease diagnosis Autor 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…”
Získat plný text