計算プロセスのモデリングと分析

チューリング、ポスト、ミンスキーマシン、マルコフアルゴリズム、Kleene再帰関数は、アルゴリズムの概念を形式化する試みの結果として20世紀の前半に発明されました。 これらの数学モデルは、依然として解決可能性とアルゴリズムの複雑さの問題を解決するために使用されていますが、ネットワークプロトコルまたはオペレーティングシステムのコンポーネントの動作のモデリングには役に立ちません。 このレポートは、複雑な情報システムを開発する際に業界で使用される計算のモデリングに対する最新のアプローチを示しています。







昨年3月、コンピューターサイエンス学部で、データ分析と人工知能の助教授であるRostislav Yavorskyによる講義が行われました。 学部では、Rostislav Eduardovichが「プログラミング入門」、「 コンピューター代数 」、「 非古典的論理と知識の表現 」のコースを実施しています。



Yandexの支援を受けてHSEで開かれたコンピューターサイエンス学部では、学生向けのクラスに加えて、誰でも参加できる特別なセミナーがあります。 これらは、コンピュータサイエンス学部のHSEコロキウムの枠組み内で開催されます。 セミナーは、HSEの科学者だけでなく、他の大学や研究センター（モスクワ州立大学、モスクワ物理学研究所、数学研究所、ロシア科学アカデミーのシステム分析研究所、MIT、Microsoft Research、Yandex School of Data Analysis）からも実施されています。 FCSの学生または従業員だけでなく、希望する人は誰でも彼らの話を聞くことができます。 選択したパフォーマンスの記録を公開します。 ここで過去のすべての口語を見つけます 。 また、新学期が始まるときに同じリンクから将来のクラスにサインアップすることもできます。