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