I.Kashirin

Каширин И.Ю.

Educational materials for students

Materials for undergraduates are posted here. (by Kashirin I.Yu.)

Neural networks for beginners (rus)

4 Methods of Text Vectorization (rus)

A brief overview of vectorization techniques in NLP (rus)

Parameters of the support vector machine (SVC)

Parameters of the k nearest neighbors method (KNN)

More detailed materials are available on the Russian-language website.

Attachments:
An example of a Python program for calculating semantic similarity NLP	[(en, rus)]	7 kB
The essence of autoencoder	[rus]	11 kB
Introduction to neural networks	[rus]	442 kB
The assignment for Laboratory works and the Course project of the MMO	[rus]	18 kB
Formal Software Machines for Object-Oriented Languages: C++	[(rus, en)]	379 kB
The essence of the word2vec algorithm	[rus]	29 kB
Сonfusion matrix (References)	[en]	26 kB

Program machines

The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming language. To get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.

INTERRELATION

The Program Machines system can be considered in various combinations as higher-level formalisms. The connection between the components can be seen at the level of the structure of the construction of elements of the carrier sets of the algebraic systems discussed above.

programming languages

Let's consider the use of algebraic interpretation of language constructs for PL C, Lisp and Prolog as the most well-known algorithmic languages, which are representatives of languages of the universal, functional and logical type, respectively. Optimizing transformations are possible.

UNIFICATION

If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing variables.

Igor Kashirin, 9 Ryumin Grove
Ryazan region, 390005, RF

Go to top