Browsing by Author "Песчаненко, В. С."
Now showing 1 - 3 of 3
- Results Per Page
- Sort Options
Item The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification(2017) Tarasich, Yu.; Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Тарасіч, Ю. Г.; Львов, М. С.; Песчаненко, В. С.; Летичевський, О. О.A brief review and the results of working with tools for the formulae simplifying are presented. The algorithm for constructing the canonical forms of linear semi-algebraic formulae over the enumerated and multiple types is de-scribed.Item ЗАБЕЗПЕЧЕННЯ РОЗВИТКУ НАУКОВОГО НАПРЯМУ «ТЕХНІЧНІ НАУКИ» ХЕРСОНСЬКИМ ДЕРЖАВНИМ УНІВЕРСИТЕТОМ У 2023 РОЦІ(2023) Песчаненко, В. С.; Кобець, В. М.; Львов, М. С.; Валько, Н. В.; Кравцов, Г. М.; Шишко, Л. С.; Вінник, М. О.; Вейцбліт, О. Й.; Полторацький, М. Ю.; Козловський, Є. О.; Савченко, С. О.; Яцюта, В. О.; Іванов, О. Ю.; Дубіна, В. Г.; Коннова, О. В.Item Формалізація статей податкового кодексу України(2015) Песчаненко, В. С.; Полторацький, М. Ю.; Залужна, А. А.Розглянуто технологію перевірки юридичних, та правових актів. Розглянута частина формальної моделі законодавчих актів України, а також процес формалізації засобами інсерційного моделювання.