Разработка метода бинарной декомпозиции функциональных предикатов; Известия Томского политехнического университета [Известия ТПУ]; Т. 320, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 320, № 5 : Управление, вычислительная техника и информатика.— 2012.— [С. 5-11] |
|---|---|
| Hlavní autor: | |
| Shrnutí: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |
| Jazyk: | ruština |
| Vydáno: |
2012
|
| Edice: | Управление, вычислительная техника и информатика |
| Témata: | |
| On-line přístup: | http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf |
| Médium: | MixedMaterials Elektronický zdroj Kapitola |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220530 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 220530 | ||
| 005 | 20231031195425.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\240655 | ||
| 035 | |a RU\TPU\book\238775 | ||
| 090 | |a 220530 | ||
| 100 | |a 20120827d2012 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Разработка метода бинарной декомпозиции функциональных предикатов |b Электронный ресурс |f М. Н. Рудометкина | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (101 Кб) | ||
| 225 | 1 | |a Управление, вычислительная техника и информатика | |
| 230 | |a Электронные текстовые данные (1 файл : 101 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 11 (4 назв.)] | ||
| 330 | |a Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\239280 |x 1684-8519 |t Т. 320, № 5 : Управление, вычислительная техника и информатика |v [С. 5-11] |d 2012 |p 153 с. | |
| 610 | 1 | |a бинарная декомпозиция | |
| 610 | 1 | |a предикаты | |
| 610 | 1 | |a функциональные предикаты | |
| 610 | 1 | |a декартова декомпозиция | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Рудометкина |b М. Н. | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211230 |g PSBO | |
| 856 | 4 | |u http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf | |
| 942 | |c CF | ||