Про локальну коректність формальних визначень
Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують- ся питання коректності таких доведень і наслідки в теорії обчислень. The diagonal procedure of Kantor is analyzed. The examples of proofs of theorems which use this procedure are r...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1512 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1512 |
|---|---|
| record_format |
dspace |
| spelling |
Провотар, О.І. 2008-08-21T15:27:04Z 2008-08-21T15:27:04Z 2006 Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1512 510.6, 681.3 Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують- ся питання коректності таких доведень і наслідки в теорії обчислень. 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. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Про локальну коректність формальних визначень About the local correctness of formal definition Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Про локальну коректність формальних визначень |
| spellingShingle |
Про локальну коректність формальних визначень Провотар, О.І. Теоретичні та методологічні основи програмування |
| title_short |
Про локальну коректність формальних визначень |
| title_full |
Про локальну коректність формальних визначень |
| title_fullStr |
Про локальну коректність формальних визначень |
| title_full_unstemmed |
Про локальну коректність формальних визначень |
| title_sort |
про локальну коректність формальних визначень |
| author |
Провотар, О.І. |
| author_facet |
Провотар, О.І. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2006 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
About the local correctness of formal definition |
| description |
Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують-
ся питання коректності таких доведень і наслідки в теорії обчислень.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1512 |
| citation_txt |
Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр. |
| work_keys_str_mv |
AT provotaroí prolokalʹnukorektnístʹformalʹnihviznačenʹ AT provotaroí aboutthelocalcorrectnessofformaldefinition |
| first_indexed |
2025-12-07T21:03:13Z |
| last_indexed |
2025-12-07T21:03:13Z |
| _version_ |
1850884901736284160 |