ТВИМ 2014 №1

Файл:

Стр. 5 ... Донской В. И.

Невычислимость VC-размерности семейств классифицирующих функций

Стр. 14 ... Гой Т. П.

Iнтеграли вiд функцiй, породжених зростаючими факторiальними степенями

Стр. 23 ... Лукьянова Е. А.

On conditions imposed on sections of a Kripke structure that simulate the functioning of the compound components allocated in detailed Petri net of parallel distributed system for veriﬁcation of accuracy of temporal logic formulae

Стр. 31 ... Ольховская Е. В.

Оцiнка швидкостi збiжностi iтерацiйного методу розв’язування комбiнаторних оптимiзацiйних задач iгрового типу

Стр. 43 ... Омельчук Л. Л.

Системи специфiкацiй об’єктно-орiєнтованих програм над номiнативними даними

Стр. 50 ... Павлов Е. А.

Свертка симметричных пространств

Стр. 56 ... Щербина О. А.

Метаэвристические алгоритмы для задач комбинаторной оптимизации

Стр. 73 ... Шабадиков К. Х., Юлдашев Т. К.

Обратная задача для гиперболического интегро- дифференциального уравнения Фредгольма

Стр. 82 ... Донской Д. В.

Математическая модель оптимальной дозагрузки рекреационного предприятия

Стр. 93 ... Переварюха А. Ю.

Разработка вычислительных моделей воспроизводства рыб для сценарного исследования