Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Про локальну коректність формальних визначень
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Провотар, О.І. | |
| dc.date.accessioned | 2008-08-21T15:27:04Z | |
| dc.date.available | 2008-08-21T15:27:04Z | |
| dc.date.issued | 2006 | |
| dc.identifier.citation | Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/1512 | |
| dc.description.abstract | Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують- ся питання коректності таких доведень і наслідки в теорії обчислень. | en_US |
| dc.description.abstract | The diagonal procedure of Kantor is analyzed. The examples of proofs of theorems which use this procedure are resulted. Questions of a correctness of such proofs and consequences in the theory of calculations are investigated. | en_US |
| dc.language.iso | uk | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.subject | Теоретичні та методологічні основи програмування | en_US |
| dc.title | Про локальну коректність формальних визначень | en_US |
| dc.title.alternative | About the local correctness of formal definition | en_US |
| dc.type | Article | en_US |
| dc.status | published earlier | en_US |
| dc.identifier.udc | 510.6, 681.3 |
Файли у цій статті
Ця стаття з'являється у наступних колекціях
-
Проблеми програмування, 2006, № 2-3 [97]
Матеріали п'ятої міжнародної науково-практичної конференції з програмування УкрПРОГ'2006, 23-25 травня 2006 р., Україна, Київ