Fun with formal methodsThe talk will present individual and adopted popularization experience for teaching
formal program
ПРОБЛЕМЫ ФОРМАЛИЗАЦИИ И КОМПЬЮТЕРНОГО ЛЕКСИКОГРАФИРОВАНИЯ ПРИМЕНИТЕЛЬНО К КАТЕГОРИИ ВИДАThis article is devoted to the problems of
formalization and computer lexicography. The relevance
Overcoming Word-Centrism: Towards a New Foundation for the Philosophy of Language is languagespecific,
so that the prototypical referential
function of a “noun” cannot lay claim to the
status of a
Design of batch manufacturing enterprises in the context of Industry 4.0Taberko, V.,
Ivaniuk, D. S.,
Kasyanik, V.,
Golovko, V. A.,
Gulyakina, N. A.,
Rusetski, K. V.,
Shunkevich, D. V.,
Boriskin, A. S.,
Grakova, N. V.,
Гулякина, Н. А.,
Русецкий, К. В.,
Шункевич, Д. В.,
Борискин, А. С.,
Гракова, Н. В. production is provided, as well as subject do-
main structure of logistics and an example of
formal