Наукова електронна бібліотека
періодичних видань НАН України

Про локальну коректність формальних визначень

Репозиторій DSpace/Manakin

Про локальну коректність формальних визначень

Провотар, О.І.
Інші назви: About the local correctness of formal definition
Тема: Теоретичні та методологічні основи програмування
УДК: 510.6, 681.3
URI: http://dspace.nbuv.gov.ua/handle/123456789/1512
Посилання: Про локальну коректність формальних визначень / О.І. Провотар // Проблеми програмування. — 2006. — N 2-3. — С. 13-16. — Бібліогр.: 6 назв. — укр.
Дата: 2006
Переглядів: 955
Завантажень: 688
Про локальну коректність формальних визначень

Анотація:

 
Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують- ся питання коректності таких доведень і наслідки в теорії обчислень.
 
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.
 

Показати повний запис статті

Файли у цій статті

Icon
Name: 01-Provotar.pdf
Розмір: 129.8Кб
Формат: PDF
Перегляд/Відкрити

Ця стаття з'являється у наступних колекціях

Пошук


Розширений пошук

Перегляд

Мій обліковий запис