Search Results - mathematical logic and algorithm theory

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

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

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

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

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

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 by Palka, Ewa

Get full text

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 by Mendelson, Elliott

Get full text

A hybrid neural networks-fuzzy logic-genetic algorithm for grade estimation by 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…”
Get full text

A Fuzzy Logic-Based Clustering Algorithm for WSN to Extend the Network Lifetime by 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…”
Get full text

Feature selection strategy based on hybrid crow search optimization algorithm integrated with chaos theory and fuzzy c-means algorithm for medical diagnosis problems by 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…”
Get full text

Iterative Learning-Based PID Precision Control for Sports Performance Analysis by Li, Xin, Xu, Xunxun, Shen, Zhijuan, Sun, Mengjun

“… and has conducted indepth research on traditional PID control algorithm and fuzzy logic control theory…”
Get full text

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025…”
Get full text