CONFERENCE PROGRAM
|
Section 1 Computer Tools in Education |
|||||
|
Date |
Time |
Authors |
Title (abstract) |
Affiliation |
|
|
25.07 |
09.50-10.00 |
Conference opening | |||
|
25.07 |
10.00-10.50 |
Alexei Semenov |
From Computer Assisted to Computer Driven Mathematics? |
Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow Lomonosov Moscow State University Moscow Institute of Physics and Technology (National Research University) |
|
|
25.07 |
11:00-11:50 |
Nikolai Vavilov |
How Computers Have Changed Mathematics, аnd Why It Is Fateful for Teaching |
St. Petersburg State University |
|
|
25.07 |
12.00-12.30 |
Sergei Pozdniakov Elena Tolkacheva |
Interaction of Algebraic Thinking and Computational Thinking |
St. Petersburg Electrotechnical University "LETI" |
|
|
25.07 |
12:30-13:00 |
Semjon Adlaj |
The Thrive for Simplicity in Science Teaching |
Department of Mathematical Methods for Ensuring Systems Security of Gubkin University, Moscow A.A. Dorodnicyn Computing Center of the Russian Academy of Sciences, Moscow |
|
|
25.07 |
13:00-13:30 |
Vladimir Dubrovsky
|
The “Donkey-and-Carrot” Technique in Dynamic Mathematics |
Kolmogorov School of MSU, Moscow |
|
|
25.07 |
13.30-14.00 |
Aleksandr Mylläri Tatiana Mylläri Dishon Edwards Stefan Hypolite
|
Using Technology in Teaching Introductory Statistics at SGU |
School of Arts and Sciences, St. George’s University, Grenada, West Indies TA Marryshow Community College, Grenada, West Indies |
|
|
14.00 - 14.30 Break |
|||||
|
25.07 |
14:30-15:00 |
Sergey Ivanov Valery Ryzhik |
Computer Tool and Crisis in School Mathematical Education |
St. Petersburg Electrotechnical University "LETI" Lyceum "Physical-Technical High School" named after Zh.I. Alferov, St. Petersburg |
|
|
25.07 |
15:00-15:30 |
Nikolay Sosnovsky
|
An Elementary Proof of the Theorem on the Asymptotic Normality of Estimating the Variance of a Random Variable with Visualization of the Results Using Examples of Samples from Different Distributions |
St. Petersburg Electrotechnical University "LETI" |
|
|
25.07 |
15.30-16.00 |
Sergei Abramovich |
Number Theory for Mathematics Instruction of Future Teachers in the Digital Era |
State University of New York School of Education and Professional Studies, Potsdam, NY, USA |
|
|
25.07 |
16:00-17:30 |
Discussion |
Digitalization and mathematics education |
|
|
|
Section 2 Mathematics and Computer Science |
|||||
|
Date |
Time |
Authors |
Title (abstract) |
Affiliation |
|
|
26.07 |
10.00-10.30 |
Viktor Freiman |
Does 1 Plus 1 Always Make 2? Emergence of Binary Logic as Precursor for the Invention of Electronic Computing Devices |
Université de Moncton, Moncton, Canada |
|
|
26.07 |
10:30-11:20 |
Sergey Karakozov |
Mathematical Education in an Era of Change |
Moscow Pedagogical State University (MPGU) |
|
|
26.07 |
11:20-12:00 |
Yuri Senichenkov
|
Среды компьютерного моделирования в образовании |
Peter the Great St. Petersburg Polytechnic University |
|
|
26.07 |
12.00-12.30 |
Sergei Soloviev |
The Algorithmic Verifier-Falsifier Games and Game Semantics |
L'Institut de recherche en informatique de Toulouse, Toulouse, France |
|
|
26.07 |
12.30-13.00 |
Victor V. Rozen |
Algebraic Approaches to the Construction and Analysis of Decision Making Mathematical Models with Preference Relations |
St. Petersburg Electrotechnical University "LETI" |
|
|
26.07 |
13:00-13:30 |
Alexandr Liaptsev |
Various Phases of Chaos in Models Described by Equations of Nonlinear Dynamics |
Herzen University, St. Petersburg |
|
|
26.07 |
13.30-14.00 |
Sergey Kolonitskii |
Noise-Filtering Numerical Differentiation Schemes: Uniform Probabilistic Error Estimates |
St. Petersburg Electrotechnical University "LETI" |
|
|
14.00 - 14.30 Break |
|||||
|
26.07 |
14:30-15:00 |
Sergei Vakulenko Dmitry Grigoriev John Reinitz |
Generation of Complexity in Biological Evolution |
Institute of Problems of Mechanical Engineering, Russian Academy of Sciences St. Petersburg Electrotechnical University "LETI" CNRS, University of Lille, Lille, France University of Chicago, United States |
|
|
26.07 |
15:00-15:30 |
Boris Melnikov Elena Melnikova |
Versions of the “Onion Husk” Algorithm in the Pseudo-Geometric Traveling Salesman Problem with Small Variance |
Shenzhen MSU – BIT University, Shenzhen, China Center for Information Technologies and Systems of Executive Authorities, Moscow Russian State Social University, Moscow |
|
|
26.07 |
15:30-16:00 |
Anna Petrova Victoria Kazakevich |
Applications of Tropical Mathematics to Neural Network Architecture |
St. Petersburg Electrotechnical University "LETI" |
|
|
Section 3 Young Scientists |
|||||
|
27.07 |
10:00-10:30 |
Meng Lingqian
|
Groupiod and semigroup of finite automaton PRI defined for the only finite language |
Lomonosov Moscow State University |
|
|
27.07 |
10:30-11:00 |
Egor Moschjonok
|
Exact solution of the equilibrium problem of a nonlinear pendulum |
The National University of Science and Technology MISIS, Moscow |
|
|
27.07 |
11:00-11:30 |
Darina Ripka |
Review of Expert Systems for Identifying Pathologies of Pregnancy Using Machine Learning Technologies |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
11:30-12:00 |
Egor Malyutin
|
Research of entropy and redundancy of artificial languages on the example of the language of predicate logic of the first order |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
12:00-12:30 |
Dmitry Zaykov
|
WiseTasks. Graphs |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
12:30-13:00 |
Andrey Lavrenov
|
Integrative plots as a way of smoothing the barrier between school and university mathematics |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
13:00-13:30 |
Michael Zhegalin Vladislav Yandrinsky
|
Description of the language by formal grammars in the olympiad system of dm&cs |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
13:30-14:00 |
Zahra Dorostkar
|
Mathematics for Cryptography A Guide to Mathematical Fundamentals of Different Classes of Cryptography Algorithms |
Skolkovo Institute of Science and Technology, Moscow |
|
|
27.07 |
14:00-14:30 |
Farid Mikhailov |
Computing of Tropical Sequences Somos-4 and Somos-5 in Gfan package |
St. Petersburg Electrotechnical University "LETI" |
|
|
27.07 |
14:30-15:00 |
Alexander Medvedev
|
Competitiveness Function in the Generalized Model Abrams-Strogatti in the Case of an Inconstant Community Numbers |
Lobachevsky State University of Nizhny Novgorod |
|
|
|
|