Výsledky vyhľadávania - mathematical logic and algorithm theory

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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

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

Získať plný text

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

Získať 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ískať 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ískať plný text

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

Získať 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ískať 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ískať plný 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 Autor Palka, Ewa

Získať plný 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 Autor Mendelson, Elliott

Získať plný text

The Everyday Life of an Algorithm Autor 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…”
Získať plný text

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms Autor 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…”
Získať plný text

A hybrid neural networks-fuzzy logic-genetic algorithm for grade estimation Autor 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…”
Získať plný text

A Fuzzy Logic-Based Clustering Algorithm for WSN to Extend the Network Lifetime Autor 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…”
Získať plný text

Feature selection strategy based on hybrid crow search optimization algorithm integrated with chaos theory and fuzzy c-means algorithm for medical diagnosis problems Autor 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…”
Získať plný text