Suchergebnisse - mathematical logic and algorithm theory

Chair of Mathematical Logic and Theory of Algorithms von 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 …”
Volltext

A course of Mathematical Logic and Theory of Algorithms as a mathematical background of modern cryptology von 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 …”
Volltext

INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS» von 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 …”
Volltext

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 …”
Volltext

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 von 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 …”
Volltext

Training the IT students skills in the digital educational environment von 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 …”
Volltext

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

Volltext

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

Volltext

The Bounded and Precise Word Problems for Presentations of Groups von 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 …”
Volltext

Management of product characteristics uncertainty based on formal logic and characteristics properties model von 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 …”
Volltext

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

Volltext

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

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

Hybrid genetic algorithm and a fuzzy logic classifier for heart disease diagnosis von 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 …”
Volltext

Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, US$141.00, pp. xi + 282, ISBN 0-306-47712-2, hardbound von Palka, Ewa

Volltext

Book Review: IGOR LAVROV, LARISA MAKSIMOVA, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, US$141.00, pp. xii + 282, ISBN 0-306-47712-2, hardbound von Mendelson, Elliott

Volltext

The Everyday Life of an Algorithm von Neyland, Daniel

“… This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs …”
Volltext

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms von Bullo, Francesco, Cortés, Jorge, Martínez, Sonia

“… This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory …”
Volltext

A hybrid neural networks-fuzzy logic-genetic algorithm for grade estimation von Tahmasebi, Pejman, Hezarkhani, Ardeshir

“… complexities in mineral ore deposits. To overcome this problem, several artificial intelligence techniques such as Artificial Neural Networks (ANN) and Fuzzy Logic (FL …”
Volltext

A Fuzzy Logic-Based Clustering Algorithm for WSN to Extend the Network Lifetime von Nayak, Padmalaya, Devulapalli, Anurag

“… Wireless sensor network (WSN) brings a new paradigm of real-time embedded systems with limited computation, communication, memory, and energy resources that …”
Volltext

Feature selection strategy based on hybrid crow search optimization algorithm integrated with chaos theory and fuzzy c-means algorithm for medical diagnosis problems von Anter, Ahmed M., Ali, Mumtaz

“… In this paper, we designed a hybrid crow search optimization algorithm integrated with chaos theory and fuzzy c-means algorithm denoted as CFCSA for feature selection problems of medical diagnosis …”
Volltext