Про локальну коректність формальних визначень
| dc.contributor.author | Провотар, О.І. | |
| dc.date.accessioned | 2008-08-21T15:27:04Z | |
| dc.date.available | 2008-08-21T15:27:04Z | |
| dc.date.issued | 2006 | |
| 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.identifier.citation | Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 510.6, 681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/1512 | |
| dc.language.iso | uk | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | 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 |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 01-Provotar.pdf
- Розмір:
- 129.85 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.81 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: