Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/14608Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.author | Мощенский, Д. А. | - |
| dc.contributor.author | Мощенский, Д. В. | - |
| dc.date.accessioned | 2012-08-30T08:08:42Z | - |
| dc.date.available | 2012-08-30T08:08:42Z | - |
| dc.date.issued | 2007-09 | - |
| dc.identifier.citation | Вестник Белорусского государственного университета. Сер. 1, Физика. Математика. Информатика. – 2007. - № 3. - С.118-120 | ru |
| dc.identifier.issn | 0321-0367 | - |
| dc.identifier.uri | http://elib.bsu.by/handle/123456789/14608 | - |
| dc.description.abstract | Two new problems are defined: a problem of complete satisfiability and a problem of recognition satisfiability. Lower and upper bound of its time complexities arc proven. Определяются проблемы полной выполнимости и распознавание выполнимости, устанавливается связь между ними и проблемой выполнимости. Доказываются нижние и верхние оценки временной сложности их вычислений. | ru |
| dc.language.iso | ru | ru |
| dc.publisher | БГУ | ru |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.subject | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика | ru |
| dc.title | О двух проблемах, основанных на проблеме выполнимости | ru |
| dc.type | article | ru |
| Располагается в коллекциях: | 2007, №3 (сентябрь) Статьи факультета прикладной математики и информатики | |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 118-120.pdf | 360,17 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.