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

Upresniť hľadanie
  1. 1

    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.

    ISSN: 0027-1322, 1934-8444
    Vydavateľské údaje: Moscow Pleiades Publishing 01.02.2025
    “…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
    Journal Article
  2. 2

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

    Vydavateľské údaje: IEEE 01.07.2016
    “…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
    Konferenčný príspevok..
  3. 3

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

    ISSN: 1998-6939, 2306-1707
    Vydavateľské údaje: Kherson State University 01.06.2010
    “…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
    Journal Article
  4. 4

    Mathematical Logic and Its Applications 2020

    ISBN: 9783036507781, 9783036507798, 3036507787, 3036507795
    Vydavateľské údaje: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021
    “… Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M…”
    Získať plný text
    E-kniha
  5. 5

    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.

    ISSN: 1054-6618, 1555-6212
    Vydavateľské údaje: Moscow Pleiades Publishing 01.12.2023
    “…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
    Journal Article
  6. 6

    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

    ISSN: 1742-6588, 1742-6596
    Vydavateľské údaje: Bristol IOP Publishing 01.11.2020
    Vydané v Journal of physics. Conference series (01.11.2020)
    “… An example of using the resource for teaching the course "Mathematical logic and theory of algorithms" is given…”
    Získať plný text
    Journal Article
  7. 7

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

    ISSN: 0039-3215, 1572-8730
    Vydavateľské údaje: Springer 01.11.2005
    Vydané v Studia logica (01.11.2005)
    Získať plný text
    Book Review
  8. 8

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

    ISSN: 0039-3215, 1572-8730
    Vydavateľské údaje: Springer 01.04.2005
    Vydané v Studia logica (01.04.2005)
    Získať plný text
    Book Review
  9. 9

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

    ISBN: 1470441438, 9781470441432
    ISSN: 0065-9266, 1947-6221
    Vydavateľské údaje: Providence, Rhode Island American Mathematical Society 2020
    “…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
    E-kniha Kniha
  10. 10

    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.

    ISSN: 0007-8506
    Vydavateľské údaje: Elsevier Ltd 2013
    Vydané v CIRP annals (2013)
    “…; a mathematical implementation through set theory and probabilistic approach; and an algorithm for design space evaluation and tolerancing…”
    Získať plný text
    Journal Article
  11. 11

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

    ISSN: 0196-6006
    Vydavateľské údaje: Portland Copyright Clearance Center 01.06.2003
    Vydané v Scitech book news (01.06.2003)
    Získať plný text
    Book Review
  12. 12

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

    ISSN: 0352-3462, 2334-8453
    Vydavateľské údaje: Belgrade Balkan Scientific Association of Agricultural Economists 01.01.2020
    Vydané v Ekonomika poljoprivrede (1979) (01.01.2020)
    “… Mathematical logic and theory of algorithms (base of digitalization) have benefited from cybernetics…”
    Získať plný text
    Journal Article
  13. 13

    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

    ISSN: 1864-5909, 1864-5917
    Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2020
    Vydané v Evolutionary intelligence (01.06.2020)
    “… 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
    Journal Article
  14. 14
  15. 15
  16. 16

    The Everyday Life of an Algorithm Autor Neyland, Daniel

    ISBN: 9783030005788, 303000578X, 9783030005771, 3030005771
    Vydavateľské údaje: Cham Springer Nature 2019
    “…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
    E-kniha
  17. 17

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

    ISBN: 9780691141954, 0691141959, 0691146640, 9780691146645, 1400831474, 9781400831470
    Vydavateľské údaje: Princeton, N.J Princeton University Press 2009
    “…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
    E-kniha Kniha
  18. 18

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

    ISSN: 0098-3004, 1873-7803
    Vydavateľské údaje: United States Elsevier Ltd 01.05.2012
    Vydané v Computers & geosciences (01.05.2012)
    “… 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
    Journal Article
  19. 19

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

    ISSN: 1530-437X, 1558-1748
    Vydavateľské údaje: New York IEEE 01.01.2016
    Vydané v IEEE sensors journal (01.01.2016)
    “…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
    Journal Article
  20. 20

    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

    ISSN: 1432-7643, 1433-7479
    Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2020
    Vydané v Soft computing (Berlin, Germany) (01.02.2020)
    “… 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
    Journal Article