Modeling and analysis of computational processes

    Turing, Post, Minsky machines, Markov algorithms, Kleene recursive functions were invented in the first half of the twentieth century as a result of attempts to formalize the concept of an algorithm. These mathematical models are still successfully used to solve problems of solvability and algorithmic complexity, but are useless for modeling the behavior of network protocols or components of the operating system. The report presents some modern approaches to the modeling of calculations that are used in the industry when developing complex information systems.



    Last March, a lecture was given at the Faculty of Computer Science by Rostislav Yavorsky , assistant professor of data analysis and artificial intelligence. At the faculty, Rostislav Eduardovich conducts courses "Introduction to Programming", " Computer Algebra ", " Non-Classical Logics and the Representation of Knowledge ."

    At the Faculty of Computer Science, which opened in HSE with the support of Yandex, in addition to classes for students, there are special seminars that everyone can attend. They are held within the framework of the HSE Colloquium of the Faculty of Computer Science. The seminars are conducted by scientists not only from HSE, but from other universities and research centers - Moscow State University, Moscow Institute of Physics and Technology, Institute of Mathematics and Institute for System Analysis of the Russian Academy of Sciences, MIT, Microsoft Research, Yandex School of Data Analysis. Not only a student or an employee of the FCS, but anyone who wants to, can come to listen to them. We publish records of selected performances. Find all past colloquia here . You can also sign up for future classes by the same link when the new school year begins.

    Also popular now: